Maths Olympiad Prep

Library / /112 of 383

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 AMPCAM \parallel PC and BMPDBM \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=180BAS=DCB\angle SRB = 180^{\circ} - \angle BAS = \angle DCB and so SRCDSR \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=PDsinνPCsinν=PDPCandmamb=MAsinχMBsinχ=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=180CPD=180μ,PDCDCP=(α+μν)(β+μν)=αβ. \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=180AMB=180μ,BAMMBA=(α+χ)(β+χ)=αβ. \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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