只有局部三个数改变,但按循环展开后大部分项抵消,只剩总和的一个简单倍数。
设中间的负数为 x4<0x_4<0x4<0,则操作为 (x3,x4,x5)↦(x3+x4,−x4,x5+x4)(x_3,x_4,x_5)\mapsto(x_3+x_4,-x_4,x_5+x_4)(x3,x4,x5)↦(x3+x4,−x4,x5+x4)。展开十个平方并抵消,得到 fnew−fold=2Sx4f_{\rm new}-f_{\rm old}=2Sx_4fnew−fold=2Sx4。