Wegen des Kreises ist CEB gleichschenklig mit beiden
Basiswinkeln der Größe γ.
Das Dreieck EDB ist rechtwinklig mit rechtem Winkel bei E
(Tangente ! ) . Also ist im Dreieck EAD der Innenwinkel bei E
gleich 180° - 90° - γ = 90° - γ
Der Innenwinkel bei A ist gleich α im Dreieck ABC und das ist
90° - γ, da das Dreieck rechtwinklig ist.
Also sind im Dreieck EAD die Innenwinkel bei E und A gleich groß,
und deshalb ist es gleichschenklig, also |ED| = |DA|. q.e.d.