Školjka

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