Lösung von Aufgabe 6.07 S SoSe 13: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Illu13 (Diskussion | Beiträge) |
||
| Zeile 8: | Zeile 8: | ||
Wenn <math> C \in \ AB^{+} </math> und <math>\left| AB \right| < \left| AC \right| </math> dann gilt <math>\operatorname Zw (A, B, C) </math> <br /><br /> | Wenn <math> C \in \ AB^{+} </math> und <math>\left| AB \right| < \left| AC \right| </math> dann gilt <math>\operatorname Zw (A, B, C) </math> <br /><br /> | ||
==Lösung User ...== | ==Lösung User --[[Benutzer:Illu13|Illu13]] 21:07, 6. Jun. 2013 (CEST)== | ||
<u>z.z.</u>: <math>C\in \ AB^{+} \wedge \left| AB \right| < \left| AC \right| \Rightarrow Zw(A,B,C)</math> | |||
1.Voraussetzung: <math>C\in \ AB^{+}</math> | |||
2.Voraussetzung: <math>\left| AB \right| < \left| AC \right|</math> (*) | |||
Behauptung: Zw(A,B,C) | |||
<u>Beweis:</u> | |||
<math>C\in \ AB^{+}</math> <math>\Rightarrow</math> Zw(A,B,C) <math> \vee</math> Zw(A,C,B) [s. Def. Halbgerade] | |||
nun z.z.: <math>\neg Zw(A,C,B)</math> | |||
Annahme: Zw(A,C,B) <math>\Leftrightarrow</math> <math>\left| AC \right| + \left| CB \right| = \left| AB \right| \Leftrightarrow \left| AC \right| + \left| BC \right| = \left| AB \right|</math> (**) (s. Axiom II.2) | |||
aus (*) und (**) folgt: | |||
<math>\left| AB \right| < \left| AC \right| \Leftrightarrow \left| AC \right| + \left| BC \right| <\left| AC \right| \Leftrightarrow \left| BC \right| < 0 \Rightarrow</math> Widerspruch zu Axiom II.1 (Der Abstand zwei beliebiger Punkte ist nie negativ.) | |||
Daher gilt: Zw(A,B,C) q.e.d. | |||
--[[Benutzer:Illu13|Illu13]] 21:07, 6. Jun. 2013 (CEST) | |||
==Lösung User ...== | ==Lösung User ...== | ||
Aktuelle Version vom 6. Juni 2013, 19:07 Uhr
Aufgabe 6.07Zeigen Sie, dass für drei paarweise verschiedene Punkte und gilt: Lösung User --Illu13 21:07, 6. Jun. 2013 (CEST)z.z.: 1.Voraussetzung: 2.Voraussetzung: (*) Behauptung: Zw(A,B,C) Beweis: Zw(A,B,C) Zw(A,C,B) [s. Def. Halbgerade] nun z.z.: Annahme: Zw(A,C,B) (**) (s. Axiom II.2) aus (*) und (**) folgt: Widerspruch zu Axiom II.1 (Der Abstand zwei beliebiger Punkte ist nie negativ.) Daher gilt: Zw(A,B,C) q.e.d. --Illu13 21:07, 6. Jun. 2013 (CEST) Lösung User ...Lösung User ...
|
