Fie
. Atunci triunghiurile CFA si EFA sunt dreptunghice isoscele (deoarece unghiurile ascutite sunt de 45 de grade).
Rezulta
si
, deci
.
Atunci in triunghiul CDE, DF este si inaltime si mediana, deci triunghiul este isoscel. Rezulta CD=DE.
Fie x masura unghiurilor BCE si ECB.
Atunci avem
si din ecuatie se afla x.