タグ

円周率とwikipediaに関するItisangoのブックマーク (2)

  • 円周率の無理性の証明 - Wikipedia

    円周率の無理性の証明(えんしゅうりつのむりせいのしょうめい)は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない[1]。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。 円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツ数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示 を用いて、初めて円周率の無理性を示した[2]。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン=マリ・ルジャンドルは厳密な証明を与え、さらに π2 も無理数であることを発見した。したがってルジャンドルは

    Itisango
    Itisango 2010/09/11
    読んでも解らんorz
  • ガウス=ルジャンドルのアルゴリズム - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ガウス=ルジャンドルのアルゴリズム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2016年3月) ガウス=ルジャンドルのアルゴリズム(英語: Gauss–Legendre algorithm)は、円周率を計算する際に用いられる数学の反復計算アルゴリズムである。円周率を計算するものの中では非常に収束が速く、2009年にこの式を用いて2,576,980,370,000桁(約2兆6000億桁)の計算がなされた。 このアルゴリズムはカール・フリードリヒ・ガウスとアドリアン=マリ・ルジャンドルがそれぞれ別個に研究したものである。これは2つの数値

    Itisango
    Itisango 2010/09/11
    "2009年にこの式を用いて2,576,980,370,000桁(約2兆6000億桁)の計算がされた。"
  • 1