Maths Olympiad Prep

Library / /79 of 104

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=BCB1C1N = 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 AA1INAA_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 AA1INAA_1 \perp IN, note that this is equivalent to the equality AI2IA12=AN2A1N2AI^2 - IA_1^2 = AN^2 - A_1N^2. The Cosine theorem for ANB\triangle ANB gives
AN2=c2+BN2+2cBNcosβ=c2+BN2+2cBNa2+c2b22ac 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
CB1B1AAC1C1BBNNC=1 \frac{CB_1}{B_1A} \cdot \frac{AC_1}{C_1B} \cdot \frac{BN}{NC} = 1
Hence pcpbBNBN+a=1\frac{p-c}{p-b} \cdot \frac{BN}{BN + a} = 1, i.e., BN=a(pb)bcBN = \frac{a(p-b)}{b-c}, where pp is the semiperimeter of ABC\triangle ABC. Then A1N=BN+pbA_1N = BN + p - b and therefore
AN2A1N2=c2(pb)2+BNa2+c2b2a2ac+aba=c2(pb)2a(pb)bc2(bc)(pa)a=c2(pb)22(pa)(pb)=(pa)2=AI2IC12=AI2IA12 \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.