Maths Olympiad Prep

Library / /380 of 397

, 2018

Geometry Difficulty 7.3 National Olympiad, round 2 Prove it Taiwan

Let the circumcircle of triangle ABCABC be Ω\Omega, with circumcenter OO and orthocenter HH. Let SS be a point on Ω\Omega, and let PP be a point on BCBC such that ASP=90\angle ASP = 90^\circ. Let line SHSH meet the circumcircle of APS\triangle APS at XSX \ne S. Let OPOP meet CACA, ABAB at QQ, RR respectively, and let QYQY, RZRZ be the altitudes of AQR\triangle AQR.

Prove: XX, YY, ZZ are collinear.

Solution

Figure 1

Let ADAD, BEBE, CFCF be the altitudes of ABC\triangle ABC, and let ΓA\Gamma_A, ΓB\Gamma_B, ΓC\Gamma_C be the circles with diameters AP\overline{AP}, BQ\overline{BQ}, CR\overline{CR} respectively. Then the power of HH with respect to ΓA\Gamma_A, ΓB\Gamma_B, ΓC\Gamma_C are HAHDHA \cdot HD, HBHEHB \cdot HE, HCHFHC \cdot HF respectively, so the powers of HH with respect to the three circles are all equal. Let AA', BB' be the reflections of AA, BB over OO respectively, and let SS' be the intersection of APA'P and BQB'Q. Then since OO, PP, QQ are collinear, by the converse of Pascal's theorem, AA, AA', SS', BB', BB, CC lie on a conic (considering the broken line AASBBCAA'S'B'BC), so SS' lies on Ω\Omega, i.e. S=SS = S'. From BSQ=BSB=90\angle BSQ = \angle BSB' = 90^\circ we know SS lies on ΓB\Gamma_B, and similarly SS lies on ΓC\Gamma_C. Hence ΓA\Gamma_A, ΓB\Gamma_B, ΓC\Gamma_C are coaxial, with SHSH being the radical axis, so the second intersection point of ΓA\Gamma_A, ΓB\Gamma_B, ΓC\Gamma_C is XX. Therefore, since YY, ZZ lie on ΓB\Gamma_B, ΓC\Gamma_C respectively, we obtain
YXZ=YXS+SXZ=ABS+SCA=180 \angle YXZ = \angle YXS + \angle SXZ = \angle ABS + \angle SCA = 180^\circ
that is, XX, YY, ZZ are collinear. This completes the proof.

### Alternative Solution

In fact, we can prove a stronger result. Let the midpoint of AHAH be NN, and let the tangent to the circumcircle at AA meet the circle with diameter APAP at FF. Then FF, NN, XX, YY, ZZ are five collinear points, and this line is antiparallel to OPOP with respect to ABAB, ACAC. We prove this in several steps below:

1. NN, YY, ZZ are collinear and antiparallel to OPOP with respect to ABAB, ACAC.
Consider the reflective homothety centered at AA, with the angle bisector of BAC\angle BAC as the axis of symmetry, and ratio cosA\cos A. Since QRRAQR \perp RA and QAR=BAC\angle QAR = \angle BAC, we know that the image of QQ under this reflective homothety is YY. Similarly, the image of RR is ZZ. Therefore, the image of QRQR is YZYZ. Note that ANAN, AOAO are isogonal with respect to BCBC, and
AN=12AH=12RcosA=AOcosA, AN = \frac{1}{2}AH = \frac{1}{2}R \cos A = AO \cos A,
so the image of OO is NN. Note that OO, PP, QQ, RR are collinear, so via this reflective homothety we can obtain that NN, YY, ZZ are collinear, and NYZNYZ is antiparallel to OPQROPQR with respect to ABAB, ACAC.

2. Let AA' be the reflection of AA over FF. Then AA, AA', SS, HH are concyclic.
Let AHAH meet the circumcircle of ABCABC at HH', and meet BCBC at DD. Then HD=HDHD = H'D. Consider the inversion centered at AA, and suppose the image of any point TT under this inversion is TT^*. By the angle-preserving property of inversion, we know:
APS=ASP=90,APD=ADP=90. \angle AP^*S^* = \angle ASP = 90^\circ, \angle AP^*D^* = \angle ADP = 90^\circ.
Moreover,
APA=AAP=AAP=AAP, \angle AP^*A'^* = \angle AA'P = \angle A'AP = \angle A'^*AP^*,
so AA=APA'^*A = A'^*P^*. Since the circle ASHASH' is tangent to AAAA', SHS^*H'^* is parallel to AAAA'^*. Since the midpoint of HHHH' is DD, HHH^*H'^* is harmonically divided by ADAD^*. To prove that AA, AA', SS, HH are concyclic, it suffices to prove that AA'^*, SS^*, HH^* are collinear, or that S(A,H;A,D)S^*(A'^*, H'^*; A, D^*) is a harmonic pencil. Note that SHS^*H'^* meets AAAA'^* at infinity, so, if SDS^*D^* meets AAAA'^* at KK, then
S(A,H;A,D)=(A,;A,K). S^*(A'^*, H'^*; A, D^*) = (A'^*, \infty; A, K).

Note that APKAP^*K is a right triangle with the right angle at PP, and AA'^* lies on the hypotenuse satisfying AA=APA'^*A = A'^*P^*, so AA'^* is the circumcenter of APKAP^*K. In particular, AA'^* is the midpoint of AKAK, so
S(A,H;A,D)=(A,;A,K)=1, S^*(A'^*, H'^*; A, D^*) = (A'^*, \infty; A, K) = -1,
which completes the proof.

3. FF, NN, XX are collinear.
By (2), we have
AFN=AAH=ASH=ASX=AFX. \angle AFN = \angle AA'H = \angle ASH = \angle ASX = \angle AFX.
Hence FF, NN, XX are collinear.

Since AOAO, ANAN are isogonal with respect to ABAB, ACAC, it suffices to prove that FNFN, OPOP are antiparallel with respect to ANAN, AOAO, that is,
ANF+POA=180 suffices. \angle ANF + \angle POA = 180^\circ \text{ suffices.}
Let the midpoint of ASAS be LL. Then by (2) applying a homothety of ratio 1/21/2 centered at AA, we know AA, FF, LL, NN are concyclic. Therefore
ANF=ALF. \angle ANF = \angle ALF.
Let UU be the reflection of AA over OO, and let VV be the projection of SS onto AFAF. Then by the tangent-chord angle,
VAS=SUA. \angle VAS = \angle SUA.
Also, since
SVA=ASU=90, \angle SVA = \angle ASU = 90^\circ,
we have SVAASU\triangle SVA \sim \triangle ASU. Since PP lies on SUSU and AA, FF, VV are the projections of UU, PP, SS respectively, we know
AFFV=UPPS. \frac{AF}{FV} = \frac{UP}{PS}.
Also, since LL, OO are the midpoints of SASA, AUAU respectively, ALFVOP\triangle ALF \sim \triangle VOP. Therefore
ANF+POA=ALF+POA=VOP+POA=180. \angle ANF + \angle POA = \angle ALF + \angle POA = \angle VOP + \angle POA = 180^\circ.
By (1) and (4), we know that FF, YY, ZZ all lie on the line through NN that is antiparallel to OPOP with respect to ABAB, ACAC, so FF, NN, YY, ZZ are collinear. And by (3), XX lies on FNFN, so FF, NN, XX, YY, ZZ are five collinear points.

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 translated into English from zh; metadata (topic, difficulty) added by this project.