MathLabs

第2题

证明每个正整数都能写成黄金比 ϕ=1+52\phi=\frac{1+\sqrt5}{2} 的有限个互不相同整数次幂之和。这里整数次幂指 ϕi\phi^i,其中 ii 为不必为正的整数。
第 4/5 步:把指数零处的 1 进位移开
⋯1.00⋯=⋯0.11⋯ ,1=ϕ−1+ϕ−2\cdots1.00\cdots=\cdots0.11\cdots,\qquad 1=\phi^{-1}+\phi^{-2}
详细分析

设 a0=1a_0=1。若其右边紧接两个零,用 1=ϕ−1+ϕ−21=\phi^{-1}+\phi^{-2} 把块 1.001.00 换成 0.110.11,于是 a0=0a_0=0。若右边以 01000100 开头,先把 01000100 改写为 00110011,再使用相邻 1111 的恒等式;重复此操作,直到末端出现 100100。再作同样进位即可得到 a0=0a_0=0 且无相邻 1 的展开。