14 votos

$x^5 + y^2 = z^3$

Mientras esperaba mi döner en el almuerzo el otro día, me di cuenta de mi número de pedido se $343 = 7^3$ (seguramente no el total para ese día), que me recordó cómo $3^5 = 243$, por lo que el $$7^3 = 3^5 + 100 = 3^5 + 10^2.$$ Naturalmente, empecé a preguntarme acerca de trivial entero soluciones a $$x^5 + y^2 = z^3 \tag{*}$$ ("no trivial", que significa $xyz \ne 0$). Yo no hice mucho progreso, aunque aparentemente hay infinitamente muchas soluciones: este era el Problema 1 en el 1991 Canadiense de la Olimpiada Matemática. El oficial de soluciones (en la parte inferior de esta página) sólo se remontan a 1994. Un hoteles de respuesta es dada por tomar $x = 2^{2k}$$y = 2^{5k}$, de modo que el l.h.s. es $2^{10k + 1}$. Este es un cubo iff $10k + 1 \equiv 0 \,(3)$ es decir $k \equiv 2\,(3)$, dando así una progresión aritmética de la pena de soluciones, comenzando con $$(x, y, z) = (16, 1024, 128)$$ corresponding to $k = 2$ y $$(x, y, z) = (1024, 33554432, 131072)$$ viniendo de $k = 5$.

Lo que más se sabe acerca de la ecuación de $(*)$? En particular, hay una infinidad de soluciones con $x$, $y$, $z$ relativamente primos? El uno que llamó mi atención fue la $(x, y, z) = (3, 10, 7)$. Otra es $(-1, 3, 2)$ porque $-1 + 9 = 8$. Por catalán de la conjetura (ahora un teorema), esta es la única solución con $x = \pm 1$ o $y = \pm 1$ o $z = 1$. Existen soluciones con $z = -1$? En este caso, $(*)$ reduce a $x^5 + y^2 = -1$ y Mihăilescu del teorema no se aplica.

La actualización. Esta pregunta fue esencialmente preguntado ya aquí, ya que la ecuación de $a^2 + b^3 = c^5$ es equivalente a $(-c)^5 + a^2 = (-b)^3$.

12voto

Joe Gauterin Puntos 9526

Sí, hay una infinidad de soluciones. De hecho, hay muchas parametrizaciones de las soluciones.
Según un libro de${}^{\color{blue}{[1]}}$ en mi estantería,

Hasta el cambio de $y$ a $-y$, exactamente el 27 de distintas parametrizaciones de las ecuaciones $x^5 + y^2 = z^3$.

Uno de los más simples paremetrization está dado por la siguiente fórmula.

$$\begin{align} x =&\; 12st(81s^{10}-1584t^5s^5-256t^{10})\\ y =&\; \pm (81s^{10} + 256t^{10})\\ &\;\;\times (6561s^{20} - 6088608t^5s^{15} - 207484416t^{10}s^{10} + 19243008t^{15}s^5 + 65536t^{20})\\ z =&\; 6561s^{20}+2659392t^{5}s^{15}+10243584t^{10}s^{10} - 8404992t^{15}s^5 + 65536t^{20} \end{align}$$

Por ejemplo, las siguientes dos elecciones al azar de $s,t$ a dar dos conjuntos de relativa primer soluciones.

  • $(s,t) = (1,1) \leadsto (x,y,z) = (-21108,-65464918703,4570081)$
  • $(s,t) = (1,2) \leadsto (x,y,z) = (-7506024,127602747389962225,-196120763999)$

El libro que yo tengo es en realidad citando el resultado de una tesis de${}^{\color{blue}{[2]}}$ por J. Edwards. Consultar que si usted realmente desea conseguir en los detalles.

Referencias

  • $\color{blue}{[1]}$ Henri Cohen, la Teoría de números Teoría de los números Volumen II: análisis y Herramientas Modernas,
    $\S 14.5.2$ El Icosaedro Caso De $(2,3,5)$.

  • $\color{blue}{[2]}$ J. Edwards, sólidos Platónicos y soluciones a $x^2+y^3 = dz^r$, Tesis, Univ. Utrecht (2005).

9voto

Tito Piezas III Puntos 13051

Hay una hermosa conexión entre $a^5+b^3=c^2$ y el icosaedro. Considerar la sin escala ecuación icosaédrica,

$$\color{blue}{12^3u v(u^2 + 11 u v - v^2)^5}+(u^4 - 228 u^3 v + 494 u^2 v^2 + 228 u v^3 + v^4)^3 = (u^6 + 522 u^5 v - 10005 u^4 v^2 - 10005 u^2 v^4 - 522 u v^5 + v^6)^2\tag1$$

Por escala $u=12x^5$ y $v=12y^5$ (o varias combinaciones mismo como $u=12^2x^5$, etcetera), entonces tenemos a una relación de forma,

$$12^5a^5+b^3=c^2$$

i-Ciencias.com

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.

Powered by:

X