ta áp dụng cô-si la ra
a^2+b^2+c^2 ≥ ab+ac+bc
̣̣(a - b)^2 ≥ 0 => a^2 + b^2 ≥ 2ab (1)
(b - c)^2 ≥ 0 => b^2 + c^2 ≥ 2bc (2)
(a - c)^2 ≥ 0 => a^2 + c^2 ≥ 2ac (3)
cộng (1) (2) (3) theo vế:
2(a^2 + b^2 + c^2) ≥ 2(ab+ac+bc)
=> a^2 + b^2 + c^2 ≥ ab+ac+bc
dấu = khi : a = b = c
xét hiệu a^2+b^2+c^2-ab-ac-bc=1/2.2(a^2+b^2+c^2-ab-ac-bc)
=1/2(2a^2+2b^2+2c^2-2ab-2ac-2bc)
=1/2[(a^2-2ab+b^2)+(a^2-2ac+c^2)+(b^2-2bc+c^2)]
=1/2.[(a-b)^2+(a-c)^2+(b-c)^2]
vì (a-b)^2+(a-c)^2+(b-c)^2>=0
nên 1/2.[(a-b)^2+(a-c)^2+(b-c)^2]>=0
hay a^2+b^2+c^2-ab-ac-bc >=0<=> a^2+b^2+c^2>=ab+ac+bc