Potencia irracional igual a racional

A estas alturas, después de todo lo que hemos publicado en el blog, asumo que todos sabemos qué es un número racional y qué es un número irracional. Vamos a jugar un poco con ellos:

¿Existe algún caso en el que si A es irracional y B es racional se cumpla que la expresión AB sea un número racional?

La respuesta es . Y de hecho es muy sencillo encontrar un caso:

\sqrt{2}^2

Sabemos que Sqrt(2) es irracional, y evidentemente 2 es racional. Y esa expresión da como resultado 2, que es un número racional.

Y ahora vamos con la pregunta estrella del post:

¿Existe algún caso en el que siendo A y B irracionales la expresión Ab sea un número racional?

Se aceptan respuestas, si puede ser con alguna argumentación de ellas.

Author: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

27 Comments

  1. Bueno, entre tanto Unix/Oracle/Java lo cierto es que se me ha olvidado la matemática. :)

    La respuesta es NO.

    Pero el razonamiento no me lo creo ni yo. No obstante os lo dejo para que le saquéis las tripas.

    En realidad no sólo es irracional sino que es transcendente.

    Prueba (por llamarla algo)
    —————————

    Creo recordar que se parece a uno de los problemas de Hilbert de 1900. Y éste estaba parcialmente resuelto.

    i) a es irracional algebraico. b irracional algebraico.

    El problema de Hilbert:

    ¿Es a b trascendental, siendo a ? 0,1 algebraico y b irracional algebraico?

    Creo que está demostrado que:

    Si A,B son algebraicos (A != 0,1) y B irracional –> A^B es transcendente.

    Así que a^b es transcenedente para el caso i)

    ii) Si a es transcendente.

    a^b es transcendente..

    Ya que en otro caso, si c=a^b algebraico –> a^b – (a^b).c^0 = 0. En contradicción con el teorema de Lindemann-Weierstrass.

    iii) Si b transcendente……

    Sinceramente ni puta idea.

    Os dejo un enlace: http://www.uv.es/~ivorra/Libros/Numeros.pdf

    Saludos de un lector habitual que trabaja demasiadooooooo! :)

    Post a Reply
  2. Creo que la respuesta es sí y la prueba está en la identidad de Euler de la que hablaste el otro día.

    Tenemos que e^(pi*i) + 1 = 0 donde e es irracional, y pi*i tambien es irracional. Al ser -1 un número racional tenemos que e^(pi*i) = -1

    Esto se puede demostrar mejor pero estoy en el curro y no puedo ponerme con ello. Espero haber acertado.

    Post a Reply
  3. Vale hacer trampas??

    (2^(1/pi))^pi

    Post a Reply
  4. La opción que ofrece Jose Luís es correcta (y además reciente, seguro que Diamond no se la esperaba jejeje)

    Pero ¿y si reducimos el “campo de acción” a los números reales? (la identidad de euler funciona por los números complejos).

    lafundación también ha propuesto una solución que funciona.

    Mi respuesta es que SI y ocurre infinitas veces para todos los casos en los que, con C racional, A=(C^D) es irracional tenemos que (C^D)^[k(1/D)] es racional… donde B = k(1/D) y k es un número entero.

    la cuestión es, ¿habrá más casos?

    Post a Reply
  5. Por cierto, el caso sqrt(2)² es del mismo tipo que hemos propuesto lafundacion y yo:

    sqrt(2)² = [2^(1/2)]² = 2

    y, por supuesto, [2^(1/2)]^(k2) es racional para todo k natural

    (antes también puse “entero” y me refería sólo a los naturales ;) )

    Post a Reply
  6. Bueno, no se si es exactamente correcta puesto que i es imaginario y supongo que pi*i es también imaginarios. Mi pregunta es ¿un número imaginario es también irracional?

    Post a Reply
  7. Yo me pregunto qué es un número elevado a un irracional… es decir, multiplicas el número por si mismo un número irracional de veces? como es eso?

    también vale para la multiplicación jeje qué es sumar dos PI veces????

    Post a Reply
  8. Yo también pensé en Euler… a ver si nos dicen que vale :D

    Post a Reply
  9. La pregunta es interesante, yo he estado a punto de coger números en forma polar y trabajar un poco con la geometría para ver si sacaba algo bueno, pero me he dado cuenta de que probablemente no podría hacer nada…

    Post a Reply
  10. (mode sobado resacoso on)

    e^(ln(1))=1

    e es irracional y ln(1) también, ¿no?

    Post a Reply
    • me pueden dar el concepto de potencia cero de un numero irracional porfa es una exposiscion y aun no tengo nada no me ha salido

      Post a Reply
    • ln(1) no es irracional sino racional. Cualquier logaritmo en cualquier base con argumento 1 es 0.

      Post a Reply
  11. ln(1) = 0

    0 (creo que) no es irracional

    Post a Reply
  12. ok, cambia los 1 por 2 :-S

    que conste que avisé que estaba de resaca =oD

    Post a Reply
  13. Yo pensé lo mismo que lafundacion… raíz pi-ésima de 2, elevado a pi, pero… por qué sería trampa?

    Post a Reply
  14. Acabo de llegar del curro. Contesto a todo el mundo:

    José Luis pi*i es complejo puro. Por tanto no pertenece a los números reales y por tanto no puede ser irracional. Es decir, esa solución no es válida.

    deibyz ln(1) = 0, y 0 es racional.

    Me vale el ejemplo de lafundacion. No es exactamente trampa, sino que lo que ha hecho es aprovechar ciertas propiedades de las potencias. El ejemplo que yo tengo también sería trampa. En cuanto tenga un rato os lo pongo y os pongo una demostración formal también.

    Saludos :)

    Post a Reply
  15. Creo que lo que queria decir deibyz es

    e^ln(2)

    Post a Reply
  16. Paco sí, ese también vale. De hecho ese va más en la línea del ejemplo que yo tengo.

    Os pongo una demostración y mi ejemplo este finde.

    Post a Reply
  17. La respuesta es sí, y esta es una posible demostración (que obviamente no he inventado yo, aunque tampoco sé decir en qué libro la he visto):

    sqrt(2) es irracional (como se prueba trivialmente). Definimos x=sqrt(2)^sqrt(2). entonces, hay dos posibilidades:

    a) x es racional, con lo cual habríamos probado la afirmación.

    b) x es irracional. Entonces basta con tomar x^sqrt(2)=sqrt(2)^2=2, que es racional, para probar el teorema.

    Esta prueba no da un ejemplo, pero personalmente me parece de una hermosa sencillez.

    Post a Reply
  18. guille:

    Es cierto que se puede probar que sqrt(2)^sqrt(2) es irracional, como bien apuntas. Lo que yo digo en mi mensaje, no obstante, es que la demostración que cito no lo prueba. Sólo dice que uno, y sólo uno, de:

    (sqrt(2),sqrt(2))
    (sqrt(2)^sqrt(2),sqrt(2))

    Es un ejemplo de par (A,B) buscado, pero no nos dice cuál, no nos da un ejemplo explícito (tenemos que recurrir al teorema de Gelfond-Schneider para saber que es el segundo). Eso es lo que le encuentro de bonito a la prueba.

    Un saludo.

    Post a Reply
  19. pasotaman me has chafado la demostración :P . La que yo tengo es exactamente esa.

    guille tu ejemplo también es válido.

    Post a Reply
  20. (x^i)^(1/i) = x.
    Si x es racional e i irracional bastará probar que x^i es irracional y que 1/i también es irracional.
    i/i es irracional porque i * 1/i = 1, siendo i irracional si 1/i fuera racional entonces 1 sería irracional ¡absurdo!

    Pero no logro demostrar que x^i sea irracional siempre.

    Post a Reply
  21. ¿que ocurre si elevamos un número racional a una potencia irracional?

    Post a Reply

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Submit a Comment

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.