Solo por diversión, el resultado que está preguntando puede usarse como una prueba no constructiva de que deben existir pares de números irracionales, a & b, de modo que [math] a ^ b [/ math] sea racional.
La prueba es así:
[math] \ sqrt 2 [/ math] no es racional. (La prueba de este hecho se puede encontrar en otra parte.) [Math] \ sqrt {2} ^ \ sqrt {2} [/ math] es racional o no lo es. Si es racional, entonces deje que [math] a = b = \ sqrt 2 [/ math] para que [math] a ^ b [/ math] sea racional. De lo contrario, [math] \ sqrt {2} ^ \ sqrt {2} [/ math] es irracional. Pero en este caso, deje que [math] a = {\ sqrt 2} ^ \ sqrt {2} [/ math] y deje [math] b = \ sqrt 2 [/ math]. Entonces [math] a ^ b = \ left ({\ sqrt 2} ^ \ sqrt 2 \ right) ^ \ sqrt 2 = 2 [/ math] que es racional. QED
No sabemos por esta prueba cuál de las dos opciones es el par de números correcto, pero sabemos que uno de ellos debe hacer el truco (por la Ley del medio excluido). El teorema de Gelfond-Schneider en realidad demuestra que [matemáticas] \ sqrt {2} ^ \ sqrt {2} [/ matemáticas] es irracional (y, de hecho, trascendental), pero este teorema es bastante complicado.
- ¿Puede una función racional tener dos o más asíntotas horizontales?
- ¿Qué es [matemáticas] x [/ matemáticas] si [matemáticas] 5+ \ frac {x} {4} + x = \ frac {5} {2}? [/matemáticas]
- Cómo integrar una función con una integral como término en la función
- ¿Qué son las funciones de valor absoluto?
- Cómo simplificar [matemáticas] \ frac {3 \ sin (4x)} {\ sin (3x)} [/ matemáticas] algebraicamente