wenn in einem Dreieck zwei Winkel gleich groß sind, dann sind die Gegenseiten gleich lang.
Das stimmt.
Sei ABC ein Dreieck in dem α und β die gleich großen Winkel sind (Standardbezeichnungen).
Sei A'B'C' ein weiteres Dreieck mit den Winkeln α' (bei A') und β' (bei B'). In diesem Dreieck sei α' = β' und α = α' und β = β'.
Außerdem sei |AC| = |A'C'|.
Laut Kongruenzsatz WSW sind die Dreiecke ABC und A'B'C' kongruent.
Es gibt zwei Möglichkeiten, die Ecken des Dreiecks ABC auf die Ecken des Dreiecks A'B'C' abzubilden.
- A → A', B → B', C → C'
- A → B', B → A', C → C'
Laut der ersten Möglichkeit ist
|AC| = |A'C'|
wegen WSW. Laut der zweiten Möglichkeit ist
|AC| = |B'C'|
wegen WSW. Also ist |A'C'| = |B'C'|. Wegen WSW ist dann auch
|AC| = |BC|.