Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /312 of 359

Taiwan IMO Selection Camp

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, IA′I'_A is the reflection of IAI_A over line BCBC, and ℓA\ell_A is the reflection of line AIA′AI'_A over AIAI. Similarly, we can define IB,IB′I_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 A′A' 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′=2∠ABC=∠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
AA′AIA=AA′AB⋅ABAIA=ACAO⋅AIAC=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 ∠A′AIA=∠IAO\angle A'AI_A = \angle IAO, this shows that △AA′IA\triangle AA'I_A and △AIO\triangle AIO are similar.

Let P′P' be the intersection point of line APAP with OIOI. Using directed angles (denoted ∠∗\angle^*), we compute:
∠∗MAP′=∠∗IA′AIA=∠∗IA′AA′−∠∗IAAA′=∠∗AA′IA−∠∗(AM,OM)=∠∗AIO−∠∗AMO=∠∗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,P′M, O, A, P' are concyclic.

Let R,rR, r denote the circumradius and inradius of △ABC\triangle ABC respectively. Then we have
IP′=IA⋅IMIO=IO2−R2IO, 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 P′P', so P=P′P = 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=IT⋅OPIP=r(1+OIIP)=r(1+OI2OI⋅IP)=r(1+R2−2RrR2−IO2)=r(1+R2−2Rr2Rr)=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,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.