Lösung von Aufgabe 10.5

Aus Geometrie-Wiki

Satz VI.1/2: Es sei SW+ eine Winkelhalbierende des Winkels ASB.
Dann gilt: |ASW|=|WSB|=1/2|ASB|

Beweis Versuch 1:

VSS: SW+ eine Winkelhalbierende des Winkels ASB
Beh: |ASW|=|WSB|=1/2|ASB|

Beweis
Nr. Beweisschritt Begründung
(I) SW+ eine Winkelhalbierende von ASB (VSS)
(II) |ASW|+|WSB|=|ASB| Winkeladditionsaxiom, W liegt im Innern von \angle ASB
(III) |ASW|=|WSB| (I), Def. Winkelhalbierende
(IV) |ASW|+|ASW|=|ASB| (II), (III), (rechnen mit reellen Zahlen)
(V) 2|ASW|=|ASB| --> |ASW|=1/2|ASB| (IV), (rechnen mit reellen Zahlen)
(VI) |ASW|=|WSB|=1/2|ASB| (III), (V)

qed --Löwenzahn 17:51, 1. Jul. 2010 (UTC)