Maths Olympiad Prep

Library / IMO Shortlist /164 of 365

IMO Shortlist

Geometry Difficulty 8.5 Shortlist Prove it IMO

Let ABCDABCD be a quadrilateral with ABAB parallel to CDCD and AB<CDAB < CD. Lines ADAD and BCBC intersect at a point PP. Point X≠CX \neq C on the circumcircle of triangle ABCABC is such that PC=PXPC = PX. Point Y≠DY \neq D on the circumcircle of triangle ABDABD is such that PD=PYPD = PY. Lines AXAX and BYBY intersect at QQ.

Prove that PQPQ is parallel to ABAB.

Solutions — 3

Solution 1

Let MM and NN be the midpoints of ADAD and BCBC, respectively and let the perpendicular bisector of ABAB intersect the line through PP parallel to ABAB at RR.

Lemma. Triangles QABQAB and RNMRNM are similar.

Proof. Let OO be the circumcentre of triangle ABCABC, and let SS be the midpoint of CXCX. Since N,SN, S, and RR are the respective perpendicular feet from OO to BC,CXBC, CX, and PRPR, we have that quadrilaterals PRNOPRNO and CNSOCNSO are cyclic. Furthermore, P,SP, S, and OO are collinear as PC=PXPC = PX. Since ABCXABCX is also cyclic, we have that
∠QAB=∠XCB=∠PON=180∘−∠NRP=∠MNR. \angle QAB = \angle XCB = \angle PON = 180^\circ - \angle NRP = \angle MNR.
Analogously, we have that ∠ABQ=∠RMN\angle ABQ = \angle RMN, so triangles QABQAB and RNMRNM are similar. □\square

Figure 1

Let d(Z,ℓ)d(Z, \ell) denote the perpendicular distance from the point ZZ to the line ℓ\ell. Using that PR∥ABPR \parallel AB along with the similarities QAB∼RNMQAB \sim RNM and PAB∼PMNPAB \sim PMN, we have that
d(Q,AB)AB=d(R,MN)MN=d(P,MN)MN=d(P,AB)AB, \frac{d(Q, AB)}{AB} = \frac{d(R, MN)}{MN} = \frac{d(P, MN)}{MN} = \frac{d(P, AB)}{AB},
which implies that PQ∥ABPQ \parallel AB.

Solution 2

Let BDBD and ACAC intersect at TT and let the line through PP parallel to ABAB intersect BDBD at VV. Next, let Q′Q' be the foot of the perpendicular from TT to PVPV. Finally, let Q′AQ'A intersect circle ABCABC again at X′X' and Q′BQ'B intersect circle ABDABD again at Y′Y'.

Figure 2

Claim. PQ′PQ' bisects ∠BQ′D\angle BQ'D externally.

Proof. Let PTPT intersect CDCD at LL. Let ∞CD\infty_{CD} be the point at infinity on line CDCD. From the standard Ceva-Menelaus configuration we have (D,C;L,∞CD)(D, C ; L, \infty_{CD}) is harmonic. Hence projecting through PP we have
−1=(D,C;L,∞CD)=(D,B;T,V). -1 = (D, C ; L, \infty_{CD}) = (D, B ; T, V).
As (D,B;T,V)(D, B ; T, V) is harmonic, and also ∠VQ′T=90∘\angle VQ'T = 90^\circ (by construction), the claim follows. □\square

Now as
∠Q′PD=∠BAD=180∘−∠DY′B=180∘−∠DY′Q′ \angle Q'PD = \angle BAD = 180^\circ - \angle DY'B = 180^\circ - \angle DY'Q'
we have Q′PDY′Q'PDY' cyclic. By the claim, we have that PP is the midpoint of arc⁡DQ′Y′~\operatorname{arc} \widetilde{DQ'Y'}, so PD=PY′PD = PY'.

Since YY is the unique point not equal to DD on circle ABDABD satisfying PD=PYPD = PY, we have Y′=YY' = Y.
Likewise X′=XX' = X so Q′=QQ' = Q and we are done.

Solution 3

Let AXAX intersect circle PCXPCX for the second time at Q′Q'. Then
∠AQ′P=∠XQ′P=∠XCP=∠XCB=180∘−∠BAX=∠Q′AB \angle AQ'P = \angle XQ'P = \angle XCP = \angle XCB = 180^\circ - \angle BAX = \angle Q'AB
so PQ′PQ' is parallel to ABAB. Hence, it suffices to show that Q′Q' is equal to QQ. To do so, we aim to show the common chord of circles PCXPCX and PDYPDY is parallel to ABAB, since then by symmetry Q′Q' is also the second intersection of BYBY and circle PDYPDY.

Figure 3

Let the centres of circles PCXPCX and PDYPDY be OXO_X and OYO_Y, respectively. Let the centres of circles ABCABC and ABDABD be OCO_C and ODO_D, respectively.

Note P,OXP, O_X, and OCO_C are collinear since they all lie on the perpendicular bisector of CXCX. Likewise P,OYP, O_Y, and ODO_D are collinear on the perpendicular bisector of DYDY. By considering the projections of OXO_X and OCO_C onto BCBC, and OYO_Y and ODO_D onto ADAD, we have
POXPOC=PC2PB+PC2=PD2PA+PD2=POYPOD. \frac{PO_X}{PO_C} = \frac{\frac{PC}{2}}{\frac{PB + PC}{2}} = \frac{\frac{PD}{2}}{\frac{PA + PD}{2}} = \frac{PO_Y}{PO_D}.
Hence OXOYO_XO_Y is parallel to OCODO_CO_D, which is perpendicular to ABAB as desired.

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.