Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /344 of 359

Taiwan IMO Selection Camp, 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 X≠SX \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 HA⋅HDHA \cdot HD, HB⋅HEHB \cdot HE, HC⋅HFHC \cdot HF respectively, so the powers of HH with respect to the three circles are all equal. Let A′A', B′B' be the reflections of AA, BB over OO respectively, and let S′S' be the intersection of A′PA'P and B′QB'Q. Then since OO, PP, QQ are collinear, by the converse of Pascal's theorem, AA, A′A', S′S', B′B', BB, CC lie on a conic (considering the broken line AA′S′B′BCAA'S'B'BC), so S′S' lies on Ω\Omega, i.e. S=S′S = 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 cos⁡A\cos A. Since QR⊥RAQR \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=12Rcos⁡A=AOcos⁡A, 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 A′A' be the reflection of AA over FF. Then AA, A′A', SS, HH are concyclic.
Let AHAH meet the circumcircle of ABCABC at H′H', and meet BCBC at DD. Then HD=H′DHD = H'D. Consider the inversion centered at AA, and suppose the image of any point TT under this inversion is T∗T^*. By the angle-preserving property of inversion, we know:
∠AP∗S∗=∠ASP=90∘,∠AP∗D∗=∠ADP=90∘. \angle AP^*S^* = \angle ASP = 90^\circ, \angle AP^*D^* = \angle ADP = 90^\circ.
Moreover,
∠AP∗A′∗=∠AA′P=∠A′AP=∠A′∗AP∗, \angle AP^*A'^* = \angle AA'P = \angle A'AP = \angle A'^*AP^*,
so A′∗A=A′∗P∗A'^*A = A'^*P^*. Since the circle ASH′ASH' is tangent to AA′AA', S∗H′∗S^*H'^* is parallel to AA′∗AA'^*. Since the midpoint of HH′HH' is DD, H∗H′∗H^*H'^* is harmonically divided by AD∗AD^*. To prove that AA, A′A', SS, HH are concyclic, it suffices to prove that A′∗A'^*, S∗S^*, H∗H^* are collinear, or that S∗(A′∗,H′∗;A,D∗)S^*(A'^*, H'^*; A, D^*) is a harmonic pencil. Note that S∗H′∗S^*H'^* meets AA′∗AA'^* at infinity, so, if S∗D∗S^*D^* meets AA′∗AA'^* at KK, then
S∗(A′∗,H′∗;A,D∗)=(A′∗,∞;A,K). S^*(A'^*, H'^*; A, D^*) = (A'^*, \infty; A, K).

Note that AP∗KAP^*K is a right triangle with the right angle at PP, and A′∗A'^* lies on the hypotenuse satisfying A′∗A=A′∗P∗A'^*A = A'^*P^*, so A′∗A'^* is the circumcenter of AP∗KAP^*K. In particular, A′∗A'^* 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=∠AA′H=∠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 △SVA∼△ASU\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, △ALF∼△VOP\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,604 problems in a working order, from Junior Challenge 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.