MathDB
angle bisector wanted, tangents to semicircle (O)

Source: Indonesia INAMO Shortlist 2017 G7 https://artofproblemsolving.com/community/c1101409_indonesia_shortlist__geometry

November 15, 2021
geometryangle bisector

Problem Statement

A semicircle (O)(O) is drawn with the center OO, where OO lies on a line \ell. CC and DD lie on the circle (O)(O), and the tangent lines of (O)(O) at points CC and DD intersects the line \ell at points BB and AA, respectively, such that OO lies between points BB and AA. Let EE be the intersection point between ACAC and BDBD, and FF the point on \ell so that EFEF is perpendicular to line \ell. Prove that EFEF bisects the angle CFD\angle CFD.