MathLabs

Problem 3

To each vertex of a regular pentagon an integer is assigned, with positive total sum. If three consecutive vertices carry x,y,zx,y,z and y<0y<0, replace them by x+y,−y,z+yx+y,-y,z+y. This operation is repeated whenever some number is negative. Must the procedure always end after finitely many steps?
Step 3 of 4: Compute one move
In plain words

Only the local triple changes, but cyclic expansion lets all terms cancel except a simple multiple of the total sum.

(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)
Detailed analysis

Assume the negative middle entry is x4<0x_4<0, so the move is (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). Expanding the ten squares and cancelling gives fnew−fold=2Sx4f_{\rm new}-f_{\rm old}=2Sx_4.