[论文解读] Infinite arctangent sums involving Fibonacci and Lucas numbers

Kunle Adegoke|arXiv (Cornell University)|Mar 26, 2016

Advanced Mathematical Theories and Applications参考文献 3被引用 5

一句话总结

本文利用初等三角恒等式及斐波那契数列与卢卡斯数列的性质，推导出涉及斐波那契数与卢卡斯数的新无穷反正切求和公式。主要贡献在于系统性地推导出广义的反正切恒等式，统一并拓展了已知结果，其中特殊情形可导出 π/2、π/3 和 π/4 等闭式解。

ABSTRACT

Using a straightforward elementary approach, we derive numerous infinite arctangent summation formulas involving Fibonacci and Lucas numbers. While most of the results obtained are new, a couple of celebrated results appear as particular cases of the more general formulas derived here.

研究动机与目标

• 推导涉及斐波那契数与卢卡斯数的新无穷反正切求和公式。
• 将先前已知的反正切恒等式推广为更广泛、更全面的形式。
• 通过初等方法，在单一系统框架下统一文献中著名的结论。
• 探索反正切级数的特殊值，其收敛于 π/2、π/3 和 π/4 等已知常数。
• 建立反正切级数、卢卡斯数与斐波那契数恒等式及其乘积之间的联系。

提出的方法

• 使用反正切加法公式：$\tan^{-1}\left(\frac{\lambda(y-x)}{xy + \lambda^2}\right) = \tan^{-1}(\lambda/x) - \tan^{-1}(\lambda/y)$，该公式在特定符号与大小条件下成立。
• 应用连接斐波那契数与卢卡斯数的基本恒等式，如 $F_{u-v}F_{u+v} = F_u^2 - (-1)^{u-v}F_v^2$ 和 $L_u L_v = L_{u+v} + (-1)^u L_{v-u}$。
• 使用基于递推的恒等式：$F_{2u} = F_u L_u$，$L_{2u} = L_u^2 - 2(-1)^u$，以及 $5F_u^2 - L_u^2 = 4(-1)^{u+1}$。
• 引入广义斐波那契数列 $G_i$，其中 $G_0, G_1$ 为参数，当初始值取特定值时，退化为 $F_i$ 或 $L_i$。
• 将广义反正切恒等式应用于序列 $G_{mr+n}$ 与 $G_{mr+n-m}$，从而推导出无穷级数恒等式。
• 通过代入 $\lambda$、$p$、$k$ 与 $j$ 的特定值，推导出闭式求和结果。

实验结果

研究问题

• RQ1 能否利用初等三角恒等式，系统性地推导出涉及斐波那契数与卢卡斯数的无穷反正切和？
• RQ2 广义斐波那契数列 $G_i$（其中 $G_0, G_1$ 为任意值）如何促进更广泛反正切恒等式的推导？
• RQ3 当在推导出的恒等式中代入特定参数（$\lambda$、$p$、$k$、$j$）时，会涌现出哪些特殊值？
• RQ4 已知的著名结果（例如 $\sum \tan^{-1}(1/F_{2r+1}) = \tan^{-1}(1/F_{2k})$）能否作为更一般公式的特例被恢复？
• RQ5 当参数 $j \to \infty$ 时，所推导的反正切级数的极限行为如何？

主要发现

• 本文推导出恒等式 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{F_{2j}^2 L_{4jr+2j}}{F_{4jr+2j}^2}\right) = \tan^{-1}\left(\frac{1}{L_{2j}}\right)$，对所有非零整数 $j$ 成立。
• 建立了 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{L_{4r-2}}{F_{4r-2}^2}\right) = \frac{\pi}{2}$，这是一个收敛于 $\pi/2$ 的显著特殊值。
• 作为特例，推导出恒等式 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{\sqrt{3}L_{2r}}{L_{4r}}\right) = \frac{\pi}{3}$。
• 证明了 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{1}{5} \frac{L_{2r}}{F_{2r}^2}\right) = \frac{\pi}{4}$，这是一个重要的常数和结果。
• 证明了 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{\sqrt{5} F_{2r-1}}{L_{2r-1}^2}\right) = \frac{\pi}{2}$，这是另一个精确的常数和恒等式。
• 推导出极限 $\lim_{j \to \infty} \sum_{r=1}^{\infty} \tan^{-1}\left(\frac{F_{4j}}{F_{4jr+2k-1}}\right) = \tan^{-1}(\phi^{-(2k-1)})$，将级数与黄金比例联系起来。