12)

Beweisen Sie: Zu jedem Winkel gibt es genau eine Winkelhalbierende.

Vorr.: $\angle ABC$ ; Betrachte nur eine Ebene
Beh.: $\exists ! \ SW^{+} \wedge |\angle ASW| = |\angle BSW|$
Beweis:

Schritt	Begründung
(1)$\exists x: x=|\angle ASB|$	Winkelmaßaxiom
(2)$\exists y: y=\frac{1} {2} x$	Rechnen in R, (1)
(3)$\exists \angle ASW: |\angle ASW|=y$	Winkelkonstruktionaxiom, (2)
(4)$\exists! \ SW^{+}$	Winkelkonstruktionaxiom, (3) Existiert und ist eindeutig laut Axiom "genau ein Strahl"
(5) $|\angle ASW| = |\angle BSW|$	(2),(3), Winkeladditonsaxiom

--RicRic 12:05, 3. Jan. 2012 (CET)