Ukrainian National Mathematical Olympiad, 3rd Round
AlgebraDifficulty 4.9AIMEProve itUkraine
For nonnegative real numbers a,b,c, with the sum that does not exceed 2, prove ab(a2+b2)+bc(b2+c2)+ca(c2+a2)≤2.
Solution
It is enough to prove the inequality for a+b+c=2. Let us denote x=ab+bc+ac, then a2+b2+c2=(a+b+c)2−2(ab+bc+ac)=4−2(ab+bc+ac)=2(2−x). From the obvious inequality x(2−x)≤1, we get 2+2abc≥2≥2x(2−x)=(ab+bc+ac)(a2+b2+c2)==ab(a2+b2)+cb(c2+b2)+ac(a2+c2)+abc(a+b+c), Using the equality 2abc=abc(a+b+c), we arrive at the conclusion.
Equality occurs, for example, a=b=1, c=0.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.