Lösung von Aufg. 12.6

Aufgabe 12.6

Beweisen Sie den Stufenwinkelsatz.

Vor: a//b
Beh: $\alpha$ $\cong$$\beta$

Annahme: $\alpha$ ist nicht kongruent zu $\beta$

1) Es existiert genau eine Gerade h für die gilt:___________________________WInkelkonstruktionsaxiom
$\alpha 1$ $\cong$$\beta$
2) h//b________________________Umkehrung des Stufenwinkelsatzes und 1)
3) Die Gerade b hat zwei Parallelen a und h______________________ Vor. und 2) Widerspruch zum EPA
4) a=h___________________________3)
5) Annahme ist zu verwerfen
6) Behauptung stimmt --Engel82 17:57, 19. Jan. 2011 (UTC)

Musst du für diesen Beweis nicht erstmal die Umkehrung des Stufenwinkelsatz beweisen...das haben wir ja noch nicht gemacht?!

Andere Möglichkeit, könnte das gehen?

Vor.: aIIb

Beh.: IαI = IβI

1) aIIb_____________________________Vor.

2) IαI+IάI=180_______________________1), Supplementaxiom, Definition Nebenwinkel

3) IάI=Iβ’I___________________________Stufenwinkelsatz

4) IβI+Iβ’I=180_______________________1), Supplementaxiom, Definition Nebenwinkel

5) IαI+I β’I=180______________________2),3),4)

6) IαI=IβI___________________________5)

7) Behauptung stimmt

Du benutzt in deinem Beweis zum Stufenwinkelsatz ja bereits den Stufenwinkelsatz...
Ich würde das so machen:
Vor.: a||b und c schneidet a und b
Beh.: $|\alpha |$ = $|{\alpha }_1|$

1) $a\cap c=S$ und $c\cap b=B$	Vor.
2) $\overline{S{L}_b}$ Lot von S auf b	Definition Lot, 1)
3) $\mathrm{\exists }{L}_d$ $\in S{L}_b^{-}$ : $\overline{|S{L}_d|}$ = $\overline{|S{L}_d|}$	Axiom vom Lineal, 2)
4) $\mathrm{\exists }d$ : $d\Vert a$ und $L_d$ $\in d$ und $d\cap c=D$	Euklidisches Parallelenaxiom, 3)
5) $\overline{S{L}_d}$ Lot von S auf d	Definition Lot, 4)
6) $\mathrm{\angle }B{L}_{b}S$ $\cong$ $\mathrm{\angle }D{L}_{d}S$	2), 5)
7) $\mathrm{\angle }{L}_{b}SB$ $\cong$ $\mathrm{\angle }{L}_{d}SD$	Scheitelwinkelsatz, 1)
8) $\overline{B{L}_{b}S}$ $\cong$ $\overline{D{L}_{d}S}$	3),6),7), SWS-Axiom
9) $\mathrm{\angle }SB{L}_b$ $\cong$ $\mathrm{\angle }SD{L}_d$	8), Definition Dreieckskongruenz
10) $\mathrm{\angle }{\alpha }_2$ $\cong$ $\mathrm{\angle }{\alpha }_1$	9), Wechselwinkelsatz
11) $\mathrm{\angle }{\alpha }_1$ $\cong$ $\mathrm{\angle }\alpha$	9),10)

--Jbo-sax 20:22, 25. Jan. 2011 (UTC)