Problem

Source: China North MO

Tags: projective geometry, geometry unsolved, geometry



$AB$ is the diameter of circle $O$, $CD$ is a non-diameter chord that is perpendicular to $AB$. Let $E$ be the midpoint of $OC$, connect $AE$ and extend it to meet the circle at point $P$. Let $DP$ and $BC$ meet at $F$. Prove that $F$ is the midpoint of $BC$.