Points $E$ and $F$ are chosen on the base side $AD$ and the lateral side $AB$ of an isosceles trapezoid $ABCD$, respectively. Quadrilateral $CDEF$ is an isosceles trapezoid as well. Prove that $AE \cdot ED = AF \cdot FB$.
Source: Sharygin Final 2007 9.2
Tags: geometry, trapezoid, isosceles
Points $E$ and $F$ are chosen on the base side $AD$ and the lateral side $AB$ of an isosceles trapezoid $ABCD$, respectively. Quadrilateral $CDEF$ is an isosceles trapezoid as well. Prove that $AE \cdot ED = AF \cdot FB$.