Maths Olympiad Prep

Library / /70 of 397

Geometry Difficulty 5.1 AIME, harder Prove it Taiwan

In a scalene triangle ABCABC with incenter II, the incircle is tangent to sides CACA and ABAB at points EE and FF. The tangents to the circumcircle of AEF\triangle AEF at EE and FF meet at SS. Lines EFEF and BCBC intersect at TT. Prove that the circle with diameter STST is orthogonal to the nine-point circle of BIC\triangle BIC.

Solution

Solution: Let DD be the foot of the perpendicular from II to BCBC. Let X,YX, Y be the feet of the perpendiculars from B,CB, C to CI,BICI, BI respectively. One can show that BIFX,CIEYBIFX, CIEY are concyclic, hence X,YX, Y lie on line EFEF. Let MM be the midpoint of BCBC, and let ω\omega be the circumcircle of DMXYDMXY. The original problem is equivalent to proving that TT lies on the polar of SS with respect to ω\omega.

Let KK be the intersection of AMAM and EFEF; by SL 2005 G6, K,I,DK, I, D are collinear.

Let NN be the midpoint of EFEF, and LL the intersection of KSKS and BCBC. From
1=(A,I;N,S)=K(T,L;M,D) -1 = (A, I; N, S) \stackrel{K}{=} (T, L; M, D)
and
1=(T,D;B,C)=I(T,K;Y,X) -1 = (T, D; B, C) \stackrel{I}{=} (T, K; Y, X)
we get that T=MDYXT = MD \cap YX is the pole of line KLKL with respect to ω\omega, as desired.

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