Maths Olympiad Prep

Library / /343 of 397

Geometry Difficulty 6.9 National Olympiad Prove it Taiwan

Triangle ABCABC is not an equilateral triangle, II is its incenter, IAI_A is the excenter opposite angle AA, IAI'_A is the reflection of IAI_A over line BCBC, and A\ell_A is the reflection of line AIAAI'_A over AIAI. Similarly, we can define IB,IBI_B, I'_B and B\ell_B. Let PP be the intersection point of A\ell_A and B\ell_B.

a. Prove that if OO is the circumcenter of triangle ABCABC, then PP lies on line OIOI.

b. Let a certain tangent line drawn from PP to the incircle of ABCABC intersect the circumcircle of ABCABC at points X,YX, Y. Prove that XIY=120\angle XIY = 120^\circ.

Solution

(a) Let AA' be the reflection of AA over BCBC, and let MM be the second intersection point of line AIAI with the circumcircle Γ\Gamma of ABCABC. Since ABA\triangle ABA' and AOC\triangle AOC are both isosceles triangles, and ABA=2ABC=AOC\angle ABA' = 2\angle ABC = \angle AOC, they are similar to each other. Similarly, ABIA\triangle ABI_A and AIC\triangle AIC are also similar. Thus we have
AAAIA=AAABABAIA=ACAOAIAC=AIAO. \frac{AA'}{AI_A} = \frac{AA'}{AB} \cdot \frac{AB}{AI_A} = \frac{AC}{AO} \cdot \frac{AI}{AC} = \frac{AI}{AO}.
Combined with AAIA=IAO\angle A'AI_A = \angle IAO, this shows that AAIA\triangle AA'I_A and AIO\triangle AIO are similar.

Let PP' be the intersection point of line APAP with OIOI. Using directed angles (denoted \angle^*), we compute:
MAP=IAAIA=IAAAIAAA=AAIA(AM,OM)=AIOAMO=MOP. \begin{aligned} \angle^* MAP' &= \angle^* I'_A AI_A = \angle^* I'_A AA' - \angle^* I_A AA' \\ &= \angle^* AA' I_A - \angle^* (AM, OM) \\ &= \angle^* AIO - \angle^* AMO = \angle^* MOP'. \end{aligned}
So M,O,A,PM, O, A, P' are concyclic.

Let R,rR, r denote the circumradius and inradius of ABC\triangle ABC respectively. Then we have
IP=IAIMIO=IO2R2IO, IP' = \frac{IA \cdot IM}{IO} = \frac{IO^2 - R^2}{IO},
which is clearly independent of AA. Therefore, the intersection point of BPBP with OIOI is also PP', so P=PP = P'.
This proves that point PP lies on line OIOI.

Figure 1

(b) By Poncelet's Porism, the other tangent lines drawn from X,YX,Y to the incircle of ABCABC meet at a point ZZ on Γ\Gamma. Let TT be the point of tangency of XYXY with the incircle, and let DD be the midpoint of segment XYXY. We compute
OD=ITOPIP=r(1+OIIP)=r(1+OI2OIIP)=r(1+R22RrR2IO2)=r(1+R22Rr2Rr)=R2=OX2 \begin{aligned} OD &= IT \cdot \frac{OP}{IP} = r\left(1 + \frac{OI}{IP}\right) \\ &= r\left(1 + \frac{OI^2}{OI \cdot IP}\right) \\ &= r\left(1 + \frac{R^2 - 2Rr}{R^2 - IO^2}\right) \\ &= r\left(1 + \frac{R^2 - 2Rr}{2Rr}\right) = \frac{R}{2} = \frac{OX}{2} \end{aligned}
From this we know XZY=60\angle XZY = 60^\circ, so XIY=120\angle XIY = 120^\circ.
The proof is complete.

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.