Lösung von Aufgabe 13.1

Beweisen Sie den Satz: Wenn ein Innenwinkel eine Dreiecks größer ist als ein anderer Innenwinkel dieses Dreiecks ist, dann ist die Seite, die ihm gegenüber liegt, größer als die Seite, die dem kleineren Winkel gegenüber liegt.

Satz IX.3

Es sei $\overline{ABC}$ ein Dreieck mit den schulüblichen Bezeichnungen.
$\left| \alpha \right| > \left| \beta \right|\Rightarrow \left| a \right| >\left| b \right|$

Beweis von Satz IX.3

Fallunterscheidung:
Voraussetzung: $\ |\alpha| > |\beta|$
Annahme:$|a| \le \ |b|$
Aus "$\ \le$" lassen sich zwei Fälle ableiten:

1. ) $|a| = \ |b|$, dann gilt allerdings $\left| \alpha \right| = \left| \beta \right|$, da es sich um ein gleichschenkliges Dreieck handelt, bei dem bekanntlich die Basiswinkel kongruent sind --> Widerspruch zur VSS!
2. ) $|a| < \ |b|$, das ist allerdings der Fall, wenn $\ |\alpha| < |\beta|$ (zu beweisen, analog zu Satz IX.2)

Beweis (Fall 2):
Voraussetzung: $\ |\alpha| > |\beta|$
Annahme:$|a| < \ |b|$
Annahme:$|BC| < \ |AC|$

Nr.	Beweisschritt	Begründung
(I)	Am Scheitelpunkt $\ A$ wird der Winkel $\ \beta$ derart abgetragen, dass $\ AB^+$ den einen Strahl des Winkels darstellt und der andere Strahl $\ AD^+$ in der Halbebene $\ AB,C^+$ liegt	Winkelkonstruktionsaxiom
(II)	Der Strahl $\ AD^+$ schneidet die Seite $\ a$ in einem Punkt $\ C'$. $C' \in \ AD^+ \land C' \in \overline {BC}$	Axiom von Pasch (geht das? oder reicht der Verweis auf die "Geschichten aus dem Inneren")
(III)	Die Länge der Strecke $\ \overline {BC'}$ ist kleiner als die Länge der Strecke $\ \overline {BC}$	Es gilt $\operatorname{Zw} \left(A, C', C \right) \rightarrow |BC'| + |C'C| = |BC|$
(IV)	Die Winkel $\ \beta$ und $\ \beta'$ ($\ \angle BAD$) sind kongruent.	(I)
(V)	Die Seiten $\ \overline {BC'}$ und $\ \overline {AC'}$ sind kongruent.	Basiswinkelsatz, (IV)
(VI)	tbc
(VII)
(VIII)
(IX)
(X)