MathLabs

第2题

证明每个正整数都能写成黄金比 ϕ=1+52\phi=\frac{1+\sqrt5}{2} 的有限个互不相同整数次幂之和。这里整数次幂指 ϕi\phi^i,其中 ii 为不必为正的整数。
第 2/5 步:标准化展开
N=∑i=−kkaiϕi,ai∈{0,1},aiai+1=0N=\sum_{i=-k}^{k}a_i\phi^i,\qquad a_i\in\{0,1\},\quad a_i a_{i+1}=0
详细分析

由归纳假设,N−1N-1 有有限展开 ∑aiϕi\sum a_i\phi^i,其中 ai∈{0,1}a_i\in\{0,1\}。反复用 ϕi+1+ϕi=ϕi+2\phi^{i+1}+\phi^i=\phi^{i+2} 替换最左边的相邻 1。最左相邻对移到更高指数,故过程终止,并得到对每个 ii 都有 aiai+1=0a_i a_{i+1}=0。