A semicircle $(O)$ is drawn with the center $O$, where $O$ lies on a line $\ell$. $C$ and $D$ lie on the circle $(O)$, and the tangent lines of $(O)$ at points $C$ and $D$ intersects the line $\ell$ at points $B$ and $A$, respectively, such that $O$ lies between points $B$ and $A$. Let $E$ be the intersection point between $AC$ and $BD$, and $F$ the point on $\ell$ so that $EF $ is perpendicular to line $\ell$. Prove that $EF$ bisects the angle $\angle CFD$.
Problem
Source: Indonesia INAMO Shortlist 2017 G7 https://artofproblemsolving.com/community/c1101409_indonesia_shortlist__geometry
Tags: geometry, angle bisector