MathDB
two tangents of the same circle and another line are concurrent, equal products

Source: KJMO 2008 p5

May 2, 2019
geometryTangentspentagonconcurrencyconcurrent

Problem Statement

Let there be a pentagon ABCDEABCDE inscribed in a circle OO. The tangent to OO at EE is parallel to ADAD. A point FF lies on OO and it is in the opposite side of AA with respect to CDCD, and satisfi es ABBCDF=AEEDCFAB \cdot BC \cdot DF = AE \cdot ED \cdot CF and CFD=2BFE\angle CFD = 2\angle BFE. Prove that the tangent to OO at B,EB,E and line AFAF concur at one point.