Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /69 of 359

Taiwan IMO Selection Camp, 2022

Geometry Difficulty 5.2 AIME, harder Prove it Taiwan

Let the circumcircle of triangle ABCABC be ω\omega, and let its excircle tangent to side BCBC be ΩA\Omega_A. Let the intersection points of ω\omega and ΩA\Omega_A be XX and YY. Let PP be the projection of AA onto the tangent line to ΩA\Omega_A at point XX, and let QQ be the projection of AA onto the tangent line to ΩA\Omega_A at point YY. Let the tangent to the circumcircle of triangle APXAPX at point PP, and the tangent to the circumcircle of triangle AQYAQY at point QQ, meet at point RR.
Prove that line ARAR and BCBC are perpendicular to each other.

Solution

Let DD be the point of tangency of BCBC and ΩA\Omega_A, and let D′D' be the antipode of DD on ΩA\Omega_A. Let R′R' be the (unique) point satisfying AR′⊥BCAR' \perp BC and R′D′∥BCR'D' \parallel BC. We will prove that R=R′R = R'.

Let line PXPX meet ABAB and D′R′D'R' at points SS and TT, respectively. Let UU be the point at infinity where the parallel lines BCBC and D′R′D'R' meet. Since the (degenerate) hexagon ASXTUCASXTUC is circumscribed about the circle ΩA\Omega_A, by Brianchon's theorem, the three lines ATAT, SUSU, XCXC are concurrent at a point, denoted VV. Therefore VS∥BCVS \parallel BC. Thus
∠(SV,VX)=∠(BC,CX)=∠(BA,AX), \angle(SV, VX) = \angle(BC, CX) = \angle(BA, AX),
hence AXSVAXSV is concyclic. From this we get
∠(PX,XA)=∠(SV,VA)=∠(R′T,TA). \angle(PX, XA) = \angle(SV, VA) = \angle(R'T, TA).
Since ∠APT=∠AR′T=90∘\angle APT = \angle AR'T = 90^\circ, we know APR′TAPR'T is concyclic. Therefore
∠(XA,AP)=90∘−∠(PX,XA)=90∘−∠(R′T,TA)=∠(TA,AR′)=∠(TP,PR′). \begin{aligned} \angle(XA, AP) &= 90^\circ - \angle(PX, XA) = 90^\circ - \angle(R'T, TA) \\ &= \angle(TA, AR') = \angle(TP, PR'). \end{aligned}
From this we know that PR′PR' is tangent to circle (APX)(APX).

Similarly, QR′QR' is also tangent to circle (AQY)(AQY). Therefore R=R′R = R', so AR⊥BCAR \perp BC. □\square

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.