The circles k1,k2,k3 with radii (a>c>b) a,b,c are tangent to line d at A,B,C, respectively. k1 is tangent to k2, and k2 is tangent to k3. The tangent line to k3 at E is parallel to d, and it meets k1 at D. The line perpendicular to d at A meets line EB at F. Prove that AD=AF. geometry proposedgeometry