Problem 289: Tangent circles, Radius, Perpendicular, Tangent

In the figure below, circles A (radius a) and B are tangent at C. AD is tangent to circle B and AE is perpendicular to AD.
If EF is tangent to circle B, prove that .