大前提：对于任意实数x、y，(x-y)2≥0小前提：对于任意实数a,b,c,结论：a2+b2+c2≥ab+bc+ca证明：根据大前提和小前提，(a-b)2≥0即a2-2ab+b2≥0,即a2+b2≥2ab；同理有b2+c2≥2bc,c2+a2≥2ca。将这三个不等式左边与左边相加，右边与右边相加，即得2a2+2b2+2c2≥2ab+2bc+2ca，两边同除以2即得所要证明的结论。
