Maths Olympiad Prep

Library / /9 of 12

Geometry Difficulty 6.1 National olympiad Prove it Bulgaria

Let kk be the incircle of a ABC\triangle ABC. A line, parallel to BCBC touches kk and intersects the sides ABAB and ACAC at points A1A_1 and A2A_2. Define the points B1,B2B_1, B_2 and C1,C2C_1, C_2 in a similar way. Prove that
9(AA1AA2+BB1BB2+CC1CC2)AB2+BC2+CA2. 9(\overline{AA_1} \cdot \overline{AA_2} + \overline{BB_1} \cdot \overline{BB_2} + \overline{CC_1} \cdot \overline{CC_2}) \ge \overline{AB}^2 + \overline{BC}^2 + \overline{CA}^2.

Solution

Let D,ED, E and FF be the common points of with the sides BC,CABC, CA and ABAB, respectively, and let AE=AF=xAE = AF = x, BF=BD=yBF = BD = y and CD=CE=zCD = CE = z.
Since AA1A2ABC\triangle AA_1A_2 \sim \triangle ABC, then AA1AB=AA2AC=PAA1A2PABC=xx+y+z\frac{AA_1}{AB} = \frac{AA_2}{AC} = \frac{P_{AA_1A_2}}{P_{ABC}} = \frac{x}{x+y+z} and hence AA1=x(x+y)x+y+zAA_1 = \frac{x(x+y)}{x+y+z} and AA2=x(x+z)x+y+zAA_2 = \frac{x(x+z)}{x+y+z}. Analogously, BB1=y(y+z)x+y+zBB_1 = \frac{y(y+z)}{x+y+z}, BB2=y(y+x)x+y+zBB_2 = \frac{y(y+x)}{x+y+z}, CC1=z(z+x)x+y+zCC_1 = \frac{z(z+x)}{x+y+z} and CC2=z(z+y)x+y+zCC_2 = \frac{z(z+y)}{x+y+z}.
Then the given inequality is equivalent to
9x2(x+y)(x+z)(x+y+z)2(x+y)2, 9 \sum x^2 (x+y)(x+z) \ge (x+y+z)^2 \sum (x+y)^2,
i.e.
9x4+2(x2)(xy)2(x2)2+4(xy)2, 9 \sum x^4 + 2(\sum x^2)(\sum xy) \ge 2(\sum x^2)^2 + 4(\sum xy)^2,

The last inequality follows by the well-known inequalities
3(x4+y4+z4)(x2+y2+z2)2 and x2+y2+z2xy+yz+zx. 3(x^4 + y^4 + z^4) \geq (x^2 + y^2 + z^2)^2 \text{ and } x^2 + y^2 + z^2 \geq xy + yz + zx.

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 and solution reproduced as published; topic and difficulty added by this site.