Maths Olympiad Prep

Library / /454 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Example 12 (Original Problem, 2003.09.25) In ABC\triangle A B C, the lengths of the three sides are a,b,ca, b, c, then
4b3c3(b+c)2(a+b+c)2(ab+c)(a+bc)4 b^{3} c^{3} \geqslant(b+c)^{2}(-a+b+c)^{2}(a-b+c)(a+b-c)

Equality in (18) holds if and only if ABC\triangle A B C is an equilateral triangle.

Solution

Proof
(17)4b3c3(b+c)2[c2(ab)2][b2(ca)2] (17) \Leftrightarrow 4 b^{3} c^{3} \geqslant(b+c)^{2}\left[c^{2}-(a-b)^{2}\right]\left[b^{2}-(c-a)^{2}\right] \Leftrightarrow
4b3c3b2c2(b+c)2+(b+c)2(ab)2(ca)2 4 b^{3} c^{3} \geqslant b^{2} c^{2}(b+c)^{2}+(b+c)^{2}(a-b)^{2}(c-a)^{2}-
b2(b+c)2(ba)2c2(b+c)2(ca)2 b^{2}(b+c)^{2}(b-a)^{2}-c^{2}(b+c)^{2}(c-a)^{2} \Leftrightarrow
b2(b+c)2(ba)2+c2(b+c)2(ca)2 b^{2}(b+c)^{2}(b-a)^{2}+c^{2}(b+c)^{2}(c-a)^{2} \geqslant
b2c2(bc)2+(b+c)2(ab)2(ca)2 b^{2} c^{2}(b-c)^{2}+(b+c)^{2}(a-b)^{2}(c-a)^{2} \Leftrightarrow
[b3(b+c)(ba)2+b3c(ba)2+b2c2(ba)2]+ \left[b^{3}(b+c)(b-a)^{2}+b^{3} c(b-a)^{2}+b^{2} c^{2}(b-a)^{2}\right]+
[c3(b+c)(ca)2+bc3(ca)2+b2c2(ca)2] \left[c^{3}(b+c)(c-a)^{2}+b c^{3}(c-a)^{2}+b^{2} c^{2}(c-a)^{2}\right] \geqslant
[b2c2(ba)2+b2c2(ac)2+2b2c2(ba)(ac)]+ \left[b^{2} c^{2}(b-a)^{2}+b^{2} c^{2}(a-c)^{2}+2 b^{2} c^{2}(b-a)(a-c)\right]+
(b+c)2(ba)2(ca)2 (b+c)^{2}(b-a)^{2}(c-a)^{2} \Leftrightarrow
[b3(b+c)(ba)2+c3(b+c)(ca)2(b+c)2(ba)2(ca)2]+ \left[b^{3}(b+c)(b-a)^{2}+c^{3}(b+c)(c-a)^{2}-(b+c)^{2}(b-a)^{2}(c-a)^{2}\right]+
bc[b2(ba)2+c2(ca)2+2bc(ba)(ca)]0 b c\left[b^{2}(b-a)^{2}+c^{2}(c-a)^{2}+2 b c(b-a)(c-a)\right] \geqslant 0 \Leftrightarrow
(b+c)[b(b+ca)(bc+a)(ba)2+ (b+c)\left[b(b+c-a)(b-c+a)(b-a)^{2}+\right.
c(c+ba)(cb+a)(ca)2]+ \left.c(c+b-a)(c-b+a)(c-a)^{2}\right]+
bc[b(ba)+c(ca)]20 b c[b(b-a)+c(c-a)]^{2} \geqslant 0
This inequality is obviously true.
Note 1. Equation (18) is equivalent to
2Rwaa(a+b+c) 2 R w_{a} \geqslant a(-a+b+c)
where R R is the circumradius of ABC \triangle ABC , and wa w_{a} is the angle bisector of side a a .

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.