π が無理数であることを使った証明
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 23:37 UTC 版)
「素数が無数に存在することの証明」の記事における「π が無理数であることを使った証明」の解説
ライプニッツの公式をオイラー積の形で表すと π 4 = 3 4 × 5 4 × 7 8 × 11 12 × 13 12 × 17 16 × 19 20 × 23 24 × 29 28 × 31 32 × ⋯ {\displaystyle {\frac {\pi }{4}}={\frac {3}{4}}\times {\frac {5}{4}}\times {\frac {7}{8}}\times {\frac {11}{12}}\times {\frac {13}{12}}\times {\frac {17}{16}}\times {\frac {19}{20}}\times {\frac {23}{24}}\times {\frac {29}{28}}\times {\frac {31}{32}}\times \cdots \;} この積の分子は奇素数であり、分母はそれぞれに対応する分子に一番近い 4 の倍数である。もし素数が有限個ならば π は有理数として表すことができる。しかし π は無理数なので、背理法より素数は無限に存在する。
※この「π が無理数であることを使った証明」の解説は、「素数が無数に存在することの証明」の解説の一部です。
「π が無理数であることを使った証明」を含む「素数が無数に存在することの証明」の記事については、「素数が無数に存在することの証明」の概要を参照ください。
ウィキペディア小見出し辞書の「π が無理数であることを使った証明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- π が無理数であることを使った証明のページへのリンク
