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: Show the absolute value decreases
In plain words

The positive total places u+2yu+2y strictly between −u-u and uu.

−u<u+2y<u-u<u+2y<u
Detailed analysis

The upper inequality u+2y<uu+2y<u follows from y<0y<0. The lower inequality u+2y>−uu+2y>-u is equivalent to u+y>0u+y>0, namely S>0S>0. Hence ∣u+2y∣<u=∣u∣|u+2y|<u=|u|, so TT strictly decreases.