リンデマンの定理

円周率
使用
円の面積 円周 他の数式での使用
特性
無理性 超越性
数値
22/7より小さい 近似 覚え方
人物(日本人)
関孝和 建部賢弘 金田康正 岩尾エマはるか
人物
アルキメデス 劉徽 祖沖之 アーリヤバタ マーダヴァ ルドルフ・ファン・コーレン ウィリアム・ジョーンズ ジョン・マチン ウィリアム・シャンクス シュリニヴァーサ・ラマヌジャン ジョン・レンチ（英語版） チュドノフスキー兄弟（英語版）
歴史
歴史 書籍 教育問題
文化
法律 記念日
関連項目
円積問題 バーゼル問題 ファインマン・ポイント
表 話 編 歴

数学記事シリーズ 数学定数 e 自然対数 · 指数関数 応用: 複利 · オイラーの等式 · オイラーの公式 · 半減期 · 指数増加/減衰 e の定義: e の無理性 · e の表現 · リンデマン–ワイエルシュトラスの定理 人物: ネイピア · オイラー シャヌエルの予想 (英語版)

リンデマンの定理（リンデマンのていり、Lindemann's theorem）は、1882年にフェルディナント・フォン・リンデマンが証明した、超越数論における定理の一つである。この定理は、円周率やネイピア数などの数が超越数であることを内包する。1885年のカール・ワイエルシュトラスによる寄与を踏まえ、リンデマン=ワイエルシュトラスの定理 (Lindemann–Weierstrass theorem) とも呼ばれる。

定理の主張

α₁, …, α_n が相異なる代数的数であるとき、e^α₁, …, e^α_n は Q 上一次独立である^[1]（e はネイピア数）。すなわち、

${\displaystyle c_{1}e^{\alpha _{1}}+\cdots +c_{n}e^{\alpha _{n}}=0}$

を満たす代数的数の組 (c₁, …, c_n) は (0, …, 0) のみである。

同値な命題として、次のように定式化されることもある。α₁, …, α_n が Q 上一次独立な代数的数であるとき、e^α₁, …, e^α_n は Q 上代数的独立である^[2]。

系

定理において、n = 2, α₁ = 0, α₂ = α ≠ 0 とすると、1 と e^α は Q 上一次独立である。すなわち、0 でない代数的数 α に対して e^α は超越数である。

特別な数の超越性

この定理より、いくつかの特別な数が超越数であることが直ちに従う。まず、系において α = 1 とすると、ネイピア数 e は超越数であることが分かる。

円周率 π が超越数であることは、次のようにして従う。π が代数的数であると仮定すると、iπ も代数的数であるから、系より e^iπ は超越数である。しかし、オイラーの公式より e^iπ = −1 であるから、これは矛盾である。したがって、π は超越数である。

0 でも 1 でもない代数的数 β に対して、log β は超越数である。これを見るために、log β が代数的数と仮定すると β = e^{log β} は系により超越数でなければならず、不合理。

0 でない代数的数 θ に対して、sin θ は超越数である。もしそうでなければ、γ := 2i sin θ は代数的数であり、オイラーの公式より 2i sin θ = e^iθ − e^−iθ であるから、γ − e^iθ + e^−iθ = 0 となる。これは、定理において n = 3, α₁ = 0, α₂ = iθ, α₃ = −iθ として得られる結果に矛盾する。よって、sin θ は超越数である。同様にして、${\displaystyle \cos \theta ={\frac {e^{i\theta }+e^{-i\theta }}{2}}}$ も超越数であることが分かる。

歴史

1873年、シャルル・エルミートは e が超越数であることを示した。このことを言い換えるならば、α₁, …, α_n が相異なる自然数であるとき、e^α₁, …, e^α_n は Q 上一次独立である。リンデマンの定理は、この結果の「自然数」を「代数的数」に、「Q 上」を「Q 上」に 拡張したものである。リンデマンは、1882年にこの定理を証明し、同時に円周率が超越数であること、円の正方形化が不可能であることを歴史上初めて解析的に証明した。1885年、カール・ワイエルシュトラスは、リンデマンの定理の証明を簡単にしたものを公表した。その後、ヒルベルトらがさらに証明を簡単にした。リンデマンの定理の p-進類似や、一般化であってゲルフォント＝シュナイダーの定理も含むシャヌエルの予想は、2009年現在未解決問題である。

脚注

参考文献

• 塩川宇賢『無理数と超越数』森北出版、1999年3月。ISBN 4-627-06091-2。 
• Beckmann, Petr (1976-07-15), History of Pi (3rd edition ed.), St. Martin's Press, ISBN 0-312-38185-9  - 超越性については主に第16章。
  • ペートル・ベックマン『πの歴史』田尾陽一・清水韶光 訳、筑摩書房〈ちくま学芸文庫〉、2006年4月10日。ISBN 4-480-08985-3。 

関連項目

外部リンク

• Weisstein, Eric W. "Hermite-Lindemann Theorem". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Lindemann-Weierstrass Theorem". mathworld.wolfram.com (英語).