Höhensatz des Euklid

Hier werde ich zuerst den Höhensatz herleiten. Dieser gilt (in dieser Form) für ein rechtwinkliges Dreieck ABC mit γ = 90°:

Den Ansatz erhält man, wenn man das Dreieck durch die Höhe h_c zerteilt und die entstehenden kleinen Dreiecke ADC und BCD in eine Strahlensatzfigur legt:

Aus dem 2. Strahlensatz folgt:

Umgeformt ergibt dies den Höhensatz des Euklid:

Weiter: Kathetensatz des Euklid