Maths Olympiad Prep

Library / /4 of 15

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 XCX \neq C on the circumcircle of triangle ABCABC is such that PC=PXPC = PX. Point YDY \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=180NRP=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 PRABPR \parallel AB along with the similarities QABRNMQAB \sim RNM and PABPMNPAB \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 PQABPQ \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 QQ' be the foot of the perpendicular from TT to PVPV. Finally, let QAQ'A intersect circle ABCABC again at XX' and QBQ'B intersect circle ABDABD again at YY'.

Figure 2

Claim. PQPQ' bisects BQD\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 VQT=90\angle VQ'T = 90^\circ (by construction), the claim follows. \square

Now as
QPD=BAD=180DYB=180DYQ \angle Q'PD = \angle BAD = 180^\circ - \angle DY'B = 180^\circ - \angle DY'Q'
we have QPDYQ'PDY' cyclic. By the claim, we have that PP is the midpoint of arcDQY~\operatorname{arc} \widetilde{DQ'Y'}, so PD=PYPD = 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 QQ'. Then
AQP=XQP=XCP=XCB=180BAX=QAB \angle AQ'P = \angle XQ'P = \angle XCP = \angle XCB = 180^\circ - \angle BAX = \angle Q'AB
so PQPQ' is parallel to ABAB. Hence, it suffices to show that QQ' 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 QQ' 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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.