MathLabs

Problem 4

In triangle ABCABC the bisector of angle BCABCA intersects the circumcircle again at RR, the perpendicular bisector of BCBC at PP, and the perpendicular bisector of ACAC at QQ. The midpoint of BCBC is KK and the midpoint of ACAC is LL. Prove that the triangles RPKRPK and RQLRQL have the same area.
Step 3 of 4: Deduce P and Q are symmetric on chord CR
In plain words

The perpendicular from the circumcenter OO to chord CRCR bisects both the chord CRCR and the base PQPQ of the isosceles triangle OPQOPQ.

OE⊥CR  ⟹  CE=ER and PE=EQ  ⟹  RP=CQ, RQ=CPOE \perp CR \implies CE = ER \text{ and } PE = EQ \implies RP = CQ,\ RQ = CP
Detailed analysis

Drop the perpendicular OE⊥CROE \perp CR from the circumcenter OO. Because CRCR is a chord of the circumcircle, EE is the midpoint of CRCR (CE=ERCE = ER); because OP=OQOP = OQ, EE is also the midpoint of PQPQ (PE=EQPE = EQ). Subtracting and adding along line CRCR gives RP=CQRP = CQ and RQ=CPRQ = CP.