An Isosceles Triangle Theorem

In the figure, ABD is an isosceles triangle with AB = BD. Also AE = CD.

F is the intersection of AD and EC.

The theorem states that EF = FC.

We also see the ratio of AF / FD. Can you come up with a formula for this ratio in terms of AB, AD and AE?

If you are interested in this applet, you may like our Interactive Symbolic Geometry software Geometry Expressions.