リンデマンの定理

リンデマンの定理（リンデマンのていり、Lindemann's theorem）は、1882年にフェルディナント・フォン・リンデマンが証明した、超越数論における定理の一つである。この定理は、円周率やネイピア数などの数が超越数であることを内包する。1885年のカール・ワイエルシュトラスによる寄与を踏まえ、リンデマン=ワイエルシュトラスの定理 (Lindemann–Weierstrass theorem) とも呼ばれる。 
定理の主張.
 が相異なる代数的数であるとき、 は 上一次独立である（ はネイピア数）。すなわち、
を満たす代数的数の組 は のみである。
同値な命題として、次のように定式化されることもある。 が 上一次独立な代数的数であるとき、 は 上代数的独立である。
系.
定理において、, , とすると、 と は 上一次独立である。すなわち、 でない代数的数 に対して は超越数である。
特別な数の超越性.
この定理より、いくつかの特別な数が超越数であることが直ちに従う。まず、系において とすると、ネイピア数 は超越数であることが分かる。
円周率 が超越数であることは、次のようにして従う。 が代数的数であると仮定すると、 も代数的数であるから、系より は超越数である。しかし、オイラーの公式より であるから、これは矛盾である。したがって、 は超越数である。
 でも でもない代数的数 に対して、 は超越数である。これを見るために、 が代数的数と仮定すると は系により超越数でなければならず、不合理。
 でない代数的数 に対して、 は超越数である。もしそうでなければ、 は代数的数であり、オイラーの公式より であるから、 となる。これは、定理において , , , として得られる結果に矛盾する。よって、 は超越数である。同様にして、formula_2 も超越数であることが分かる。
歴史.
1873年、シャルル・エルミートは が超越数であることを示した。このことを言い換えるならば、 が相異なる自然数であるとき、 は 上一次独立である。リンデマンの定理は、この結果の「自然数」を「代数的数」に、「 上」を「 上」に 拡張したものである。リンデマンは、1882年にこの定理を証明し、同時に円周率が超越数であること、円の正方形化が不可能であることを歴史上初めて解析的に証明した。1885年、カール・ワイエルシュトラスは、リンデマンの定理の証明を簡単にしたものを公表した。その後、ヒルベルトらがさらに証明を簡単にした。リンデマンの定理の -進類似や、一般化であってゲルフォント＝シュナイダーの定理も含むシャヌエルの予想は、2009年現在未解決問題である。