Lösung von Aufg. 11.3 (WS 11/12): Unterschied zwischen den Versionen

Version vom 3. Januar 2012, 12:05 Uhr

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)

@@ Zeile 1: / Zeile 1: @@
 Beweisen Sie: Zu jedem Winkel gibt es genau eine Winkelhalbierende.
+Vorr.: <math>\angle ABC</math> ; Betrachte nur eine Ebene<br />
+Beh.: <math>\exists ! \ SW^{+} \wedge |\angle ASW| = |\angle BSW|</math><br />
+Beweis:
+{| class="wikitable sortable"
+!Schritt!!Begründung
+|-
+| (1)<math>\exists x: x=|\angle ASB|</math> || Winkelmaßaxiom
+|-
+| (2)<math>\exists y: y=\frac{1} {2} x</math> || Rechnen in R, (1)
+|-
+| (3)<math>\exists \angle ASW: |\angle ASW|=y</math> || Winkelkonstruktionaxiom, (2)
+|-
+| (4)<math>\exists! \ SW^{+}</math>  || Winkelkonstruktionaxiom, (3) Existiert und ist eindeutig laut Axiom "genau ein Strahl"
+|-
+| (5) <math>|\angle ASW| = |\angle BSW|</math> || (2),(3), Winkeladditonsaxiom
+|}--[[Benutzer:RicRic|RicRic]] 12:05, 3. Jan. 2012 (CET)
 [[Kategorie:Einführung_Geometrie]]