通俗地说把一条循环链上的方程相加是一个经典技巧:每个 xi 在左边(处于二次式内)出现一次,在右边(线性地)出现一次,而循环移位保证右边的和只是同一批变量的重新排列,因此可以与左边的一部分相消。
把方程组的每个方程写出来,再把全部 n 个方程相加:∑i=1n(axi2+bxi+c)=∑i=1nxi+1=∑i=1nxi(下标是循环移动的,但覆盖的仍是同一组项)。把右边的和移到左边,得到 ∑i=1n(axi2+(b−1)xi+c)=0。定义 s(t)=at2+(b−1)t+c,这恰好就是 ∑i=1ns(xi)=0。