No son raíces de ningún polinomio entero no nulo
Un número trascendente es un número real o complejo que no satisface ninguna ecuación polinómica no nula con coeficientes enteros. Por ejemplo, √2 no es trascendente porque resuelve x² − 2 = 0, aunque sea irracional. En cambio, π y e sí son trascendentes. La palabra no significa infinitamente grande ni sobrenatural: describe la relación de un número con todos los polinomios posibles de grado finito. Es una propiedad algebraica precisa, no una descripción de su tamaño o de sus decimales.
Todo trascendente real es irracional, porque una fracción p/q resuelve qx − p = 0. La implicación contraria falla: existen irracionales algebraicos como √2. Esta frontera es la intención central del artículo. Para decidir si un número es irracional basta excluir cocientes de enteros; para probar trascendencia hay que excluir una familia mucho mayor de ecuaciones, lo que explica por qué las demostraciones son raras y difíciles.
Casi todos los reales son trascendentes, pero casi ninguno tiene nombre
Los polinomios con coeficientes enteros se pueden enumerar: hay una cantidad numerable. Cada uno tiene un número finito de raíces, así que todos los números algebraicos juntos siguen siendo numerables. Cantor demostró que los reales son incontables. En consecuencia, al retirar los algebraicos queda un conjunto incontable de trascendentes. En el sentido de medida, forman casi toda la recta real.
El contraste es sorprendente: elegir un real al azar ideal daría un trascendente con probabilidad 1, pero demostrar la trascendencia de una constante concreta puede ocupar décadas. La mayoría no posee una descripción breve. Los números que usamos nacen de fórmulas, series o problemas geométricos especiales, precisamente estructuras que podrían esconder relaciones algebraicas. Abundancia global y facilidad de identificación son asuntos diferentes.
Liouville construyó números demasiado bien aproximables
En 1844, Joseph Liouville probó que los algebraicos irracionales no pueden aproximarse «demasiado bien» por fracciones, con un límite que depende de su grado. Después construyó decimales con unos en posiciones factoriales y ceros entre ellos. Ciertas fracciones los aproximan con errores que violan ese límite, de modo que debían ser trascendentes. Fue la primera familia explícita demostrada.
No todo trascendente es un número de Liouville. Esa construcción ofrece una condición suficiente, no una definición completa. También muestra por qué mirar dígitos resulta insuficiente: lo decisivo es una propiedad cuantificada de todas las aproximaciones racionales. La teoría moderna estudia aproximación diofántica, independencia algebraica y valores de funciones para demostrar resultados que una expansión decimal no revela.
Probar la trascendencia de e y π cambió la geometría
Charles Hermite demostró en 1873 que e es trascendente. Ferdinand von Lindemann probó en 1882 la trascendencia de π usando ideas que relacionan exponenciales de números algebraicos. Como e elevado a iπ es −1, la estructura de la exponencial permite llegar a una contradicción si π fuera algebraico. La versión completa requiere análisis complejo; el argumento abreviado sólo indica el esqueleto lógico.
La trascendencia de π resolvió la cuadratura del círculo con regla y compás. Las longitudes construibles por esos instrumentos pertenecen a una clase de números algebraicos obtenidos mediante extensiones cuadráticas. Si se pudiera construir un cuadrado con el área de un círculo unidad, se construiría √π y, por tanto, π sería algebraico. Lindemann demostró que no lo es: la imposibilidad no nace de falta de ingenio geométrico.
Una potencia puede revelar trascendencia sin mostrar sus dígitos
El teorema de Lindemann-Weierstrass establece, entre otras consecuencias, que e elevado a un algebraico no nulo es trascendente. El teorema de Gelfond-Schneider afirma que α^β es trascendente cuando α es algebraico distinto de 0 y 1 y β es algebraico irracional, bajo la interpretación adecuada de la potencia. Así se sabe que 2^√2 es trascendente sin calcular su expansión completa.
Estos resultados no autorizan a clasificar cualquier combinación de π y e. No se sabe, por ejemplo, si π + e o πe son trascendentes; ni siquiera está demostrado que ambos lo sean simultáneamente de forma individual en esas expresiones. También hay constantes importantes cuya irracionalidad o trascendencia permanece abierta. En matemáticas, que una afirmación parezca probable no sustituye una prueba.
Trascendente no significa incomputable ni aleatorio
π y e son computables: existen algoritmos que producen tantas cifras como permitan tiempo y memoria. Algunos trascendentes pueden definirse con una fórmula breve; otros no son computables. También pueden tener decimales muy regulares o aparentemente azarosos. Trascendencia, computabilidad y normalidad estudian propiedades distintas. Mezclarlas genera afirmaciones espectaculares pero falsas.
Los trascendentes delimitan qué pueden resolver los polinomios y conectan teoría de números, análisis y geometría. El número e aparece en crecimiento y exponenciales; π, en geometría y ondas. Su valor práctico no depende de ser trascendentes, pero la prueba de esa propiedad revela límites profundos de las ecuaciones algebraicas. Ésa es la diferencia con un irracional común: no sólo escapa a las fracciones, sino a todo polinomio entero finito. Conocer millones de cifras no ayuda a demostrarlo: una expansión decimal extensa siempre puede pertenecer a un número algebraico. La trascendencia se establece mediante argumentos sobre ecuaciones, aproximaciones y funciones, no por inspección numérica. Por eso sus pruebas fueron hitos conceptuales y no récords de cálculo.
