This domain may be for sale!
![stoj.io](https://cdn-ak-scissors.b.st-hatena.com/image/square/fffedb852fa55b8bdf8451c7b572d29f39e4c206/height=288;version=1;width=512/http%3A%2F%2Fstoj.io%2Fassets%2Fstoj.jpg)
リンデマンの定理(リンデマンのていり、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 は
円周率の無理性の証明(えんしゅうりつのむりせいのしょうめい)は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない[1]。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。 歴史[編集] 円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツの数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示 を用いて、初めて円周率の無理性を示した[2]。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン=マリ・ルジャンドルは厳密な証明を与え、さらに π2 も無理数であることを発見した。したがって
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く