林德曼-外尔斯特拉斯定理

林德曼-外尔斯特拉斯定理(Lindemann-Weier-strass theorem)伽罗瓦理论的一条重要定理.由林德曼(Lindemann， (C. L. )F. von)提出，经外尔斯特拉斯(Weierstrass， (K. T. )W.)于1885年证明的一条重要定理.若uuz，w，u，是有理数域Q上线性无关的代数数(即复数且是Q上代数元)，则复指数e+在代数数域(由代数数构成的复数域的子域)上是代数无关的.由这个定理可以导出e是超越数，而且可证明: