Problem 2
Prove that every positive integer can be written as a finite sum of distinct integral powers of the golden mean . Here an integral power is with an integer, not necessarily positive.
Step 1 of 5: Record the golden-mean identity
Detailed analysis
The defining quadratic for gives . This identity lets us replace two adjacent 1-coefficients at exponents and by one coefficient at exponent .