由于 (a+b+c) 的平方≥3(ab+bc+ca),只需证明更强的不等式 (a 的平方+2)(b 的平方+2)(c 的平方)≥3(a+b+c) 的平方。移项后即为显示的关于 a 的二次式 F(a)≥0。