关于齐肯多夫分解中加数个数

齐肯多夫证明了每个正整数都可以唯一地表示为若干个不连续的斐波那契数之和。在得到这一结论后，自然会问需要多少个加数。利用连分数方法，莱克克克证明了区间$[F_n, F_{n+1})$内整数所需的平均加数个数为$n / (\varphi^2 + 1) + O(1)$，其中$\varphi = \frac{1+\sqrt{5}}2$是黄金分割比。令人惊讶的是，似乎没有人研究过加数个数的分布；我们的主要结果是，当$n\to\infty$时，该分布收敛于高斯分布。此外，这一结果不仅适用于斐波那契数，也适用于许多其他问题，例如具有非负整数系数的线性递推关系（这是数的B进制展开的推广）以及远差表示。通常，证明过程需要采用组合学观点，并通过部分分式展开和微分恒等式来分析由此产生的生成函数。由此产生的论证变得相当技术性；本文的目的是专注于斐波那契数这一特殊且最有趣的情况，其中障碍消失，证明仅需一些组合学和斯特林公式即可完成；一般情况下的证明见[MW]。