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 1 of 4: Similar right triangles at K and L give equal angles and a side ratio
In plain words

The two perpendicular bisectors meet the angle bisector at the same angle 90∘−C290^\circ - \dfrac{C}{2}, making the two right triangles CKPCKP and CLQCLQ similar.

△CKP∼△CLQ  ⟹  PKQL=CPCQ,∠RPK=90∘+C2=∠RQL\triangle CKP \sim \triangle CLQ \implies \frac{PK}{QL} = \frac{CP}{CQ}, \qquad \angle RPK = 90^\circ + \frac{C}{2} = \angle RQL
Detailed analysis

Let C=∠BCAC = \angle BCA, so ∠KCP=∠LCQ=C2\angle KCP = \angle LCQ = \dfrac{C}{2}. Since PK⊥BCPK \perp BC at KK and QL⊥ACQL \perp AC at LL, right triangles CKPCKP and CLQCLQ are similar, giving PKQL=CPCQ\dfrac{PK}{QL} = \dfrac{CP}{CQ} and ∠CPK=∠CQL=90∘−C2\angle CPK = \angle CQL = 90^\circ - \dfrac{C}{2}. Their supplements along line CRCR therefore satisfy ∠RPK=∠RQL=90∘+C2\angle RPK = \angle RQL = 90^\circ + \dfrac{C}{2}.