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 4 of 7: Project the cross-ratio to the circumcircle
In plain words
Central projection preserves cross-ratios and turns the midpoint condition into a harmonic pencil at B.
Detailed analysis
Project the four points from to the pencil of lines through . Their images are , respectively: , , , and Step 3 gives . Central projection is fractional-linear on an affine coordinate, so it preserves cross-ratio and gives . Thus the metric midpoint condition has an exact projective formulation.