Ecuación con infinitas soluciones

Hoy lunes os dejo el problema de esta semana. Ahí va el enunciado:

Sea n \geq 3 entero impar. Demostrar que la ecuación

x^2+y^2=z^n+z

admite infinitas soluciones enteras (x,y,z), siendo mcd(x,y,z)=1.

A por él.

Share

21 comentarios

  1. Christian | 25 de junio de 2012 | 11:08

    Vótalo Thumb up 0

    Una duda que me ha surgido. Aunque no es el caso, ¿podríamos considerar una identidad matemática como una ecuación con infinitas soluciones?

  2. Christian | 25 de junio de 2012 | 11:32

    Vótalo Thumb up 0

    ¡Lo tengo!
    Pista: Sustituir z=t^2.

  3. Christian | 25 de junio de 2012 | 12:17

    Vótalo Thumb up 0

    Perdón, tal y como yo lo he hecho no se cumple mcd(x,y,z)=1.

  4. Trackback | 25 jun, 2012

    Bitacoras.com

  5. JJGJJG | 26 de junio de 2012 | 01:57

    Vótalo Thumb up 0

    Hagamos x=2^(2k)-1 e y=2^(2k)+1, tendremos:
    x^2 + y^2 = 2^(2k+1)+2 que se satisface para cualquier valor de k.
    Luego tenemos infinitas ternas formadas por dos impares consecutivos x e y que, con z=2 tienen su m.c.d =1 y el exponente de z es siempre un impar igual 0 mayor que 3.
    Las primeras soluciones tienen, como valores x, y, z, y n los siguientes:
    1, 3, 2, 3
    3, 5, 2, 5
    7, 9, 2, 7
    15, 17, 2, 9
    etcétera. Hay otras soluciones que no responden a las mismas fórmulas como por ejemplo 3, 11, 2, 7, lo que me sugiere que existe una fórmula más general, pero basta la encontrada para probar la infinitud de soluciones. investigaré si las hay con z distinto de 2.

  6. Pablo | 27 de junio de 2012 | 09:18

    Vótalo Thumb up 0

    En la solución de JJGJJG, me queda la duda de si el enunciado exige que haya infinitas soluciones para cada n. En ese caso, no serviría puesto que cada n fija una única terna de números.

  7. JJGJJG | 27 de junio de 2012 | 13:58

    Vótalo Thumb up 0

    El enunciado no dice explícitamente que deban ser infinitas las soluciones para cada n.
    Sería deseable demostrar que es así, sin embargo, resulta fácil encontrar soluciones que no responden a la fórmula empleada y con z distinto de 2, por ejemplo:
    Para n=3, 1, 47 y 13
    Para n=5, 163, 271 y 10
    Para n=7 17, 279 y 5
    Confío en que, entre todos, hallemos una demostración más general.
    Como curiosidad anticipo que entre todas las ternas x, y, z, que he obtenido, para diversos valores de n, nunca son compuestos los tres. Pueden ser primos uno o dos o los tres.

  8. M | 27 de junio de 2012 | 14:15

    Vótalo Thumb up 0

    JJGJJG, el enunciado inicialmente fija un n impar. Para la ecuación correspondiente a ese n deben buscarse infinitas soluciones (primas relativas).

  9. pcrdeg | 27 de junio de 2012 | 20:25

    Vótalo Thumb up 0

    Voy a indicar la manera de obtener infinitas soluciones para cada m.
    Hacemos k tal que m=2k+1
    Elegimos dos números primos entre sí cualesquiera, a y b.
    Hacemos z=a^2+b^2
    Hacemos c=z^k
    Sean x=ac-b, y=a+bc.
    Entonces (x,y,z) es una solución.
    En efecto, x^2+y^2=(ac-b)^2+(a+bc)^2=(a^2+b^2)•(c^2+1)=z•(z^2k+1)=z^m+z
    Queda por ver que x,y,z son primos entre sí pero si un primo p divide simultáneamente a x,y,z divide simultáneamente a x,y,c luego dividiría simultáneamente a a y b lo que no es posible pues los hemos elegido primos entre sí.

  10. JJGJJG | 27 de junio de 2012 | 22:42

    Vótalo Thumb up 0

    ¡Bravo! pcrdeg

  11. M | 28 de junio de 2012 | 10:49

    Vótalo Thumb up 0

    ¡Excelente, pcrdeg!

  12. Juanjo Escribano | 28 de junio de 2012 | 14:11

    Vótalo Thumb up 0

    Muy bueno y completo

  13. Maesto | 28 de junio de 2012 | 20:00

    Vótalo Thumb up 0

    Esto está de pm, pero… Bien, está claro el contexto de justificación y, como siempre, hay que, digamos, extraer el contexto de descubrimiento. Es decir, no falla la regla en al menos las tres últimas demostraciones en este blog, en las que ha habido que sacar con dificultad un comentario que responda al “cómo demonios se te ha ocurrido eso.” (y gracias que nos lo han dicho)

  14. JJGJJG | 28 de junio de 2012 | 20:19

    Vótalo Thumb up 0

    A mí el ¡Como demonios! me recuerda los algoritmos de la Aritmética de Diofanto.

  15. pcrdeg | 28 de junio de 2012 | 20:23

    Vótalo Thumb up 0

    No tengo problemas en contar cómo se me ocurrió la solución. Lo que no sé es si aclarará algo.
    En primer lugar tanteé buscando algunas soluciones sencillas sin encontrar grandes resultados.
    Luego tuve la impresión de que quizá los números complejos tendrían algo que ver en el asunto. Seguí una línea que me llevó a un callejón sin salida y abandoné el problema .
    Ayer, con calma, volví a enfrentarme al reto.
    Haciendo m=2k+1 la ecuación toma la forma x^2+y^2=z•[(z^k)^2+1]
    Me di cuenta que la expresión entre corchetes es suma de dos cuadrados, al igual que el término izquierdo de la ecuación. Inspirado por mi antigua hipótesis de que los complejos tenían algo que ver con este problema, recordé que el módulo del producto de dos complejos es el producto de sus módulos lo que me hizo, a su vez, recordar, que de esa igualdad se obtenía una bonita identidad:
    (a^2+b^2)•(c^2+d^2)=(ac-bd)^2+(ad+bc)^2
    Por tanto, si z lo pudiese expresar como suma de dos cuadrados, digamos z=a^2+b^2 puesto que (z^k)^2+1 es suma de dos cuadrados, el producto de ambos sería suma de dos cuadrados y, por tanto, tendríamos una solución de la ecuación.
    Y ya está casi todo resuelto. Quedaba asegurar el hecho de que x,y,z fuesen primos entre sí pero haciendo a y b primos entre sí, se deducía fácilmente.

  16. Maesto | 28 de junio de 2012 | 23:21

    Vótalo Thumb up 0

    Naturalmente que aclara las cosas. Corregidme si es necesario, pero el último comentario es igualmente una demostración.

    Muchas gracias.

  17. Octavio | 29 de junio de 2012 | 18:21

    Vótalo Thumb up 0

    Un poco tangencial pero, ¿”a por él” es un truncamiento de “A ir por él [problema]“?

  18. gaussianos | 29 de junio de 2012 | 18:55

    Vótalo Thumb up 0

    Octavio, uhmmm…pues no lo había pensado. Es una simple arenga para que todos vosotros os atreváis a intentar resolverlo.

  19. rusbel | 29 de junio de 2012 | 19:03

    Vótalo Thumb up 0

    Qué pregunta tan amorfa, Octavio.

  20. Cartesiano caótico | 1 de julio de 2012 | 11:27

    Vótalo Thumb up 0

    “A ir por el”??
    A mi me suena mejor “a por el”, y en cualquier caso parece que debería ser “id a por el”

  21. Octavio | 10 de julio de 2012 | 15:58

    Vótalo Thumb up 0

    Tal vez fue amorfa, pero la respuesta del dueño de esta bitácora fue excelente.

    Por acá tal vez yo diría: “A darle, que es mole de olla”.

Escribe un comentario

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. Utiliza la Vista Previa antes de publicar tu comentario para asegurarte de que las fórmulas están correctamente escritas.