Let P be a point outside a circumference Γ, and let PA be one of the tangents from P to Γ. Line l passes through P and intersects Γ at B and C, with B between P and C. Let D be the symmetric of B with respect to P. Let ω1 and ω2 be the circles circumscribed to the triangles DAC and PAB respectively. ω1 and ω2 intersect at E=A. Line EB cuts back to ω1 in F. Prove that CF=AB. geometrycircumcircleequal segmentssymmetry