Como se menciona en otras respuestas, ser impar o incluso definido para enteros (que son parte de números racionales) y [math] \ sqrt {2} [/ math] no es racional.
Podemos demostrarlo por contradicción:
Supongamos que [math] \ sqrt {2} = \ frac {a} {b} [/ math] donde [math] mcd (a, b) = 1 [/ math] y a, b son enteros
[matemáticas] (\ sqrt {2}) ^ 2 = (\ frac {a} {b}) ^ 2 [/ matemáticas]
[matemáticas] 2 = \ frac {a ^ 2} {b ^ 2} \ rightarrow a ^ 2 = 2b ^ 2 \ rightarrow a ^ 2 [/ math] es par [math] \ rightarrow a [/ math] es par. Entonces podemos decir [matemáticas] a = 2c [/ matemáticas].
- Cómo encontrar el intervalo que probablemente contenga la verdadera proporción de la población
- ¿Cómo se prueba esta ecuación sobre la función gamma?
- Cómo demostrar que la secuencia {cos x} diverge
- ¿Puedes encontrar una solución entera para la siguiente ecuación entera? [matemáticas] (x + yz) ^ p = p (x + y) (zx) (zy) \ cdot [/ matemáticas] [matemáticas] N [/ matemáticas]
- ¿Cuál es la diferencia entre [math] 2 ^ \ infty [/ math] y [math] \ infty ^ 2 [/ math]?
[matemática] a ^ 2 = 2b ^ 2 \ rightarrow (2c) ^ 2 = 2b ^ 2 \ rightarrow 4c ^ 2 = 2b ^ 2 [/ math] [matemática] \ rightarrow b ^ 2 = 2c ^ 2 [/ math] [math] \ rightarrow b ^ 2 [/ math] es par [math] \ rightarrow b [/ math] es par y podemos decir [math] b = 2d [/ math].
[math] \ frac {a} {b} = \ frac {2c} {2d} \ rightarrow mcd (a, b) [/ math] es al menos 2. Y esto contradice nuestra primera suposición . Entonces [math] \ sqrt {2} [/ math] no puede expresar una relación entre dos enteros y es irracional.