タグ

○に関するhystericgrammarのブックマーク (4)

  • stoj.io

    This domain may be for sale!

    stoj.io
  • 展覧会の記録

    hystericgrammar
    hystericgrammar 2017/01/08
    Circles 円の終わりは円の始まり 会期=2017年1月18日[水]―2月4日[土]  12:00-19:00 ※日・月・祝日休廊
  • リンデマンの定理 - Wikipedia

    リンデマンの定理(リンデマンのていり、Lindemann's theorem)は、1882年にフェルディナント・フォン・リンデマンが証明した、超越数論における定理の一つである。この定理は、円周率やネイピア数などの数が超越数であることを内包する。1885年のカール・ワイエルシュトラスによる寄与を踏まえ、リンデマン=ワイエルシュトラスの定理 (Lindemann–Weierstrass theorem) とも呼ばれる。 定理の主張[編集] α1, …, αn が相異なる代数的数であるとき、eα1, …, eαn は Q 上一次独立である[1](e はネイピア数)。すなわち、 を満たす代数的数の組 (c1, …, cn) は (0, …, 0) のみである。 同値な命題として、次のように定式化されることもある。α1, …, αn が Q 上一次独立な代数的数であるとき、eα1, …, eαn は

    リンデマンの定理 - Wikipedia
  • 円周率の無理性の証明 - Wikipedia

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

  • 1