林德曼-魏尔斯特拉斯定理(数学术语) - 百度百科
林德曼-魏尔斯特拉斯定理（Lindemann–Weierstrass theorem）是一个可以用于证明实数的超越性的定理。它表明，如果 α1,...,αn 是代数数，在有理数 ℚ 内是线性独立的，那么在 ℚ 内是代数独立的；也就是说，扩张域在 ℚ 内具有超越次数 n。一个等价的表述是：如果 α1,...,αn 是不同的代数数，那么指数 在代数数范围内是线性独立的。这...详情
