¿Lo que se conoce sobre el % de soluciones (x,y,z,w)∈Z4de la ecuación de diophantine $$x^3+y^3+z^3+w^3=1 puede usted sugerirme un libro o un documento de tratar este problema?
Respuestas
¿Demasiados anuncios?Teorema.-La ecuación de x3+y3+z3+w3=n tiene una infinidad de entero soluciones si no existe una solución (a,b,c,d) tal que −(a+b)(c+d)>0 is not a perfect square, and un≠b, or c≠d.
(Ver Diophantine ecuaciones, L. J. Mordell. Academic Press, p. 58).
Desde F37={0,±1} necesariamente una de las incógnitas es un múltiplo de a 7 porque si no tendríamos $$(\pm1)+(\pm1)+(\pm1)+(\pm1)\equiv 1\pmod7 , que es imposible.
Tratando de encontrar una solución particular puedo averiguar (x,y,z,w)=(14, 30,−23,−26) que satisface las condiciones del teorema anterior. Por lo tanto, hay infinitamente muchas soluciones que están relacionados, según el citado libro, a una ecuación de Pell (que como es sabido tiene una infinidad de entero de soluciones).
En general es evidente que para tal ecuaciones hay infinitamente muchas soluciones. Por ejemplo (n,−n,1,0),n∈Z y permutaciones. Otro, menos evidente, la posibilidad de considerar a la familia infinita de soluciones (9n4,3n−9n4,1−9n3,0)n∈Z Sería interesante saber si todas las soluciones están contenidos en un número finito de curvas o superficies. Para un problema similar: x3+y3+z3=1 hay una buena discusión en el papel de D. H. Lehmer "En la ecuación de diophantine x3+y3+z3=1". Estoy buscando un análogo de papel en el cual se considera el caso de las cuatro variables.
Esto se puede solucionar de piezas:
- a+b+c+d=1
- (x)↦x3 (usado 4 veces)
- Z4 entero de celosía
Para resolver el problema, necesitamos inversa de la imagen. El 1er paso es solo una barra de longitud 1 dividido en 4 partes arbitrarias lugares(en R). en el 2º paso, y la inversa de a x3 es simplemente la raíz cúbica 3√x. 3er paso el cubo de la raíz de valores necesita para golpear la rejilla de puntos en el entero de celosía. Así que para obtener la solución, necesitamos entender cómo la raíz cúbica se comporta. Hay una ruta de acceso 1↦(a+b+c+d)↦(a,b,c,d)↦(3√a,3√b,3√c,3√d)↦P (k1Z1+k2Z2+k3Z3+k4Z4)↦P, where the first two ↦ generates infinite tuples satisfying (1), and the last ↦ filters them away, with a,b,c,d∈R and k1,k2,k3,k4\Z. There's a pullback R4×PZ4.