[論文レビュー] Elementary proofs of generalized continued fraction formulae for $e$

Zhentao Lu|arXiv (Cornell University)|Jul 12, 2019

History and Theory of Mathematics参考文献 2被引用数 6

ひとこと要約

本稿では、数学定数 e の2つの一般化連分数表現について、初等的な証明を提示する。1つは古くから知られているものであり、もう1つは機械学習を用いて最近発見されたものである。収束項の分子 $ A_n $ と分母 $ B_n $ に対する再帰的数列を用い、閉形式式の帰納的検証により、両連分数が e に収束することを確立している。これは、基本的な解析および記号計算技法を用いた、このような公式の検証に向けた体系的で効果的なアプローチを示している。

ABSTRACT

In this short note we prove two elegant generalized continued fraction formulae $$e= 2+\cfrac{1}{1+\cfrac{1}{2+\cfrac{2}{3+\cfrac{3}{4+\ddots}}}}$$ and $$e= 3+\cfrac{-1}{4+\cfrac{-2}{5+\cfrac{-3}{6+\cfrac{-4}{7+\ddots}}}}$$ using elementary methods. The first formula is well-known, and the second one is newly-discovered in arXiv:1907.00205 [cs.LG]. We then explore the possibility of automatic verification of such formulae using computer algebra systems (CAS's).

研究の動機と目的

• e を表す2つの一般化連分数公式について、初等的かつ自己完結的な証明を提供すること。
• 数値的に最近発見された連分数を、厳密な数学的帰納法を用いて検証すること。
• e のような定数の一般化連分数公式を検証するための体系的かつ計算的に実行可能なワークフローを確立すること。
• 記号計算システムがこのような数学的恒等式の発見および検証にどのように役立つかを示すこと。

提案手法

• 標準的な連分数理論を用いて、収束項の分子 $ A_n $ と分母 $ B_n $ に対する再帰関係を導出する。
• 補助的数列を用いて帰納法のステップを簡略化する形で、$ A_n $ および $ B_n $ の閉形式式を数学的帰納法で証明する。
• 再帰関係を和の形に変換し、無限極限をとるのを容易にする。
• 特に $ \sum_{k=0}^\infty \frac{1}{k!} = e $ という既知の級数展開を用いて、収束項の極限を評価する。
• WolframAlpha および OEIS を用いて閉形式を推測・確認する5段階のワークフローを提案する。
• 記号計算を活用して、連分数の収束が e に一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 よく知られた一般化連分数 $ e = 2 + \cfrac{1}{1 + \cfrac{1}{2 + \cfrac{2}{3 + \cdots}}} $ は、初等的手法および帰納的推論を用いて証明可能か？
• RQ2 最近発見された連分数 $ e = 3 + \cfrac{-1}{4 + \cfrac{-2}{5 + \cdots}} $ は数学的に正当であり、初等的技法で証明可能か？
• RQ3 e のような定数の一般化連分数公式を検証するための体系的アプローチは何か？
• RQ4 記号計算システムは、このような公式の発見および検証にどのように支援できるか？

主な発見

• 最初の連分数 $ e = 2 + \cfrac{1}{1 + \cfrac{1}{2 + \cfrac{2}{3 + \cdots}}} $ は、$ A_n = n+2 $ および $ B_n $ の導出式に対する帰納的検証により、e に収束することを厳密に証明した。
• 2番目の公式 $ e = 3 + \cfrac{-1}{4 + \cfrac{-2}{5 + \cdots}} $ は、$ B_n = (n+1) \cdot (n+1)! $ および $ A_n = \sum_{k=0}^{n+1} (k+1)! \binom{n+1}{k} $ を示すことで検証された。極限により e が得られる。
• 2番目の公式の収束項 $ \frac{A_n}{B_n} $ は、指数関数級数の部分和の組み合わせとして表現されることで、e に収束することが示された。
• 両連分数について $ \lim_{n \to \infty} \frac{A_n}{B_n} = e $ が確立され、公式の正しさが確認された。
• 提案されたワークフローにより、記号計算、数列の推測、帰納的証明を組み合わせた自動検証が可能になった。