Pravokutni trokuti $ABC$ i $ABD$ imaju zajedničku hipotenuzu $\overline{AB}$, a katete $\overline{AD}$ i $\overline{BC}$ im se sijeku u točki $E$. Neka je $F$ ortogonalna projekcija točke $E$ na pravac $AB$. Dokaži da je $FE$ simetrala kuta $\sphericalangle CFD$.