Lösung von Aufg. 7.9: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
 
Zeile 1: Zeile 1:
 +
== Lösung --[[Benutzer:Schnirch|Schnirch]] 14:05, 9. Dez. 2010 (UTC) ==
 +
<u>'''Satz in ''wenn-dann'':'''</u><br />
 +
::Wenn drei paarweise verschiedene Punkte <math>\ A, B</math> und <math>\ C</math> kollinear sind, dann liegt genau einer zwischen den beiden anderen Punkten.
 +
 +
<u>'''Beweis'''</u><br />
 +
 +
Es seien also <math>\ A, B</math> und <math>\ C</math> drei Punkte.<br />
 +
<u>'''Voraussetzungen:'''</u>
 +
koll(<math>\ A, B</math> und <math>\ C</math>)
 +
 +
 +
<u>'''Behauptung'''</u><br />
 +
::es gilt genau eine der drei möglichen Zwischenrelationen: <math>\operatorname{zw}\left \{A, B, C \right \}</math> oder <math>\operatorname{zw}\left \{A, C, B  \right \}</math> oder <math>\operatorname{zw}\left \{B, A, C \right \}</math>
 +
 +
{| class="wikitable "
 +
|+ Beweis
 +
! Nr.
 +
! Beweisschritt
 +
! Begründung
 +
|-
 +
! style="background: #FFDDDD;"|(I)
 +
| <math>\operatorname{koll} \left \{ A, B, C \right \}</math>
 +
| Voraussetzung
 +
|-
 +
! style="background: #FFDDDD;"|(II)
 +
| es gilt eine der drei Gleichungen:
 +
<br /><math>\left| AB \right| + \left| BC \right| = \left| AC \right| </math>
 +
<br /><math>\left| AC \right| + \left| CB \right| = \left| AB \right| </math>
 +
<br /><math>\left| BA \right| + \left| AC \right| = \left| BC \right| </math>
 +
| (I), Axiom II/3
 +
|-
 +
! style="background: #FFDDDD;"|(III)
 +
| <math>\operatorname{zw}\left \{A, B, C \right \}</math> oder <math>\operatorname{zw}\left \{A, C, B  \right \}</math> oder <math>\operatorname{zw}\left \{B, A, C \right \}</math>
 +
| (II), Def (Zwischenrelation)
 +
|-
 +
! style="background: #FFDDDD;"|(IV)
 +
| zu zeigen: es liegt genau einer zwischen den beiden anderen
 +
<br /> Annahme: es gilt o.B.d.A. <math>\operatorname{zw}\left \{A, B, C \right \}</math> und <math>\operatorname{zw}\left \{A, C, B  \right \}</math>
 +
|-
 +
! style="background: #FFDDDD;"|(V)
 +
| <math>\left| AB \right| + \left| BC \right| = \left| AC \right| </math>
 +
<br /><math>\left| AC \right| + \left| CB \right| = \left| AB \right| </math>
 +
| (IV), (Axiom II/3)
 +
|-
 +
! style="background: #FFDDDD;"|(VI)
 +
| <math>\left| AB \right| + \left| BC \right| = \left| AC \right| </math>
 +
<br /><math>\left| AB \right| - \left| CB \right| = \left| AC \right| </math>
 +
| rechnen mit reellen Zahlen, (Axiom II/2)
 +
|-
 +
! style="background: #FFDDDD;"|(VII)
 +
| <math>\left| AB \right| + \left| BC \right| = \left| AB \right|- \left| BC \right| </math>
 +
| (VI gleichgesetzt), rechnen mit reellen Zahlen
 +
|-
 +
! style="background: #FFDDDD;"|(VIII)
 +
| <math>\left| AB \right| + 2 \left| BC \right| = \left| AB \right| </math>
 +
| (VII), + <math>\left| BC \right|</math>
 +
|-
 +
! style="background: #FFDDDD;"|(IX)
 +
| <math>\ 2 \left| BC \right| = 0 </math>
 +
| (VIII), - <math>\left| AB \right|</math>
 +
|-
 +
! style="background: #FFDDDD;"|(X)
 +
| Widerspruch, da die beiden Punkte B und C identisch sein müssten, nach Voraussetzung aber drei verschiedene Punkte A, B und C gegeben sind.
 +
<br />--> Annahme zu verwerfen, Behauptung stimmt.
 +
|
 +
|}
 +
 +
==vorangegangene Diskussion bzw. Lösungsvorschläge==
 
<u>'''Satz:'''</u>
 
<u>'''Satz:'''</u>
 
::Von drei paarweise verschiedenen Punkten <math>\ A, B</math> und <math>\ C</math> ein und derselben Geraden <math>\ g</math> liegt genau einer zwischen den beiden anderen.
 
::Von drei paarweise verschiedenen Punkten <math>\ A, B</math> und <math>\ C</math> ein und derselben Geraden <math>\ g</math> liegt genau einer zwischen den beiden anderen.

Aktuelle Version vom 9. Dezember 2010, 15:05 Uhr

Lösung --Schnirch 14:05, 9. Dez. 2010 (UTC)

Satz in wenn-dann:

Wenn drei paarweise verschiedene Punkte \ A, B und \ C kollinear sind, dann liegt genau einer zwischen den beiden anderen Punkten.

Beweis

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


Behauptung

es gilt genau eine der drei möglichen Zwischenrelationen: \operatorname{zw}\left \{A, B, C \right \} oder \operatorname{zw}\left \{A, C, B  \right \} oder \operatorname{zw}\left \{B, A, C \right \}
Beweis
Nr. Beweisschritt Begründung
(I) \operatorname{koll} \left \{ A, B, C \right \} Voraussetzung
(II) es gilt eine der drei Gleichungen:


\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|

(I), Axiom II/3
(III) \operatorname{zw}\left \{A, B, C \right \} oder \operatorname{zw}\left \{A, C, B  \right \} oder \operatorname{zw}\left \{B, A, C \right \} (II), Def (Zwischenrelation)
(IV) zu zeigen: es liegt genau einer zwischen den beiden anderen


Annahme: es gilt o.B.d.A. \operatorname{zw}\left \{A, B, C \right \} und \operatorname{zw}\left \{A, C, B  \right \}

(V) \left| AB \right| + \left| BC \right| = \left| AC \right|


\left| AC \right| + \left| CB \right| = \left| AB \right|

(IV), (Axiom II/3)
(VI) \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)
(VII) \left| AB \right| + \left| BC \right| = \left| AB \right|- \left| BC \right| (VI gleichgesetzt), rechnen mit reellen Zahlen
(VIII) \left| AB \right| + 2 \left| BC \right| = \left| AB \right| (VII), + \left| BC \right|
(IX) \ 2 \left| BC \right| = 0 (VIII), - \left| AB \right|
(X) Widerspruch, da die beiden Punkte B und C identisch sein müssten, nach Voraussetzung aber drei verschiedene Punkte A, B und C gegeben sind.


--> Annahme zu verwerfen, Behauptung stimmt.

vorangegangene Diskussion bzw. Lösungsvorschläge

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.

Vor: A ungleich B ungleich C ungleich A, koll(A,B,C)
Behauptung: Zw(A,B,C) oder Zw(A,C,B) oder Zw (B,A,C)

Annahme: o.B.d.A Zw(A,B,C) und Zw(A,C,B)

1) /AB/+/BC/=/AC/ und /AC/+/CB/=/AB/___________________laut Annahme und Axiom A/3
2) /AB/+/BC/+/CB/=/AB/_____________________________Rechnen in R und 1)
3) /AB/+/BC/+/BC/=/AB/____________________________Axiom A/2 und 2)
4) 2/BC/ =O_________________________________Rechnen in R und 3)
5) B=C___________________________________4)
6) Widerspruch zur Vor.
7) Annahme ist zu verwerfen
8) Behauptung stimmt--Engel82 00:03, 25. Nov. 2010 (UTC)