Lösung von Aufgabe 4

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche

Satz I: Je drei nicht kollineare Punkte sind paarweise verschieden.

  1. Wir formulieren Satz I neu und beginnen mit „Es seien A, B und C drei Punkte.“ Ergänzen Sie: „Wenn A,B und C … , dann … .“
  2. Beweisen Sie Satz I indirekt.
  3. Bilden Sie die Kontraposition von Satz I.
  4. Beweisen Sie auch die Kontraposition von Satz I.
  5. Formulieren Sie die Umkehrung von Satz I.
  6. Gilt auch die Umkehrung von Satz I?

Inhaltsverzeichnis

Lösung:

Teilaufgabe 1

Es seien \ A, \ B und \ C drei Punkte.

Wenn \ A,\ B und \ C kollinear sind , dann sind je zwei der Punkte \ A,\ B und \ C nicht identisch.
Andere Formulierung: \operatorname{nKoll} \left( A, B, C \right) \Rightarrow A \not\equiv B \not\equiv C \not\equiv A

Teilaufgabe 2: Indirekter Beweis der Implikation

Beweisprinzip

Wir nehmen an, dass bei wahrer Voraussetzung die Behauptung nicht gilt. Anders ausgedrückt: Wir negieren die Behauptung, bleiben aber dabei, dass die Voraussetzung wahr ist.

Bemerkung nebenbei: Es wäre sinnvoll, wenn sowas in Ihrem Glossar stehen würde. Dann bräuchte man jeweils nur einen Link zu setzen.

Voraussetzungen

allgemeine Voraussetzung

\ A, \ B, \ C sind drei Punkte

Bemerkung: Diese Voraussetzung möge ab sofort allem, was wir hier formulieren vorangestellt sein. Um uns auf das Wesentliche konzentrieren zu können, werden wir diese Voraussetzung nicht mehr explizit erwähnen.

spezielle Voraussetzung

Die drei Punkte \ A, \ B, \ C sind nicht kollinear.

Andere Formulierungen:

  1. Es gibt keine Gerade, die alle drei Punkte \ A, \ B, \ C enthält. (Übersetzung: nicht kollinear)
  2. \operatorname{nKoll} \left( A, B, C \right)
  3. \neg \operatorname{Koll} \left( A, B, C \right)
  4.  \neg \exists g \in \mathcal{G} : A, B, C \in g ( \mathcal{G} sei die Menge aller Geraden unserer Theorie)
  5. \forall g \in \mathcal{G} : A,B, C \not\in g

Behauptung

Je zwei der drei Punkte \ A, B, C sind nicht identisch.

Andere Formulierungen:

  1. \ A \not\equiv  B \not\equiv  C \not\equiv  A (Überlegen Sie, warum einer der drei Punkte hier zweimal genannt werden muss.)
  2. \forall X, Y \in \mathcal{M} : X \not\equiv Y (\mathcal{M} sei die Menge der Punkte \ A, B, C)
  3. \neg \exist X, Y \in \mathcal{M} : X \equiv Y

Negation der Behauptung

Zwei der Punkte \ A, B, C sind identisch.

Andere Formulierungen:

  1. \ A \equiv B \or B \equiv C \or C \equiv A (Überlegen Sie, warum hier \ A \equiv B \equiv C enthalten ist.
  2. \neg \forall X, Y \in \mathcal{M} : X \not\equiv Y
  3.  \exist X, Y \in \mathcal{M} : X \equiv Y

(3) noch mal in Worten:
Es gibt zwei Punkte aus der Menge der Punkte \ A, B, C, die identisch sind.

Annahme für den indirekten Beweis

Es gibt zwei Punkte aus der Menge der Punkte \ A, B, C, die identisch sind.

O.B.d.A. seien dieses die beiden Punkte \ A und \ B.

also Annahme:
\ A \equiv B

Beweis

Fall 1

(*)\ B \not\equiv C

Nr. Beweisschritt Begründung
(i)
\ A \equiv B
Annahme
(ii) \exist g \in \mathcal{G}: B, C \in g Axiom I.1 und (*)
(iii) \ A \in g (i) und (ii)
(iv) \operatorname{Koll} \left( A, B, C \right) (ii) und (iii)

Fall 2

(**)\ B \equiv C, also Fehler beim Parsen(Lexikalischer Fehler): \ A \equiv B \equiv C \


Nr. Beweisschritt Begründung
(o) \exist P : P \not\equiv A Axiom I.3
(i)
\ A \equiv B \equiv C
Annahme (**)
(ii) \exist g \in \mathcal{G}: A, P \in g Axiom I.1 und (i)
(iii) \ B, C \in g (i) und (ii)
(iv) \operatorname{Koll} \left( A, B, C \right) (ii) und (iii)

(iv) ist ein Widerspruch zur Voraussetzung \operatorname{nKoll} \left( A,B, C \right)

Die Annahme ist deshalb zu verwerfen.

vorangegangene Diskussionen bzw. Lösungsvorschläge

1. Es seien A, B und C drei Punkte. Wenn A,B und C nicht kollinear sind , dann sind sie paarweise verschieden.
2. Voraussetzung: Es seien A, B und C drei Punkte mit nkoll(A, B, C).
Annahme: A identisch B o.B.d.A.

Schritt Begründung
1) Durch die Punkte B und C geht genau eine Gerade g.
2) A identisch B => A Element g
3) A Element g => koll(A, B,C)
4) Widerspruch zur Voraussetzung
1) Axiom I/1
2) Identität
3) Definition: (kollinear)

3. Sind drei Punkte nicht paarweise verschieden, so sind sie kollinear.
5. Sind drei Punkte paarweise verschieden, so sind sie nicht kollinear.
6. Nein.


4. Voraussetzung: A, B und C sind nicht paarweise verschieden.
Annahme: nkoll (A, B, C)
I. durch die Punkte A und C geht genau eine Gerade g. ->Axiom I/1
II. B ist kein Element von g -> Annahme
III. B nicht identisch A und B nicht identisch C -> I. und II.
IV. Widerspruch zur Voraussetzung