Maths Olympiad Prep

Library / /458 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

11. In ABC\triangle A B C, prove that: tanA2+tanB2+tanC29Rr2S\tan \frac{A}{2}+\tan \frac{B}{2}+\tan \frac{C}{2} \leqslant \frac{9 R r}{2 S}. (where SS represents the area of ABC\triangle A B C) (Strengthened version of a problem from the 26th IMO Shortlist)

Solution

11. Let the three sides of ABC\triangle ABC be a,b,ca, b, c, then it is easy to prove
tanA2=a2(bc)24StanB2=b2(ca)24StanC2=c2(ab)24S\begin{array}{l} \tan \frac{A}{2}=\frac{a^{2}-(b-c)^{2}}{4 S} \\ \tan \frac{B}{2}=\frac{b^{2}-(c-a)^{2}}{4 S} \\ \tan \frac{C}{2}=\frac{c^{2}-(a-b)^{2}}{4 S} \end{array}

Thus, the original inequality becomes
a2(bc)2+b2(ca)2+c2(ab)218Rra^{2}-(b-c)^{2}+b^{2}-(c-a)^{2}+c^{2}-(a-b)^{2} \leqslant 18 R r

Make the substitution a=y+z,b=z+x,c=x+ya=y+z, b=z+x, c=x+y. Where x,y,zx, y, z are positive numbers.
Since S=12(a+b+c)r=abc4RS=\frac{1}{2}(a+b+c) r=\frac{a b c}{4 R}, we have Rr=abc2(a+b+c)=R r=\frac{a b c}{2(a+b+c)}= (y+z)(z+x)(x+y)4(x+y+z)\frac{(y+z)(z+x)(x+y)}{4(x+y+z)}. Thus, inequality (1) becomes
4(xy+yz+zx)9(y+z)(z+x)(x+y)4(x+y+z)8(xy+yz+zx)(x+y+z)9(y+z)(z+x)(x+y)6xyzy(z2+x2)+z(x2+y2)+x(y2+z2)\begin{array}{l} 4(x y+y z+z x) \leqslant \frac{9(y+z)(z+x)(x+y)}{4(x+y+z)} \Leftrightarrow \\ 8(x y+y z+z x)(x+y+z) \leqslant 9(y+z)(z+x)(x+y) \Leftrightarrow \\ 6 x y z \leqslant y\left(z^{2}+x^{2}\right)+z\left(x^{2}+y^{2}\right)+x\left(y^{2}+z^{2}\right) \end{array}

Since z2+x22zx,x2+y22xy,y2+z22yzz^{2}+x^{2} \geqslant 2 z x, x^{2}+y^{2} \geqslant 2 x y, y^{2}+z^{2} \geqslant 2 y z, we have 6xyzy(z2+x2)+6 x y z \leqslant y\left(z^{2}+x^{2}\right)+ z(x2+y2)+x(y2+z2)z\left(x^{2}+y^{2}\right)+x\left(y^{2}+z^{2}\right), thus the original inequality holds.

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.