Library / /316 of 520
Algebra Difficulty 6.9 National olympiad Prove it
Example 11 Proof: For non-negative real numbers a,b,c, we have
cyc∑2(a2+b2)⩾39cyc∑(a+b)3.
Solution
∑cyc2(a2+b2)−39∑cyc(a+b)3=∑cyc(2(a2+b2)−a−b)−(39∑cyc(a+b)3−2(a+b+c))=∑cyca+b+2(a2+b2)(a−b)2−(39∑cyc(a+b)3)2+2(a+b+c)39∑cyc(a+b)3+4(a+b+c)2∑cyc(18a3+27a2b+27a2c)−8(a+b+c)3=∑cyc(a−b)2(a+b+2(a2+b2)1−(39∑cyc(a+b)3)2+2(a+b+c)39∑cyc(a+b)3+4(a+b+c)25a+5b+8c)⩾∑cyc(a−b)2(a+b+1.5(a+b)1−(3∑cyc(a+b)2)2+4(a+b+c)2+4(a+b+c)25a+5b+8c)=∑cyc(a−b)2(5(a+b)2−∑cyc(14a2+22ab)5a+5b+8c)=∑cyc10(a+b)∑cyc(7a2+11ab)(a−b)2(4c(7c+a+b)+3(a−b)2)⩾0,
Therefore, 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.