Maths Olympiad Prep

Library / /366 of 383

, 2021

Geometry Difficulty 9.1 IMO level Prove it IMO

Let ω\omega be the circumcircle of a triangle ABCA B C, and let ΩA\Omega_{A} be its excircle which is tangent to the segment BCB C. Let XX and YY be the intersection points of ω\omega and ΩA\Omega_{A}. Let PP and QQ be the projections of AA onto the tangent lines to ΩA\Omega_{A} at XX and YY, respectively. The tangent line at PP to the circumcircle of the triangle APXA P X intersects the tangent line at QQ to the circumcircle of the triangle AQYA Q Y at a point RR. Prove that ARBCA R \perp B C.

Solutions — 2

Solution 1

Let DD be the point of tangency of BCB C and ΩA\Omega_{A}. Let DD' be the point such that DDD D' is a diameter of ΩA\Omega_{A}. Let RR' be (the unique) point such that ARBCA R' \perp B C and RDBCR' D' \parallel B C. We shall prove that RR' coincides with RR.

Let PXP X intersect ABA B and DRD' R' at SS and TT, respectively. Let UU be the ideal common point of the parallel lines BCB C and DRD' R'. Note that the (degenerate) hexagon ASXTUCA S X T U C is circumscribed around ΩA\Omega_{A}, hence by the Brianchon theorem ATA T, SUS U, and XCX C concur at a point which we denote by VV. Then VSBCV S \parallel B C. It follows that (S V, V X)= (B C, C X)= (B A, A X)\text{(S V, V X)= (B C, C X)= (B A, A X)}, hence AXSVA X S V is cyclic. Therefore, (P X, X A)= (S V, V A)= (R’ T, T A )\text{(P X, X A)= (S V, V A)= (R' T, T A )}. Since APT=ART=90\angle A P T=\angle A R' T=90^{\circ}, the quadrilateral APRTA P R' T is cyclic. Hence,
(X A, A P)=90 - (P X, X A)=90 - (R’ T, T A )= (T A, A R’ )= (T P, P R’ ) .\text{(X A, A P)=90 - (P X, X A)=90 - (R' T, T A )= (T A, A R' )= (T P, P R' ) .}
It follows that PRP R' is tangent to the circle (APX)(A P X).

Analogous argument shows that QRQ R' is tangent to the circle (AQY)(A Q Y). Therefore, R=RR=R' and ARBCA R \perp B C.

Figure 1

Let JXJ X intersect ω\omega again at LL. Then JL=dJ L=d. Let LKL K be a diameter of ω\omega and let MM be the midpoint of JKJ K. Since JL=LKJ L=L K, we have LMK=90\angle L M K=90^{\circ}, so MM lies on ω\omega. Let RR' be the point such that RPR' P is tangent to the circle (APX)(A P X) and ARBCA R' \perp B C. Note that the line ARA R' is symmetric to the line AOA O with respect to AJA J.

Figure 2
Figure 3

Lemma. Let MM be the midpoint of the side JKJ K in a triangle AJKA J K. Let XX be a point on the circle (AMK)(A M K) such that JXK=90\angle J X K=90^{\circ}. Then there exists a point TT on the line KXK X such that the triangles AKJA K J and AJTA J T are similar and equioriented.

Proof. Note that MX=MKM X=M K. We construct a parallelogram AJNKA J N K. Let TT be a point on KXK X such that (N J, J A)= (K J, J T)\text{(N J, J A)= (K J, J T)}. Then
(J N, N A)= (K A, A M)= (K X, X M)= (M K, K X)= (J K, K T) .\text{(J N, N A)= (K A, A M)= (K X, X M)= (M K, K X)= (J K, K T) .}
So there exists a spiral similarity with center JJ mapping the triangle AJNA J N to the triangle TJKT J K. Therefore, the triangles NJKN J K and AJTA J T are similar and equioriented. It follows that the triangles AKJA K J and AJTA J T are similar and equioriented. \square

Figure 4

Back to the problem, we construct a point TT as in the lemma. We perform the composition ϕ\phi of inversion with centre AA and radius AJA J and reflection in AJA J. It is known that every triangle AEFA E F is similar and equioriented to Aϕ(F)ϕ(E)A \phi(F) \phi(E).

So ϕ(K)=T\phi(K)=T and ϕ(T)=K\phi(T)=K. Let P=ϕ(P)P^{*}=\phi(P) and R=ϕ(R)R^{*}=\phi\left(R'\right). Observe that ϕ(TK)\phi(T K) is a circle with diameter APA P^{*}. Let AAA A' be a diameter of ω\omega. Then PKAKAKP^{*} K \perp A K \perp A' K, so AA' lies on PKP^{*} K. The triangles ARPA R' P and APRA P^{*} R^{*} are similar and equioriented, hence
(A A’, A’ P * )= (A A’, A’ K )= (A X, X P)= (A X, X P)= (A P, P R’ )= (A R * , R * P * ),\text{(A A', A' P * )= (A A', A' K )= (A X, X P)= (A X, X P)= (A P, P R' )= (A R * , R * P * ),}
so A,A,RA, A', R^{*}, and PP^{*} are concyclic. Since AA' and RR^{*} lie on AOA O, we obtain R=AR^{*}=A'. So R=ϕ(A)R'=\phi\left(A'\right), and ϕ(A)P\phi\left(A'\right) P is tangent to the circle (APX)(A P X).

An identical argument shows that ϕ(A)Q\phi\left(A'\right) Q is tangent to the circle (AQY)(A Q Y). Therefore, R=ϕ(A)R= \phi\left(A'\right) and ARBCA R \perp B C.

Solution 2

Let JJ and rr be the center and the radius of ΩA\Omega_{A}. Denote the diameter of ω\omega by dd and its center by OO. By Euler's formula, OJ2=(d/2)2+drO J^{2}=(d / 2)^{2}+d r, so the power of JJ with respect to ω\omega equals drd r.

Figure 1

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.