El teorema de Lindemann-Weierstrass , que es una generalización del teorema de Lindemann, demuestra la trascendencia de una gran clase de números. El teorema establece lo siguiente [1] :
Si son diferentes números algebraicos que son linealmente independientes sobre , entonces son algebraicamente independientes sobre , es decir, el grado de trascendencia de la extensión es |
A menudo se utiliza otra formulación equivalente [2] :
Para cualquier número algebraico distinto, los números son linealmente independientes sobre el campo de los números algebraicos . |
En 1882 Lindemann demostró que es trascendental para cualquier algebraica distinta de cero [3] , y en 1885 Karl Weierstrass demostró la afirmación más general anterior.
La trascendencia de los números e y π se sigue fácilmente del teorema de Lindemann-Weierstrass .
Aplicamos el método de prueba por contradicción . Supongamos que el número es algebraico. Entonces el número , donde es la unidad imaginaria , también es algebraico, por tanto, según el teorema de Lindemann-Weierstrass, el número es trascendental, pero según la identidad de Euler, es igual al número algebraico , lo que provoca una contradicción. Por lo tanto, el número es trascendental.