Let a, b and c be non-negative real numbers. Prove that 3(a2+b2+c2)≥(a+b+c)(ab+bc+ca)+(a−b)2+(b−c)2+(c−a)2≥(a+b+c)2.
Solution
It is well-known that ab+bc+ca−a−b−c≤0, then we have ==≤(a+b+c)(ab+bc+ca)+(a−b)2+(b−c)2+(c−a)2(a+b+c)(ab+bc+ca)+3(a2+b2+c2)−(a+b+c)2(a+b+c)(ab+bc+ca−a−b−c)+3(a2+b2+c2)3(a2+b2+c2). To prove the other inequality, let a=x2, b=y2, c=z2 where x,y,z>0. The inequality can be rewritten as (x2+y2+z2)(xy+yz+zx)+∑x4≥4(x2y2+y2z2+z2x2) which is equivalent to ∑x4+xyz∑x+∑xy(x2+y2)≥4∑x2y2.(1) By Schur's inequality, we have ∑x2(x−y)(x−z)≥0 hence ∑x4+xyz∑x≥∑xy(x2+y2).(2) Note that by Cauchy's inequality, ∑xy(x2+y2)≥∑2x2y2,(3) then the result is followed from (1), (2) and (3). □
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: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.