ab+bc+ca \(\le\) a^2+b^2+c^2
<=> a^2+b^2+c^2-ab-bc-ca \(\ge\) 0
<=> 2a^2 + 2b^2 + 2c^2 - 2ab - 2bc - 2ca \(\ge\) 0
<=> (a^2+b^2-2ab) + (b^2+c^2-2bc) + (c^2+a^2-2ca) \(\ge\)0
<=> (a-b)^2 + (b-c)^2 + (c-a)^2 \(\ge\)0, luôn đúng
a^2+b^2+c^2 < 2(ab+bc+ca)
<=> a^2+b^2+c^2-2ab-2bc-2ca < 0
<=> (a^2+b^2-2ab) + (b^2+c^2-2bc) + (c^2+a^2-2ca) - a^2 - b^2 - c^2 < 0
<=> (a-b)^2 + (b-c)^2 + (c-a)^2 - a^2 - b^2 - c^2 < 0, luôn đúng
Ta co đpcm
a,b,c > 0
Áp dụng bđt AM-GM : a2+b2 \(\ge\) 2ab , b2+c2 \(\ge\) 2bc , c2+a2 \(\ge\) 2ca
Cộng theo vế : 2(a2+b2+c2) \(\ge\) 2(ab+bc+ac) => a2+b2+c2 \(\ge\) ab+bc+ca
theo bđt tam giác : a+b > c =>c(a+b) > c2 =>ac+bc > c2
b+c>a => ab+ac > a2,a+c > b=>ab+bc > b2
Cộng theo vế : 2(ab+bc+ac) > a2+b2+c2
