Maths Olympiad Prep

Library / Bulgarian Mathematical Competitions /68 of 92

Bulgarian Mathematical Competitions

Geometry Difficulty 6.5 National Olympiad Prove it Bulgaria

Problem:

The incircle of △ABC\triangle ABC has radius rr and is tangent to the sides ABAB, BCBC and CACA at points C1C_1, A1A_1 and B1B_1, respectively. If N=BC∩B1C1N = BC \cap B_1C_1 and AA1=2A1N=2r3AA_1 = 2A_1N = 2r\sqrt{3}, find ANC\text{ANC}.

Solution

Solution:

We shall use the standard notation for the elements of △ABC\triangle ABC. We may assume that b>cb > c. Denote by II the incenter of △ABC\triangle ABC. Then the condition A1N=r3A_1N = r\sqrt{3} implies that INA1INA_1 is a right-angled triangle with NIA 1 = 60\text{NIA 1 = 60}. We shall prove that AA1⊥INAA_1 \perp IN. If so, then AA 1N = 60\text{AA 1N = 60}. Now, if MM is the midpoint of the segment AA1AA_1, then △MNA1\triangle MNA_1 is equilateral and therefore △ANM\triangle ANM is isosceles with ANM = MAN = 30\text{ANM = MAN = 30}. Thus ANC = 90\text{ANC = 90}.

Figure 1

To prove that AA1⊥INAA_1 \perp IN, note that this is equivalent to the equality AI2−IA12=AN2−A1N2AI^2 - IA_1^2 = AN^2 - A_1N^2. The Cosine theorem for △ANB\triangle ANB gives
AN2=c2+BN2+2c⋅BNcos⁡β=c2+BN2+2c⋅BNa2+c2−b22ac AN^2 = c^2 + BN^2 + 2c \cdot BN \cos \beta = c^2 + BN^2 + 2c \cdot BN \frac{a^2 + c^2 - b^2}{2ac}
On the other hand, the Menelaus theorem for △ABC\triangle ABC and the line B1C1B_1C_1 implies that
CB1B1A⋅AC1C1B⋅BNNC=1 \frac{CB_1}{B_1A} \cdot \frac{AC_1}{C_1B} \cdot \frac{BN}{NC} = 1
Hence p−cp−b⋅BNBN+a=1\frac{p-c}{p-b} \cdot \frac{BN}{BN + a} = 1, i.e., BN=a(p−b)b−cBN = \frac{a(p-b)}{b-c}, where pp is the semiperimeter of △ABC\triangle ABC. Then A1N=BN+p−bA_1N = BN + p - b and therefore
AN2−A1N2=c2−(p−b)2+BNa2+c2−b2−a2−ac+aba=c2−(p−b)2−a(p−b)b−c⋅2(b−c)(p−a)a=c2−(p−b)2−2(p−a)(p−b)=(p−a)2=AI2−IC12=AI2−IA12 \begin{aligned} AN^2 - A_1N^2 & = c^2 - (p-b)^2 + BN \frac{a^2 + c^2 - b^2 - a^2 - ac + ab}{a} \\ & = c^2 - (p-b)^2 - \frac{a(p-b)}{b-c} \cdot \frac{2(b-c)(p-a)}{a} \\ & = c^2 - (p-b)^2 - 2(p-a)(p-b) = (p-a)^2 \\ & = AI^2 - IC_1^2 = AI^2 - IA_1^2 \end{aligned}
which completes the proof.

Figure 1

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 reproduced verbatim; metadata (topic, difficulty) added by this project.