Consideramos un trapecio rectángulo $ABCD$ , en el que $AB||CD,AB>CD,AD\perp AB$ y $AD>CD$ . Las diagonales $AC$ y $BD$ se intersecan en $O$ . La paralela a $AB$ que pasa por $O$ interseca a $AD$ en $E$ y $BE$ interseca a $CD$ en $F$ . Demostrar que $CE\perp AF$ si y solo si $AB\cdot CD=AD^2-CD^2$ .