Maths Olympiad Prep

Library / /19 of 45

Geometry Difficulty 8.4 Shortlist Prove it United States

In cyclic quadrilateral ABCDABCD, diagonals ACAC and BDBD intersect at PP. Let EE and FF be the respective feet of the perpendiculars from PP to lines ABAB and CDCD. Segments BFBF and CECE meet at QQ. Prove that lines PQPQ and EFEF are perpendicular to each other.

Figure 1

Figure 2

Figure 3

Solutions — 3

Solution 1

Let GG, XX, and YY be the respective feet of the perpendiculars from PP to EFEF, ECEC, and FBFB. Note that EPYBEPYB and FPXCFPXC are cyclic quadrilaterals, so
EYF=90+EYP=90+EBP=90+ABP=90+DCP=90+FCP=90+FXP=FXE. \begin{aligned} \angle EYF &= 90^\circ + \angle EYP = 90^\circ + \angle EBP = 90^\circ + \angle ABP \\ &= 90^\circ + \angle DCP = 90^\circ + \angle FCP = 90^\circ + \angle FXP = \angle FXE. \end{aligned}
Thus, EXYFEXYF is a cyclic quadrilateral. Note that EGPXEGPX and FGPYFGPY are also cyclic. The radical axes of the circumcircles of EXYFEXYF, EGPXEGPX, and FGPYFGPY with each other are GPGP, EXEX, and FYFY. Thus, by the radical axis theorem, GPGP, EXEX, and FYFY concur. Since QQ is the intersection of EXEX and FYFY, by the construction of GG we have GPEFGP \perp EF, so it follows that QPEFQP \perp EF.

Solution 2

We adopt the notations of the previous solution. Define point RER_E on PGPG so that EREBFER_E \perp BF. Because GREX=GFX=90\angle GR_EX = \angle GFX = 90^\circ, quadrilateral XREEFGXRE_EFG is cyclic. Hence, we have
PREE=PREX=GREX=GFX=EFB.(42) \angle PR_E E = \angle PR_E X = \angle GR_E X = \angle GFX = \angle EFB. \qquad (42)
Also note that by the definitions of EE and RER_E, we have
REEP=90BERE=90BEX=XBE=FBE.(43) \angle R_E EP = 90^\circ - \angle BER_E = 90^\circ - \angle BEX = \angle XBE = \angle FBE. \qquad (43)
By (42) and (43), we know that PREEEFB\triangle PR_E E \sim \triangle EFB, implying that PREEF=EPBE\frac{PR_E}{EF} = \frac{EP}{BE}. Defining RFR_F to be the point on PGPG such that FRFCEFR_F \perp CE, we see in a similar manner that PRFEF=FDCF\frac{PR_F}{EF} = \frac{FD}{CF}. Finally, triangles ABPABP and DCPDCP in cyclic quadrilateral ABCDABCD are similar with EE and FF being corresponding points, we have EPBE=FPCF\frac{EP}{BE} = \frac{FP}{CF}. Combining these equalities of ratios, we find that
PREEF=EPBE=FPCF=PRFEF, \frac{PR_E}{EF} = \frac{EP}{BE} = \frac{FP}{CF} = \frac{PR_F}{EF},
hence the points RER_E and RFR_F are the same point, which we call RR. We now see that QQ is the orthocenter of triangle EFREFR, so in particular RQEFRQ \perp EF. On the other hand, we have RPEFRP \perp EF by definition, meaning that R,QR, Q, and PP are collinear and PQEFPQ \perp EF.

Solution 3

Let MM and NN be the midpoints of BCBC and ADAD, respectively. We begin with a lemma.

Lemma 3 (Kvant 2007). Quadrilateral MFNE is a kite, meaning that MN \perp EFEF and MN passes through the midpoint of EFEF.
Proof. Let KK and LL be the midpoints of APAP and DPDP. We have that EK=12AP=LNEK = \frac{1}{2}AP = LN and KN=12DP=FLKN = \frac{1}{2}DP = FL; further, because NLPKNLPK is a parallelogram and PKE=2PAE=2FDP=FLP\angle PKE = 2\angle PAE = 2\angle FDP = \angle FLP, we see that NKE=FLN\angle NKE = \angle FLN. Together, these show that EKNNLF\triangle EKN \simeq \triangle NLF, hence NE=NFNE = NF. Similarly, we obtain ME=MFME = MF, which yields the desired result. \square
Figure 4
By Lemma 3, it suffices for us to prove that PQMNPQ \parallel MN. If ABCDAB \parallel CD, this is clear. Otherwise, define ZZ to be the intersection of ABAB and CDCD. Letting UU be the midpoint of PZPZ, by Lemma 2 applied to ACDBACDB, UU lies on line MNMN. Further, by Lemma 3, the midpoint WW of EFEF also lies on this line.
Now, let SS be the intersection of AFAF and DEDE. By Pappus' theorem on points (AA, EE, BB) and (DD, FF, CC), we find that SS lies on PQPQ. By Lemma 2 on AEDFAEDF, we see that the midpoint VV of SZSZ lies on NWNW, hence on MNMN. In particular, the lines MNMN and UVUV coincide.

Now consider the homothety about KK with ratio 12\frac{1}{2}. It sends PP to UU and SS to VV, hence it sends line PSPS to UVUV. But PQPQ and PSPS coincide and UVUV and MNMN coincide, so this shows that PQMNPQ \parallel MN.

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.