後の証明とは? わかりやすく解説

後の証明

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/14 04:54 UTC 版)

アペリーの定理」の記事における「後の証明」の解説

アペリーの結果から一年経たないうちに別の証明がFrits Beukers(英語版)によって見つかった。彼はアペリーの級数ずらしルジャンドル多項式 P n ~ ( x ) {\displaystyle {\tilde {P_{n}}}(x)} を含む積分置き換えた。後にHadjicostas's formula英語版)へと一般化されることになる表現用いて、ある整数 An と Bn数列 A171484 および A171485)に対して0 10 1log ⁡ ( x y ) 1 − x y P n ~ ( x ) P n ~ ( y ) d x d y = A n + B n ζ ( 3 ) lcm ⁡ [ 1 , … , n ] 3 {\displaystyle \int _{0}^{1}\!\!\int _{0}^{1}{\frac {-\log(xy)}{1-xy}}{\tilde {P_{n}}}(x){\tilde {P_{n}}}(y)\,dxdy={\frac {A_{n}+B_{n}\zeta (3)}{\operatorname {lcm} \left[1,\ldots ,n\right]^{3}}}} となることを Beukers は示した部分積分と、ζ(3)有理数 a/b に等しいという仮定用いて、Beukers は最終的に次の不等式導出した: 0 < 1 b ≤ | A n + B n ζ ( 3 ) | ≤ 4 ( 4 5 ) n . {\displaystyle 0<{\frac {1}{b}}\leq \left|A_{n}+B_{n}\zeta (3)\right|\leq 4\left({\frac {4}{5}}\right)^{n}.} 最右辺は 0 に収束するからいずれ 1/b を下回り、これは矛盾である。 Wadim Zudilin(英語版)によるより最近の証明はアペリーのオリジナルの証明をより思い起こさせるものであり、Yuri Nesterenko英語版)による第四の証明とも類似している。後のこれらの証明は再びある正の定数上であるのに 0 に収束する数列構成することによって ζ(3)有理数であるという仮定から矛盾を導く。超幾何級数使っていて、それらは早期の証明よりもいくぶん分かりづらい。

※この「後の証明」の解説は、「アペリーの定理」の解説の一部です。
「後の証明」を含む「アペリーの定理」の記事については、「アペリーの定理」の概要を参照ください。

ウィキペディア小見出し辞書の「後の証明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「後の証明」の関連用語

後の証明のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



後の証明のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのアペリーの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS