Proof workshop
Complete proof
Base case. S(0) = 0, while 0·N + g·0(0 − 1)/2 = 0.
Induction hypothesis. Suppose S(k) = kN + gk(k − 1)/2 for some k ≥ 0.
Next rotation. Rotation k + 1 has circumference N + kg. Hence
This is the original formula with k replaced by k + 1. Therefore it holds for every nonnegative integer k. ∎