变换 (x,y)↦(2y,x−y)(x,y)\mapsto(2y,x-y)(x,y)↦(2y,x−y) 保持 x+yx+yx+y 不变,特征值为 1,−21,-21,−2。反复第3步得到同一直线上的无穷多个点 (x+d,y−d)(x+d,y-d)(x+d,y−d),所以关于 ddd 的多项式 Q(x+d,y−d)−Q(x,y)Q(x+d,y-d)-Q(x,y)Q(x+d,y−d)−Q(x,y) 有无穷多个根并恒为零。故对任意实数 ddd 有 Q(x+d,y−d)=Q(x,y)Q(x+d,y-d)=Q(x,y)Q(x+d,y−d)=Q(x,y)。