Maths Olympiad Prep

Library / IMO Shortlist /104 of 365

IMO Shortlist

Geometry Difficulty 8.2 Shortlist Prove it IMO

Let ABCDABCD be a cyclic quadrilateral with ∠BAD<∠ADC\angle BAD < \angle ADC. Let MM be the midpoint of the arc CDCD not containing AA. Suppose there is a point PP inside ABCDABCD such that ∠ADB=∠CPD\angle ADB = \angle CPD and ∠ADP=∠PCB\angle ADP = \angle PCB.
Prove that lines ADAD, PMPM, BCBC are concurrent.

Solutions — 2

Solution 1

Let XX and YY be the intersection points of AMAM and BMBM with PDPD and PCPC respectively. Since ABCMDABCM D is cyclic and CM=MDCM = MD, we have
∠XAD=∠MAD=∠CBM=∠CBY. \angle XAD = \angle MAD = \angle CBM = \angle CBY.
Combining this with ∠ADX=∠YCB\angle ADX = \angle YCB, we get ∠DXA=∠BYC\angle DXA = \angle BYC, and so ∠PXM=∠MYP\angle PXM = \angle MYP. Moreover, ∠YPX=∠CPD=∠ADB=∠AMB\angle YPX = \angle CPD = \angle ADB = \angle AMB. The quadrilateral MXPYMXPY therefore has equal opposite angles and so is a parallelogram.
Figure 1
Let RR and SS be the intersection points of AMAM and BMBM with BCBC and ADAD respectively. Due to AM∥PCAM \parallel PC and BM∥PDBM \parallel PD, we have ∠ASB=∠ADP=∠PCB=∠ARB\angle ASB = \angle ADP = \angle PCB = \angle ARB and so the quadrilateral ABRSABRS is cyclic. We then have ∠SRB=180∘−∠BAS=∠DCB\angle SRB = 180^{\circ} - \angle BAS = \angle DCB and so SR∥CDSR \parallel CD. In triangles PCDPCD and MRSMRS, the corresponding sides are parallel so they are homothetic meaning lines DSDS, PMPM, CRCR concur at the centre of this homothety.

Solution 2

Let ADAD and BCBC meet at TT. Denote by pa,pb,map_{a}, p_{b}, m_{a} and mbm_{b} the distances between line TATA and PP, TBTB and PP, TATA and MM and between TBTB and MM respectively. Our goal is to prove pa:pb=ma:mbp_{a} : p_{b} = m_{a} : m_{b} which is equivalent to the collinearity of TT, PP and MM.
Figure 2
Let ∠BAC=∠BDC=α\angle BAC = \angle BDC = \alpha, ∠DBA=∠DCA=β\angle DBA = \angle DCA = \beta, ∠ADB=∠AMB=∠ACB=∠CPD=μ\angle ADB = \angle AMB = \angle ACB = \angle CPD = \mu, ∠ADP=∠PCB=ν\angle ADP = \angle PCB = \nu and ∠MAD=∠CAM=∠MBD=∠CBM=χ\angle MAD = \angle CAM = \angle MBD = \angle CBM = \chi.
From ∠ADP=∠PCB=ν\angle ADP = \angle PCB = \nu and ∠MAD=∠CBM=χ\angle MAD = \angle CBM = \chi we get
papb=PD⋅sin⁡νPC⋅sin⁡ν=PDPCandmamb=MA⋅sin⁡χMB⋅sin⁡χ=MAMB. \frac{p_{a}}{p_{b}} = \frac{PD \cdot \sin \nu}{PC \cdot \sin \nu} = \frac{PD}{PC} \quad \text{and} \quad \frac{m_{a}}{m_{b}} = \frac{MA \cdot \sin \chi}{MB \cdot \sin \chi} = \frac{MA}{MB}.
Hence pa:pb=ma:mbp_{a} : p_{b} = m_{a} : m_{b} is equivalent to PD:PC=MA:MBPD : PC = MA : MB, and since ∠CPD=∠AMB=μ\angle CPD = \angle AMB = \mu, this means we have to show that triangles PDCPDC and MABMAB are similar.
In triangle PDCPDC we have
∠PDC+∠DCP=180∘−∠CPD=180∘−μ,∠PDC−∠DCP=(α+μ−ν)−(β+μ−ν)=α−β. \begin{aligned} & \angle PDC + \angle DCP = 180^{\circ} - \angle CPD = 180^{\circ} - \mu, \\ & \angle PDC - \angle DCP = (\alpha + \mu - \nu) - (\beta + \mu - \nu) = \alpha - \beta. \end{aligned}
Similarly, in triangle MABMAB we have
∠BAM+∠MBA=180∘−∠AMB=180∘−μ,∠BAM−∠MBA=(α+χ)−(β+χ)=α−β. \begin{aligned} & \angle BAM + \angle MBA = 180^{\circ} - \angle AMB = 180^{\circ} - \mu, \\ & \angle BAM - \angle MBA = (\alpha + \chi) - (\beta + \chi) = \alpha - \beta. \end{aligned}
Therefore, (∠BAM\angle BAM, ∠MBA\angle MBA) and (∠PDC\angle PDC, ∠DCP\angle DCP) satisfy the same system of linear equations. The common solution is
∠BAM=∠PDC=180∘−μ+α−β2 and ∠MBA=∠DCP=180∘−μ−α+β2. \angle BAM = \angle PDC = \frac{180^{\circ} - \mu + \alpha - \beta}{2} \text{ and } \angle MBA = \angle DCP = \frac{180^{\circ} - \mu - \alpha + \beta}{2}.
Hence triangles PDCPDC and MABMAB have equal angles and so are similar. This completes the proof.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.