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 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.

P,Q,R are collinear, and PQ=QR  ⟺  Q is the midpoint of PRP,Q,R\text{ are collinear, and }PQ=QR\iff Q\text{ is the midpoint of }PR
Detailed analysis

Because DQ⊥ACDQ\perp AC, DP⊥BCDP\perp BC, and DR⊥ABDR\perp AB, the quadrilaterals CQDPCQDP, BPDRBPDR, and AQDRAQDR are cyclic. In directed angles modulo 180∘180^\circ, these cyclicities and the cyclicity of ABCDABCD give ∠(PQ,QC)=∠(PD,DC)=∠(DR,DA)=∠(QR,QA)\angle(PQ,QC)=\angle(PD,DC)=\angle(DR,DA)=\angle(QR,QA). Since QAQA and QCQC are the same line, PQPQ and QRQR are the same line. Thus P,Q,RP,Q,R are collinear, and on this line PQ=QRPQ=QR exactly when QQ is the midpoint of PRPR.