由于使 P=(a−b)(b−c)(c−d)(d−a)P=(a-b)(b-c)(c-d)(d-a)P=(a−b)(b−c)(c−d)(d−a) 取负值的 444 元组显然存在,故 PPP 的最小值严格为负。若 s=(a+b+c+d)/4≠0s=(a+b+c+d)/4\ne0s=(a+b+c+d)/4=0,将每个变量平移 −s-s−s 不改变各差(从而不改变 PPP),但使 a2+b2+c2+d2a^2+b^2+c^2+d^2a2+b2+c2+d2 严格减小为 1−4s2<11-4s^2<11−4s2<1;再把平移后的四元组乘以 (1−4s2)−1/2>1(1-4s^2)^{-1/2}>1(1−4s2)−1/2>1 即可恢复平方和为1,同时把负数 PPP 乘以 (1−4s2)−2>1(1-4s^2)^{-2}>1(1−4s2)−2>1 使其更小。因此任何极小点必满足 a+b+c+d=0a+b+c+d=0a+b+c+d=0。