Mapa Mental de los Números Irracionales
Los números irracionales son números reales que no se pueden escribir como una fracción exacta p/q con p y q enteros. Su existencia es real y necesaria: medidas como la diagonal de un cuadrado de 1x1, que vale raíz de 2, no pueden atraparse con ningún quebrado, por más que nos acerquemos con 1.4 o 1.41.
Su rasgo distintivo está en su forma decimal: es infinita y no periódica. A diferencia de los racionales, que terminan o repiten un bloque como 0.5 o 0.333..., los irracionales son como una improvisación infinita que nunca repite el mismo coro, por ejemplo 1.41421... o 0.101001000100001...
Los ejemplos más famosos son raíz de 2, raíz de 3, raíz de 5, pi, e y phi. Todos rellenan los huecos que dejan las fracciones en la recta numérica: entre dos fracciones cualesquiera siempre hay un irracional. Por eso pi está entre 3 y 4 y raíz de 2 entre 1 y 2 sin que ningún p/q caiga justo sobre ellos.
En las operaciones hay que tener cuidado: racional más irracional siempre da irracional, y racional no cero por irracional también da irracional. En cambio, irracional más irracional puede dar racional, como raíz de 2 más menos raíz de 2 igual a 0. La prueba clásica de que raíz de 2 es irracional usa contradicción y muestra que ninguna fracción irreductible puede representarlo.