AlgebraDifficulty 7.5National olympiad, round 2Prove it
Example 1.38 For non-negative real numbers a,b,c where not two of them are zero at the same time, prove b+ca(a2−b2−c2+bc)+c+ab(b2−c2−a2+ca)+a+bc(c2−a2−b2+ab)⩾0
Solution
Prove that the original inequality is equivalent to ∑b+ca[a2+3bc−(b+c)2]⩾0⇔b+ca(a2+3bc)+c+ab(b2+3ca)+a+bc(c2+3ab)⩾2(ab+bc+ca)
Using the Cauchy-Schwarz inequality, Left side =a(b+c)a2(a2+3bc)+b(c+a)b2(b2+3ca)+c(a+b)c2(c2+3ab)⩾2(ab+bc+ca)(aa2+3bc+bb2+3ca+cc2+3ab)2
Thus, it suffices to prove aa2+3bc+bb2+3ca+cc2+3ab⩾2(ab+bc+ca)
Using the AM-GM inequality, we have ∑aa2+3bc=∑(b+c)a2+3bca(b+c)(a2+3bc)⩾2∑a2+3bc+(b+c)2a(b+c)(a2+3bc)
It remains to prove 2∑a2+3bc+(b+c)2a(b+c)(a2+3bc)⩾2∑ab⇔2∑a2+3bc+(b+c)2a(b+c)(a2+3bc)⩾∑a(b+c)
Let p=a2+b2+c2, then ⇔ 2∑p+5bca(b+c)(a2−b2−c2+bc)⩾0⇔∑p+5bca3(b+c)−a(b3+c3)⩾0⇔∑p+5bcab(a2−b2)−∑p+5bcca(c2−a2)⩾0⇔∑p+5bcab(a2−b2)−∑p+5caab(a2−b2)⩾0⇔5abc∑(p+5bc)(p+5ca)(a−b)2(a+b)⩾0
This is clearly true, with equality holding if and only if a=b=c or a=b,c=0 cyclically.
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.