Suppose that a,b,c>0 and a+b+c=3. Prove that a2+b2+c2+6abc≤9.
Solution
We may homogenise in two steps the inequality we wish to show. First, we use (a+b+c)2=9 to replace the RHS and obtain the equivalent inequality a2+b2+c2+6abc≤(a+b+c)2=a2+b2+c2+2(ab+bc+ca)+3abc. This is equivalent to 3abc≤ab+bc+ca. We now multiply by 3=a+b+c to obtain the equivalent inequality 9abc≤(a+b+c)(ab+bc+ca)=a2b+ab2+b2c+bc2+c2a+a2c+3abc, i.e., 6abc≤a2b+ab2+b2c+bc2+c2a+a2c, or 6≤ba+ab+cb+bc+ac+ca, which immediately follows from the AM-GM inequality.
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.