Exactos, reales y fuera de cualquier cociente de enteros
Un número irracional es un número real que no puede escribirse como una fracción p/q, donde p y q son enteros y q no es cero. La raíz cuadrada de 2, π y e son ejemplos conocidos. «Irracional» no significa ilógico, aproximado ni imposible de calcular. Cada uno señala un punto exacto de la recta real, aunque para usarlo en una medida o en un ordenador tengamos que guardar sólo una aproximación con un número finito de cifras.
Los números racionales tienen un decimal que termina o acaba repitiendo un bloque periódico. Un irracional posee una expansión decimal infinita y no periódica. Esta propiedad es consecuencia de no ser una fracción, no una prueba que pueda establecerse mirando millones de dígitos: un periodo podría comenzar más tarde. Para demostrar irracionalidad se necesita un argumento sobre todas las fracciones posibles o una propiedad matemática equivalente.
Una contradicción demuestra que √2 no cabe en ninguna fracción
Supongamos que √2 = p/q y que la fracción está reducida. Al elevar al cuadrado, p² = 2q², así que p² es par y p también debe ser par. Escribimos p = 2k; al sustituir, 4k² = 2q² y, por tanto, q² = 2k². Entonces q también es par. Pero p y q compartirían el factor 2, en contradicción con haber elegido la fracción reducida. La suposición inicial era imposible.
La demostración no depende de calcular 1,414213… ni de que la raíz «parezca» irregular. Usa divisibilidad. Se generaliza: la raíz cuadrada de un entero positivo es entera o irracional; si el número no es un cuadrado perfecto, ninguna fracción la representa. En cambio, √9 = 3 es racional. La presencia de un radical no decide por sí sola la categoría, porque una expresión puede simplificarse o combinar irracionales hasta producir un racional.
No repetir no equivale a contener azar
Que el decimal no sea periódico no obliga a que sus cifras se distribuyan al azar. Podemos construir un irracional concatenando patrones predecibles, por ejemplo colocando unos separados por cantidades crecientes de ceros. También hay constantes cuyas cifras parecen equilibradas, pero demostrar propiedades estadísticas como la normalidad es otra cuestión. La clasificación racional o irracional sólo pregunta si existe un periodo finito que se repite para siempre.
Una calculadora muestra 3,14159 porque redondea π, no porque π termine ahí. La fracción 22/7 también lo aproxima, pero no es igual. Cuantas más cifras usamos, menor puede ser el error, aunque la naturaleza del número no cambia. Un archivo decimal finito siempre representa un racional; puede aproximar un irracional con enorme precisión sin convertirse en él. Esta diferencia importa al estimar errores numéricos.
Muchos irracionales obedecen ecuaciones polinómicas
√2 es irracional y también algebraico porque resuelve x² − 2 = 0, una ecuación polinómica con coeficientes enteros. Lo mismo ocurre con raíces cúbicas y otros valores. Los números trascendentes, como π y e, son irracionales que no resuelven ningún polinomio no nulo de ese tipo. Por tanto, «irracional» es la categoría amplia; «trascendente» impone una condición mucho más fuerte.
La jerarquía evita un error frecuente: no todos los irracionales son trascendentes. Entre racionales, algebraicos irracionales y trascendentes existen técnicas y preguntas distintas. Algunas operaciones preservan algebraicidad; otras combinaciones son difíciles de clasificar. Saber que dos números son irracionales tampoco determina su suma: √2 + (−√2) = 0. El resultado depende de la relación entre ellos, no de una etiqueta aplicada por separado.
Entre dos números siempre caben racionales e irracionales
Los irracionales no ocupan huecos aislados. Entre dos reales distintos existe al menos uno y, en realidad, infinitos. Basta encontrar un racional pequeño r dentro del intervalo y sumar una cantidad irracional suficientemente reducida, como √2/n. Los racionales también son densos. La recta mezcla ambas clases de forma tan fina que ningún zoom geométrico permite separar zonas de una y otra.
Aun así, hay una diferencia de tamaño en teoría de conjuntos. Los racionales pueden enumerarse; los reales no. Al quitar el conjunto numerable de racionales quedan incontables irracionales. Esto no significa que una regla elija fácilmente un irracional famoso. En probabilidad continua, casi todos los reales son irracionales, pero escribir y demostrar la naturaleza de una constante específica puede requerir una idea profunda.
Fracciones continuas revelan cuáles son las mejores aproximaciones
Todo irracional puede aproximarse mediante fracciones. Las fracciones continuas organizan cocientes especialmente eficientes: para √2 producen 1, 3/2, 7/5, 17/12… Cada paso mejora la precisión sin fingir igualdad. Algunas irracionales se aproximan excepcionalmente bien y otras resisten más. La teoría diofántica estudia esos límites y conecta la aritmética exacta con problemas de medida y cálculo.
En geometría aparecen longitudes irracionales incluso al partir de datos enteros: la diagonal de un cuadrado de lado 1 mide √2. Los números reales completan la recta para que límites de sucesiones racionales tengan un destino. Sin irracionales quedarían cortes sin número asociado. Su utilidad no procede de memorizar decimales, sino de permitir que álgebra, geometría y análisis describan cantidades continuas sin forzarlas a convertirse en fracciones que nunca fueron. Esa continuidad permite formular límites y medir sin dejar huecos artificiales en la recta.
