Maths Olympiad Prep

Library / /201 of 520

Geometry Difficulty 6.7 National olympiad Find the answer

Let II be the incenter of a triangle ABCABC with AB=20AB = 20, BC=15BC = 15, and BI=12BI = 12. Let CICI intersect the circumcircle ω1\omega_1 of ABCABC at DCD \neq C . Alice draws a line ll through DD that intersects ω1\omega_1 on the minor arc ACAC at XX and the circumcircle ω2\omega_2 of AICAIC at YY outside ω1\omega_1. She notices that she can construct a right triangle with side lengths IDID, DXDX, and XYXY. Determine, with proof, the length of IYIY.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

1. Identify Key Points and Circles:
- Let I I be the incenter of ABC\triangle ABC.
- Given AB=20 AB = 20 , BC=15 BC = 15 , and BI=12 BI = 12 .
- Let CI CI intersect the circumcircle ω1\omega_1 of ABC\triangle ABC at DC D \neq C .
- Let Ia I_a and Ib I_b be the excenters opposite A A and B B respectively.
- Let E E be the midpoint of arc BCA^\widehat{BCA} on ω1\omega_1.
- Let ρ\rho be the circumcircle of AIB\triangle AIB.

2. **Properties of Point D D :**
- It is well-known that D D is the center of ρ\rho.
- Therefore, DA=DB=DI=r DA = DB = DI = r , where r r is the radius of ρ\rho.

3. **Power of Point X X :**
- Alice draws a line l l through D D that intersects ω1\omega_1 on the minor arc AC AC at X X and the circumcircle ω2\omega_2 of AIC\triangle AIC at Y Y outside ω1\omega_1.
- Since XD2r2=XY2 XD^2 - r^2 = XY^2 , X X has equal power with respect to ρ\rho and ω2\omega_2.

4. Radical Axis and Right Triangle:
- Since DE\overline{DE} is a diameter of ω1\omega_1, EXDY EX \perp DY .
- Hence, EX EX is the radical axis of ρ\rho and ω2\omega_2.
- It follows that EY2=ED2r2=ED2DA2=EA2 EY^2 = ED^2 - r^2 = ED^2 - DA^2 = EA^2 by the Pythagorean Theorem in ADE\triangle ADE.

5. **Circle of Diameter IaIb\overline{I_aI_b}:**
- It is well-known that A,B,Ia,Ib A, B, I_a, I_b lie on the circle of diameter IaIb\overline{I_aI_b} centered at E E .
- Therefore, EA=EIb    YIb EA = EI_b \implies Y \equiv I_b .

6. Similarity and Length Calculation:
- Note that CIb CI_b is the external bisector of BCA    BCIb=90+C2=BIA\angle BCA \implies \angle BCI_b = 90^\circ + \frac{C}{2} = \angle BIA .
- Together with IbBC=ABI\angle I_bBC = \angle ABI, this implies IbCBAIB\triangle I_bCB \sim \triangle AIB.
- Therefore, BIbBC=BABI\frac{BI_b}{BC} = \frac{BA}{BI}, whence it follows that BIb=753=25 BI_b = \frac{75}{3} = 25 .
- Hence, IIb=BIbBI=2512=13 II_b = BI_b - BI = 25 - 12 = 13 .

The final answer is 13\boxed{13}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.