Lösung von Aufgabe 6: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 16: Zeile 16:
 
<br />
 
<br />
 
zu 2.<br />
 
zu 2.<br />
Voraussetzung: Es seien <math>A</math>, <math>B</math>, <math>C</math> und <math>D</math> vier Punkte mit <math>\operatorname{nkomp}(A,B,C,D)</math>.
+
Voraussetzung: Es seien <math>A</math>, <math>B</math>, <math>C</math> und <math>D</math> vier Punkte mit <math>\operatorname{nkomp}(A,B,C,D)</math>.<br />
 
Annahme: <math>A \equiv B</math> <br />
 
Annahme: <math>A \equiv B</math> <br />
  
Zeile 25: Zeile 25:
 
| Schritt || Begründung
 
| Schritt || Begründung
 
|-  
 
|-  
| 1) <br /> 2) <br /> 3) <br /> 4)  ||1) <br /> 2) <br /> 3) <br /> 4)
+
| 1) <math>\operatorname{nkomp}(A,B,C,D)</math> <br />  
 +
2) <math>\operatorname{nkoll}(A,C,D)</math> <br />
 +
3) <math>A \equiv B</math> <br />  
 +
4) Es gibt genau eine Ebene <math>E</math>, die <math>A</math>, <math>C</math> und <math>D</math> enthält<br />
 +
5) <math>B \in E</math> <br />
 +
6) <math>A,B,C,D \in E</math><br />
 +
7) <math>\operatorname{komp}(A,B,C,D)</math> <br />
 +
8) (7) ist Widerspruch<br />
 +
9Annahme (3) ist falsch
 +
||1) Voraussetzung <br />  
 +
2) Voraussetzung <br />
 +
3) Annahme <br />  
 +
4) Axiom I/4<br />
 +
5) (3),(4) <br />
 +
6) (4),(5) <br />
 +
7) (6), Definition komplanar <br />
 +
8) zur Voraussetzung (1) <br />
 +
9) (8)
  
 
|}<br />
 
|}<br />

Version vom 21. Mai 2010, 13:07 Uhr

Satz II: Je vier nicht komplanare Punkte sind paarweise verschieden.

Formulieren Sie Teilaufgaben, die zu den Teilaufgaben a) bis f) von Aufgabe 4 analog sind und lösen Sie dann diese Teilaufgaben.

Lösung:

  1. Satz II mit "wenn, dann" formulieren
  2. Satz II indirekt beweisen
  3. Kontraposition zu Satz II formulieren
  4. Kontraposition zu Satz II beweisen
  5. Umkehrung von Satz II formulieren
  6. Gilt die Umkehrung von Satz II?


zu 1.
Es seien A, B, C und D vier Punkte. Wenn A, B, C und D nicht komplanar sind, dann sind sie paarweise verschieden.

zu 2.
Voraussetzung: Es seien A, B, C und D vier Punkte mit \operatorname{nkomp}(A,B,C,D).
Annahme: A \equiv B


Schritt Begründung
1) \operatorname{nkomp}(A,B,C,D)

2) \operatorname{nkoll}(A,C,D)
3) A \equiv B
4) Es gibt genau eine Ebene E, die A, C und D enthält
5) B \in E
6) A,B,C,D \in E
7) \operatorname{komp}(A,B,C,D)
8) (7) ist Widerspruch
9) Annahme (3) ist falsch

1) Voraussetzung

2) Voraussetzung
3) Annahme
4) Axiom I/4
5) (3),(4)
6) (4),(5)
7) (6), Definition komplanar
8) zur Voraussetzung (1)
9) (8)