Školjka

%V0 Dužina $\overline{AB}$ je dulja stranica pravokutnika $ABCD$. Okomica iz vrha $B$ na dijagonalu $\overline{AC}$ siječe pravac $AD$ u točki $E$, a kružnica sa središtem $A$ koja prolazi kroz točku $B$ siječe $\overline{CD}$ u točki $F$. Dokaži da su pravci $AF$ i $EF$ međusobno okomiti.