oppervlakte

$ABC$ is een driehoek met oppervlakte 1. Neem $D$ op $BC$, $E$ op $CA$ en $F$ op $AB$ zodat $AFDE$ op een cirkel liggen. Bewijs dat de oppervlakte van $DEF$ kleiner of gelijk is aan $\displaystyle{\frac{EF^2}{4AD^2}}$.