即证明a²+b²+c²-ab-bc-ac≥0
即证明2a²+2b²+2c²-2ab-2bc-2ac≥0
即证明(a²-2ab+b²)+(b²-2bc+c²)+(c²-2ac+a²)≥0
即证明(a-b)²+(b-c)²+(c-a)²≥0
这个显然成立
且以上每步都可逆
所以原不等式成立
即证明a²+b²+c²-ab-bc-ac≥0
即证明2a²+2b²+2c²-2ab-2bc-2ac≥0
即证明(a²-2ab+b²)+(b²-2bc+c²)+(c²-2ac+a²)≥0
即证明(a-b)²+(b-c)²+(c-a)²≥0
这个显然成立
且以上每步都可逆
所以原不等式成立