¿Cómo puedo resolver esta ecuación diofántica:
$$x^2+y^3=z^4$$ para $(x, y, z) \in \mathbb{Z}_{>0}$
Intenté buscar en Wolfram Alpha pero parece que no hay soluciones...
¿Cómo puedo resolver esta ecuación diofántica:
$$x^2+y^3=z^4$$ para $(x, y, z) \in \mathbb{Z}_{>0}$
Intenté buscar en Wolfram Alpha pero parece que no hay soluciones...
Este es un caso especial de la ecuación de Fermat generalizada $$x^p+y^q=z^r$$ Para $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}\le 1$ tiene solo un número finito de soluciones enteras coprimas, como han demostrado Darmon y Granville. Sin embargo, para $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}>1$ hay infinitas soluciones enteras coprimas distintas de cero, dadas por un conjunto finito de familias de 2 parámetros, ver Beukers, la ecuación Diofántica $Ax^p + By^q = Cz^r$, Duke Math. J. 91 (1998), 61-88. Las parametrizaciones explícitas (con demostraciones) se pueden encontrar en el Capítulo 14 del libro de Cohen Teoría de números, Vol. II.
Si $C$ es una constante $\in \mathbb{N}$, ¿podemos decir que: $C+x^p+y^q = z^r$ tiene infinitas soluciones?
$$X^{n}+Y^{n+1}=Z^{n+2}$$
La solución siempre se puede escribir, por ejemplo.
$$X=(c^2-b^2)^{(n+2)}b^{(n^2+2n-1)}c^{(n+1)^2}$$
$$Y=(c^2-b^2)^{(n+1)}b^{(n-1)(n+2)}c^{n(n+1)}$$
$$Z=(c^2-b^2)^{n}b^{(n-1)(n+1)}c^{(n^2+1)}$$
Si haces este cambio. $X^2+Y^3=Z^4$
$$p=tz(2zk^2+t)$$
$$s=tzk^2(2zk^2-t)$$
El resultado de tal decisión.
$$X=sp^3$$
$$Y=2tzk^2p^2$$
$$Z=kp^2$$
Donde los números $t,z,k$ - enteros y se establecen. Es posible que necesite después de obtener los números, dividir por el divisor común.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
0 votos
¿Tienes alguna razón para pensar que hay una solución? Los cubos y las cuartas potencias son raras.
0 votos
Según yo, no hay soluciones, pero ¿cómo demostrar tal resultado?
0 votos
@MichaelRozenberg sí en $\mathbb{N}^3$ pero no en: $\mathbb{Z}^3_{>0}$
0 votos
@Dando18 pero no en $\mathbb{Z}^3_{>0}$
4 votos
Una solución es $(x,y,z)=(28,8,6)$
0 votos
@lulu ¡Buen trabajo!
2 votos
Hice lo siguiente: escribí $ y ^ 3 = (z ^ 2 - x) (z ^ 2 + x) $. Sacrificando generalidad, busca casos donde tanto $ z ^ 2 \ pm x $ sean cubos. Luego queremos $ z ^ 2 = \ frac {a ^ 3 + b ^ 3} 2. Encontré el primer ejemplo de eso.
1 votos
Una segunda solución es $(x,y,z)=(1792,128,48)$, espero (pero no he demostrado) que haya infinitas. No tengo idea acerca de la generalización.
0 votos
¡Genial! Voy a intentar hacer un programa en $C++$ para encontrar "una lógica" en las soluciones...
2 votos
Ok, ¡Yo sé cómo demostrar que hay infinitas soluciones! Sabemos gracias a ti que: $(28,8,6)$ es una solución. Y que: $mcm(2,3,4) = 12$ Por lo tanto, si $(x,y,z)$ es una solución entonces: $(2^6x, 2^4y, 2^3z)$ es una solución.
0 votos
Supongamos que $z^2 -x = y$, luego obtenemos que $(2y+1)^2 - 8z^2 = 1$, lo cual tendrá soluciones infinitas.