Maths Olympiad Prep

Library / /15 of 21

Geometry Difficulty 7.4 National Olympiad, round 2 Prove it South Korea

For the vertex AA of ABC\triangle ABC, define A\ell_A by the distance between the feet of perpendiculars drawn to the sides ABAB and ACAC from the intersection of the angle bisector of A\angle A and the side BCBC. Similarly, define B\ell_B and C\ell_C for the vertices BB and CC, respectively. Prove the inequality
ABC3164 \frac{\ell_A \ell_B \ell_C}{\ell^3} \le \frac{1}{64}
where \ell is the perimeter of ABC\triangle ABC.

Solution

Let aa, bb and cc be the lengths of the opposite sides of vertices AA, BB and CC, respectively. Also, let DD be the intersection of BCBC and the angle bisector of A\angle A. Put p=BDp = BD and q=CDq = CD. Since ADAD is the angle bisector of A\angle A, we have bp=cqbp = cq and thus a little manipulation yields
p=acb+candq=abb+c.(1) p = \frac{ac}{b+c} \quad \text{and} \quad q = \frac{ab}{b+c}. \qquad (1)
Meanwhile, since cos(ADB)+cos(ADC)=0\cos(\angle ADB) + \cos(\angle ADC) = 0, we have by the Cosine Law
x2+p2c22px+x2+q2b22qx=0 \frac{x^2 + p^2 - c^2}{2px} + \frac{x^2 + q^2 - b^2}{2qx} = 0
where x=ADx = AD. This, together with (1), yields
x2=bcpq=bc[1(ab+c)2]=bc(b+ca)(b+c)2.(2) x^2 = bc - pq = bc \left[ 1 - \left( \frac{a}{b+c} \right)^2 \right] = \frac{bc(b+c-a)}{(b+c)^2} \ell. \qquad (2)
Now, let EE and FF be the feet of perpendiculars drawn from DD to ABAB and ACAC, respectively. Then, since AEDF\square AEDF is inscribed in a circle, we have DEF=DAF\angle DEF = \angle DAF. Accordingly, applying the Sine Law, we have
AsinA=Asin(EDF)=DFsin(DEF)=DFsin(DAF)=x. \frac{\ell_A}{\sin A} = \frac{\ell_A}{\sin(\angle EDF)} = \frac{DF}{\sin(\angle DEF)} = \frac{DF}{\sin(\angle DAF)} = x.
Thus, denoting the area of ABC\triangle ABC by TT, we have by (2)
A=xsinA=2xTbc=2T(b+c)bc(b+ca). \ell_A = x \sin A = \frac{2xT}{bc} = \frac{2T}{(b+c)\sqrt{bc}} \sqrt{(b+c-a)\ell}.
Parallel arguments yield
B=2T(c+a)ca(c+ab) \ell_B = \frac{2T}{(c+a)\sqrt{ca}} \sqrt{(c+a-b)\ell}

and
C=2T(a+b)ab(a+bc). \ell_C = \frac{2T}{(a+b)\sqrt{ab}} \sqrt{(a+b-c)\ell}.
Hence, using Heron's formula, we obtain
ABC=8T3(a+bc)(b+ca)(c+ab)abc(a+b)(b+c)(c+a)=3(a+bc)2(b+ca)2(c+ab)28abc(a+b)(b+c)(c+a). \begin{aligned} \ell_A \ell_B \ell_C &= \frac{8T^3 \ell \sqrt{(a+b-c)(b+c-a)(c+a-b)\ell}}{abc(a+b)(b+c)(c+a)} \\ &= \frac{\ell^3 (a+b-c)^2 (b+c-a)^2 (c+a-b)^2}{8abc(a+b)(b+c)(c+a)}. \end{aligned}
Since a+b2aba + b \ge 2\sqrt{ab}, b+c2bcb + c \ge 2\sqrt{bc}, c+a2cac + a \ge 2\sqrt{ca} by the AM-GM inequality, we deduce from the above that
ABC3(a+bc)2(b+ca)2(c+ab)264a2b2c2.(3) \frac{\ell_A \ell_B \ell_C}{\ell^3} \le \frac{(a+b-c)^2 (b+c-a)^2 (c+a-b)^2}{64a^2b^2c^2}. \quad (3)
Moreover, since aa, bb and cc are side lengths of a triangle, we have
0<(a+bc)(c+ab)=a2(bc)2a2,0<(a+bc)(b+ca)=b2(ac)2b2,0<(b+ca)(c+ab)=c2(ab)2c2, \begin{aligned} 0 < (a+b-c)(c+a-b) &= a^2 - (b-c)^2 \le a^2, \\ 0 < (a+b-c)(b+c-a) &= b^2 - (a-c)^2 \le b^2, \\ 0 < (b+c-a)(c+a-b) &= c^2 - (a-b)^2 \le c^2, \end{aligned}
and thus
0<(ab+c)2(ba+c)2(ca+b)2a2b2c2.(4) 0 < (a-b+c)^2(b-a+c)^2(c-a+b)^2 \le a^2b^2c^2. \quad (4)
From inequalities (3) and (4) follows the required inequality. \square

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.