Library / /283 of 520
Algebra Difficulty 6.7 National olympiad Prove it
Example 8 Non-negative real numbers a,b,c satisfy bc+ca+ab=3. Prove:
1+a2(b+c)1+1+b2(a+c)1+1+c2(a+b)1⩽1+2abc3.
Solution
⇔⇔⇔cyc ∑1+a2(b+c)1⩽1+2abc3⇔cyc ∑(1+2abc1−1+a2(b+c)1)⩾0cyc ∑1+a2(b+c)a2(b+c)−2abc⩾0⇔cyc ∑1+a2(b+c)ac(a−b)−ab(c−a)⩾0cyc ∑(a−b)(1+a2(b+c)ac−1+b2(a+c)bc)⩾0cyc ∑(1+a2(b+c))(1+b2(a+c))c(1−abc)(a−b)2⩾0.
In fact, by 3bc+ca+ab⩾3a2b2c2, we know that 1−abc⩾0.
Therefore, equation (8) 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.