MathLabs

Problem 4

Let ABCDABCD be a cyclic quadrilateral. Let P,Q,RP,Q,R be the feet of perpendiculars from DD to lines BC,CA,ABBC,CA,AB, respectively. Show that PQ=QRPQ=QR if and only if the bisectors of angles ABCABC and ADCADC meet on segment ACAC.
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.

cr⁡(P,R;Q,I∞)=cr⁡(BC,BA;BF,BE)\operatorname{cr}(P,R;Q,I_\infty)=\operatorname{cr}(BC,BA;BF,BE)
Detailed analysis

Project the four points P,R,Q,I∞P,R,Q,I_\infty from BB to the pencil of lines through BB. Their images are BC,BA,BF,BEBC,BA,BF,BE, respectively: BP=BCBP=BC, BR=BABR=BA, BQ=BFBQ=BF, and Step 3 gives BI∞=BEBI_\infty=BE. Central projection is fractional-linear on an affine coordinate, so it preserves cross-ratio and gives cr⁡(P,R;Q,I∞)=cr⁡(BC,BA;BF,BE)\operatorname{cr}(P,R;Q,I_\infty)=\operatorname{cr}(BC,BA;BF,BE). Thus the metric midpoint condition has an exact projective formulation.