Lösung von Aufgabe 6.9

Vorlage

Satz:

Von drei paarweise verschiedenen Punkten $A,B$ und $C$ ein und derselben Geraden $g$ liegt genau einer zwischen den beiden anderen.

Beweisen Sie diesen Satz.
Satz in wenn-dann:

Wenn drei Punkte $A,B$ und $C$ ..., dann ... .

Beweis

Es seien also $A,B$ und $C$ drei Punkte.
Voraussetzungen:

...

Behauptung

$\mathrm{zw}\{A,B,C\}$ oder $\mathrm{zw}\{,,\}$ oder $\mathrm{zw}\{,,\}$

Beweis

Nr.	Beweisschritt	Begründung
(I)	$\mathrm{koll}\{A,B,C\}$	Voraussetzung
(II)	Element	Element
(III)	Element	Element
(IV)	Element	Element
(V)	Element	Element

Versuch I

Satz:

Von drei paarweise verschiedenen Punkten $A,B$ und $C$ ein und derselben Geraden $g$ liegt genau einer zwischen den beiden anderen.

Beweisen Sie diesen Satz.
Satz in wenn-dann:

Wenn drei Punkte $A,B$ und $C$ kollinear sind, dann liegt genau einer zwischen den beiden anderen Punkten (und umgekehrt???) .

Beweis

Es seien also $A,B$ und $C$ drei Punkte.
Voraussetzungen: koll($A,B$ und $C$)

Behauptung

$\mathrm{zw}\{A,B,C\}$ oder $\mathrm{zw}\{A,C,B\}$ oder $\mathrm{zw}\{B,A,C\}$

Beweis

Nr.	Beweisschritt	Begründung
(I)	$\mathrm{koll}\{A,B,C\}$	Voraussetzung
(II)	Für drei beliebige Punkte $A,B$ und $C$ gilt: $\left|AB\right|+\left|BC\right|\ge \left|AC\right|.$	Axiom II/3: (Dreiecksungleichung)
(III)	$\left|AB\right|+\left|BC\right|=\left|AC\right|$ $\left|AC\right|+\left|CB\right|=\left|AB\right|$ $\left|BA\right|+\left|AC\right|=\left|BC\right|$	Axiom II/3.1 Axiom II/3.2 Axiom II/3.3
(IV)
(V)

...und jetzt? --Heinzvaneugen

Ich glaube, es ist noch zu zeigen, dass genau einer zwischen den beiden anderen liegt. Habe deinen Beweis ab Schritt IV weitergeführt:

Beweis

Nr.	Beweisschritt	Begründung
(IV)	$\mathrm{zw}\{A,B,C\}$ oder $\mathrm{zw}\{A,C,B\}$ oder $\mathrm{zw}\{B,A,C\}$	Def (Zwischenrelation)
(V)	zu zeigen: es liegt genau einer zwischen den beiden anderen Annahme: es gilt $\mathrm{zw}\{A,B,C\}$ und $\mathrm{zw}\{A,C,B\}$
(VI)	$\left|AB\right|+\left|BC\right|=\left|AC\right|$ $\left|AC\right|+\left|CB\right|=\left|AB\right|$	(Axiom II/3)
(VII)	$\left|AB\right|+\left|BC\right|=\left|AC\right|$ $\left|AB\right|-\left|CB\right|=\left|AC\right|$	rechnen mit reellen Zahlen, (Axiom II/2)
(VIII)	$\left|AB\right|+\left|BC\right|=\left|AB\right|-\left|BC\right|$	(VII gleichgesetzt), rechnen mit reellen Zahlen
(IX)	$\left|AB\right|+2\left|BC\right|=\left|AB\right|$	(VIII), + $\left|BC\right|$
(X)	$2\left|BC\right|=0$	(IX), - $\left|AB\right|$
(XI)	Widerspruch, da das zweifache eines Abstands nicht null ergeben kann. --> Annahme zu verwerfen, Behauptung wahr.

--Löwenzahn 17:58, 4. Jun. 2010 (UTC)