Problem 4
Let be a cyclic quadrilateral. Let be the feet of perpendiculars from to lines , respectively. Show that if and only if the bisectors of angles and meet on segment .
Step 1 of 7: Derive the Simson line
In plain words
The three perpendicular feet are collinear, and the requested equality is exactly a midpoint condition.
Detailed analysis
Because , , and , the quadrilaterals , , and are cyclic. In directed angles modulo , these cyclicities and the cyclicity of give . Since and are the same line, and are the same line. Thus are collinear, and on this line exactly when is the midpoint of .