giả sử a2+b2+c2 lớn hơn bằng ab+bc+ca=)a2+b2+c2-ab-bc-ca lớn hơn bằng 0
=)2.(a2+b2+c2-ab-bc-ca) lớn hơn bằng 0
=)2a2+2b2+2c2-2ab-2bc-2ca lớn hơn bằng 0
=)(a2-2ab+b2)+(b2-2bc+c2)+(c2-2ca+a2) lớn hơn bằng 0
=)(a-b)2+(b-c)2+(c-a)2 lớn hơn bằng 0 mà (a-b)2,(b-c)2,(c-a)2 luôn lớn hơn bằng 0
=)điều giả sử đúng =)điều phải chứng minh
giả sử a2+b2+c2 lớn hơn bằng ab+bc+ca=)a2+b2+c2-ab-bc-ca lớn hơn bằng 0
=)2.(a2+b2+c2-ab-bc-ca) lớn hơn bằng 0
=)2a2+2b2+2c2-2ab-2bc-2ca lớn hơn bằng 0
=)(a2-2ab+b2)+(b2-2bc+c2)+(c2-2ca+a2) lớn hơn bằng 0
=)(a-b)2+(b-c)2+(c-a)2 lớn hơn bằng 0 mà (a-b)2,(b-c)2,(c-a)2 luôn lớn hơn bằng 0
=)điều giả sử đúng =)điều phải chứng minh