(a+b+c) の平方≥3(ab+bc+ca) なので、より強い (a の平方+2)(b の平方+2)(c の平方+2)≥3(a+b+c) の平方を示せば十分である。移項すると、これは a に関する表示の二次式 F(a)≥0 となる。