Lösung von Aufgabe 6.07 S SoSe 13

Aus Geometrie-Wiki

Aufgabe 6.07

Zeigen Sie, dass für drei paarweise verschiedene Punkte  A,B und  C gilt:
Wenn C∈ AB+ und |AB|<|AC| dann gilt Z⁡w(A,B,C)

Lösung User --Illu13 21:07, 6. Jun. 2013 (CEST)

z.z.: C∈ AB+∧|AB|<|AC|⇒Zw(A,B,C)

1.Voraussetzung: C∈ AB+

2.Voraussetzung: |AB|<|AC| (*)

Behauptung: Zw(A,B,C)

Beweis:

C∈ AB+ ⇒ Zw(A,B,C) ∨ Zw(A,C,B) [s. Def. Halbgerade]

nun z.z.: ¬Zw(A,C,B)

Annahme: Zw(A,C,B) ⇔ |AC|+|CB|=|AB|⇔|AC|+|BC|=|AB| (**) (s. Axiom II.2)

aus (*) und (**) folgt:

|AB|<|AC|⇔|AC|+|BC|<|AC|⇔|BC|<0⇒ 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 ...


zurück zu Serie 6 SoSe 2013