Ponieważ CD jest wysokością, trójkąt ADC jest prostokątny w D.
Odcinek BE jest środkową, więc E jest środkiem AC.
W trójkącie prostokątnym ADC środek przeciwprostokątnej AC jest równo odległy od A, C i D, zatem
.
Trójkąt ADE jest równoramienny, więc
. Oznaczmy tę miarę przez
. Wtedy
.
Ponieważ
, trójkąt DBE jest równoramienny. Kąt BDE jest dopełnieniem kąta ADE do
, więc kąty przy podstawie BE mają miarę
.
Zatem
, czyli
.
ODP: Teza prawdziwa
Kluczowe jest zauważenie, że E jako środek przeciwprostokątnej w trójkącie prostokątnym ADC spełnia AE=DE.