MathLabs

Problem 2

Prove that every positive integer can be written as a finite sum of distinct integral powers of the golden mean ϕ=1+52\phi=\frac{1+\sqrt5}{2}. Here an integral power is ϕi\phi^i with ii an integer, not necessarily positive.
Step 3 of 5: Finish when the unit digit is zero
a0=0⟹N=(N−1)+ϕ0a_0=0\Longrightarrow N=(N-1)+\phi^0
Detailed analysis

If the normalized expansion of N−1N-1 has a0=0a_0=0, then adding ϕ0=1\phi^0=1 gives NN as a sum of distinct integral powers: exponent zero was absent, so no term is repeated.