すると、示すべき不等式は(x−y)+zt(x−z)(y−z)≥0{\displaystyle(x-y)+z^{t}(x-z)(y-z)\geq0}と変形できるが、左辺の各項は明らかに非負である。
对t分类讨论:t≥0{\displaystylet\geq0}时,(x−y)+zt(x−z)(y−z)≥0{\displaystyle(x-y)+z^{t}(x-z)(y-z)\geq0\,}显然成立，这是因为左边的每一项都是非负的。