Demostrar Que Raiz De 3 Es Irracional

¿Alguna vez te has preguntado si todos los números se pueden escribir como una fracción simple? La respuesta es no, y para entenderlo, vamos a demostrar que la raíz cuadrada de 3 es un número irracional.

¿Qué es un número irracional? Básicamente, es un número que no puede expresarse como una fracción a/b, donde a y b son números enteros (números sin decimales) y b no es cero. Ejemplos de números irracionales son π (pi) y la raíz cuadrada de 2. Esto significa que su representación decimal es infinita y no se repite en ningún patrón.

¿Cómo demostramos que la raíz cuadrada de 3 es irracional? Usaremos un método llamado prueba por contradicción. Imaginemos que, al contrario de lo que queremos probar, la raíz cuadrada de 3 sí es racional. Eso significaría que podemos escribirla como una fracción a/b, donde a y b son enteros y no tienen factores comunes (es decir, la fracción está simplificada al máximo).

Si √3 = a/b, entonces podemos elevar ambos lados al cuadrado: (√3)² = (a/b)². Esto nos da 3 = a²/b². Multiplicando ambos lados por b², obtenemos 3b² = a². Esto significa que a² es divisible por 3, y por lo tanto, a también debe ser divisible por 3 (si un número al cuadrado es divisible por 3, el número original también lo es). Podemos escribir a como 3k, donde k es otro entero.

Sustituyendo a = 3k en la ecuación 3b² = a², tenemos 3b² = (3k)² = 9k². Dividiendo ambos lados por 3, obtenemos b² = 3k². Esto significa que b² también es divisible por 3, y por lo tanto, b también debe ser divisible por 3.

¡Aquí está la contradicción! Si tanto a como b son divisibles por 3, entonces la fracción a/b no estaba simplificada al máximo, como habíamos supuesto inicialmente. Esto demuestra que nuestra suposición original (que la raíz cuadrada de 3 es racional) es falsa. Por lo tanto, la raíz cuadrada de 3 es irracional.

¿Por qué importa esto? Demostrar la irracionalidad de números como √3 nos ayuda a comprender la naturaleza de los números y la estructura de las matemáticas. Nos recuerda que no todos los números son "redondos" y que hay infinitos números que no pueden expresarse como fracciones simples, expandiendo nuestro entendimiento del conjunto de los números reales y sus propiedades.