Lösung von Aufg. 6: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
Zeile 1: | Zeile 1: | ||
Es seien ''A'', ''B'' und ''C'' drei paarweise verschiedene Punkte. Beweisen Sie: <br /><br /> | Es seien ''A'', ''B'' und ''C'' drei paarweise verschiedene Punkte. Beweisen Sie: <br /><br /> | ||
− | <math>\ Zw(A,B,C)\Rightarrow \neg Zw(B,A,C)</math> <br\> | + | <math>\ Zw(A,B,C)\Rightarrow \neg Zw(B,A,C)</math> <br\><br /> |
+ | ==Lösung--[[Benutzer:Schnirch|Schnirch]] 12:33, 22. Dez. 2010 (UTC)== | ||
+ | Vor.: <math>\ Zw(A,B,C)</math><br /> | ||
+ | Beh.: <math>\ \neg Zw(B,A,C)</math><br /> | ||
+ | Annahme: <math>\ Zw(B,A,C)</math><br /><br /> | ||
+ | |||
+ | {| class="wikitable " | ||
+ | |+ Beweis | ||
+ | ! Nr. | ||
+ | ! Beweisschritt | ||
+ | ! Begründung | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(I) | ||
+ | | <math>\vert AB \vert + \vert BC \vert = \vert AC \vert</math> | ||
+ | | Vor., Def. Zw. | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(II) | ||
+ | | <math>\vert BA \vert + \vert AC \vert = \vert BC \vert</math> | ||
+ | | Annahme, Def. Zw. | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(III) | ||
+ | | <math>\vert BA \vert + \vert AB \vert + \vert BC \vert = \vert BC \vert</math> | ||
+ | | I, II, Rechnen in <math> \mathbb{R} </math> | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(IV) | ||
+ | | <math>\vert BA \vert + \vert AB \vert = 0 </math> | ||
+ | | (III), Rechnen in <math> \mathbb{R} </math> | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(V) | ||
+ | | <math>\vert BA \vert + \vert BA \vert = 0 </math> | ||
+ | | (IV), Axiom II/2 | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(VI) | ||
+ | | <math>\ 2\vert BA \vert = 0 </math> | ||
+ | | (V), Rechnen in <math> \mathbb{R} </math> | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(VI) | ||
+ | | <math>\vert BA \vert = 0 </math> | ||
+ | | (VI), Rechnen in <math> \mathbb{R} </math> | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(VII) | ||
+ | | <math>\ B \equiv A </math> | ||
+ | | (VI), Axiom II/1 | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(VIII) | ||
+ | | Widerspruch zur Voraussetzung | ||
+ | | (VII), Vor. | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(VIX) | ||
+ | | Annahme ist zu verwerfen, Behauptung stimmt! | ||
+ | | (VIII) | ||
+ | |- | ||
+ | |} | ||
[[Category:Einführung_Geometrie]] | [[Category:Einführung_Geometrie]] |
Version vom 22. Dezember 2010, 14:33 Uhr
Es seien A, B und C drei paarweise verschiedene Punkte. Beweisen Sie:
Lösung--Schnirch 12:33, 22. Dez. 2010 (UTC)
Vor.:
Beh.:
Annahme:
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | Vor., Def. Zw. | |
(II) | Annahme, Def. Zw. | |
(III) | I, II, Rechnen in | |
(IV) | (III), Rechnen in | |
(V) | (IV), Axiom II/2 | |
(VI) | (V), Rechnen in | |
(VI) | (VI), Rechnen in | |
(VII) | (VI), Axiom II/1 | |
(VIII) | Widerspruch zur Voraussetzung | (VII), Vor. |
(VIX) | Annahme ist zu verwerfen, Behauptung stimmt! | (VIII) |