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