Does $x_1^n + x_2^n + \dots + x_n^n = z^n$ have infinitely many primitive solutions in positive integers?
问题内容
I am familiar with "Fermat's Last Theorem" and the disproved "Euler's sum of powers conjecture". By my understanding, the latter conjecture states that $n$ terms are required to have solutions, which has been disproved by counterexample.
My question is whether or not you can always find an infinite number of non-trivial solutions (not a multiple of another one) when you do have $n$ terms on the left-hand side for an equation in the form $x_1^n + x_2^n + \dots + x_n^n = z^n$, where everything is a positive integer.
(As this is my first post on Mathematics Stack Exchange, feel free to comment what I could do to improve my question.)
回答 (2)
The OP wants to know if there are infinitely many primitive solutions in positive integers $x_i$ to,
$$x_1^n+x_2^n +\dots x_n^n = z^n$$
We have proof there are infinitely many such solutions for $n = (2,3,4,5)$, but not yet for $n=(7,8)$. Note: We'll skip $n=2$ or Pythagorean triples since that's well-known.
I. n = 3
Let $0<x_1<x_2<x_3$ and,
$$x_1^3+x_2^3+x_3^3 = x_4^3$$
then the complete positive integer solution was given by Choudhry's On Equal Sums of Cubes (1998). For the summarized version, given positive integers $(a,b,c)$, then
$$\begin{aligned} d\,x_1 &= (-a^3 - b^3 + c^3)c\\ d\,x_2 &= -(a^2 - a b + b^2)^2 + (a + b)c^3\\ d\,x_3 &= (a^2 - a b + b^2)^2 + (2a - b)c^3\\ d\,x_4 &= (a^3 + (a - b)^3 + c^3)c\end{aligned}$$
where $a>b$, and $c >(a^3+b^3)^{1/3}$, and $d$ is a rational scaling factor such that $\text{GCD}(x_1,x_2,x_3,x_4)=1$.
Note: See also this 2013 post, "Find all integer solutions to Diophantine equation $x^3+y^3+z^3=w^3$".
II. n = 4
Using an elliptic curve, there are infinitely many primitive solutions to
$$x_1^4+x_2^4+x_3^4+x_4^4 = (x_1\pm x_2\pm x_3\pm x_4)^4$$
Note: See also this 2024 post, "On why solutions to $a^4+b^4+c^4+d^4 = (a+b+c+d)^4$ also come in pairs".
III. n = 5
Given the 1934 parameterization by Sastry,
$$(x^5 + 25y^5)^5 + (x^5 - 25y^5)^5 + (10x^3y^2)^5 + (50x y^4)^5 + (-x^5 + 75y^5)^5 = (x^5 + 75y^5)^5$$
choose positive rationals $(x,y)$ such that,
$$y > \frac{x}{\sqrt[5]{75}}$$
where $\frac1{\sqrt[5]{75}} \approx 0.43$, then all terms are positive, and remove all common factors.
IV. n = 6
$$x_1^6+x_2^6+\dots+x_6^6 = z^6$$ $$x_1^6+x_2^6+\dots+x_\color{red}7^6 = z^6$$
No solution yet known for the former. For the latter, the largest primitive solution to used to be just $z \approx 0.4$ million found in 2010. This has been superseded by $z \approx 21.9$ million found in 2023, a value more than 50 times larger.
$$\small 19424433^6 +19128522^6 +13805652^6 +9771972^6 +8968470^6 +8306212^6 +5749170^6 = \color{red}{21934895^6}$$
How that was found is anybody's guess.
Note: See also this 2023 post, "On Sixth Powers $x_1^6+x_2^6+x_3^6+\dots+x_7^6 = z^6$ revisited".
V. n = 7,8
There are three primitive solutions for $n=7$ and one for $n=8$. There are probably infinitely many but, there is no proof, just hand-waving. However, there is an identity for
$$x_1^7+x_2^7+\dots+x_\color{red}8^7 = z^7$$
but some of the terms are not positive and its coefficients are roughly 3900-digit numbers.
Note: See also this 2018 post, "An elliptic curve $x(x - 78126^2)(x - 4\times5^7) = y^2$ for $x_1^7+x_2^7+\dots +x_8^7= z^7$"
I. The smallest known ratios $$A^1+B^1=C^1$$ $$A^2+B^2=C^2$$ The general formula for Pythagorean triples $$(m^2-k^2)^2+(2mk)^2=(m^2+k^2)^2$$ $$3^2+4^2=5^2$$
II Next, we increase the number of parameters using Fermat's theorem for powers above 3 $$A^3+B^3+C^3=D^3$$ $$3^3+4^3+5^3=6^3$$ An example of a parametric solution by Noam Elkies $$\begin{cases} x = d(-(s+r)t^2 + (s^2+2r^2) t - s^3 + rs^2 - 2r^2s - r^3), \\ y = d(t^3 - (s+r)t^2 + (s^2+2r^2) t + rs^2 - 2r^2s + r^3), \\ z = d(-t^3 + (s+r)t^2 - (s^2+2r^2) t + 2rs^2 - r^2s + 2r^3), \\ w = d((s-2r)t^2 + (r^2-s^2) t + s^3 - rs^2 + 2r^2s - 2r^3) \end{cases}$$
$$A^4+B^4+C^4=D^4$$ The smallest example found by Roger Fryer $$95800^5+217519^4+414560^4=422481^4$$ Elkies also showed the existence of many similar solutions by obtaining such a curve with a rational point $v=\frac{31}{467}$ $$(85v^2 + 484v - 313)^4 + (68v^2 - 586v + 10)^4 + (2u)^4 = (357v^2 - 204v + 363)^4$$ $$u^2 = 22030 + 28849v - 56158v^2 + 36941v^3 - 31790v^4$$
There are also a lot of solutions for your larger case, an interesting example from user Simcha Brudno $$A^4+B^4+C^4+D^4=E^4$$ $$5400^4+1770^4+2634^4+955^4=5491^4$$
III The transition to the fifth powers is quite natural, smallest solution found by Lander $$A^5+B^5+C^5+D^5=E^5$$ $$27^5+84^5+110^5+133^5=144^5$$
There is a parametric representation for your case five $$A^5=D^5+E^5+F^5+B^5+C^5$$
where,
$$A=-2mu+rv,\; B=-2nu+rv,\; C=2nu-tv$$ $$D=- 2mu + sv,\; E=- 2u + tv,\; F=2u - sv\quad$$
and $(u,v,m,n)$ are
$$u = s ^ 2 - t ^ 2 + r ^ 2 m ^ 3 - s ^ 2 m ^ 3 - r ^ 2 n ^ 3 + t ^ 2 n ^ 3$$ $$v = s - t + r m ^ 4 - s m ^ 4 - r n ^ 4 + t n ^ 4$$ $$m = \frac{p+q}{p-q}$$ $$n =\frac{ r ^ 4 m - s ^ 4 m + s ^ 4 - t ^ 4}{ r ^ 4 - t ^ 4}$$
and $(p,q)$ are
$$p = (r + s)(r ^ 2 + s ^ 2)(s + t)(s ^ 2 + t ^ 2)(r ^ 2 + rt + t ^ 2)$$ $$q = (r ^ 4 - t ^ 4)(r ^ 2 s ^ 2 + r ^ 2 st + r s ^ 2 t + r ^ 2 t ^ 2 + rs t ^ 2 + s ^ 2 t ^ 2)$$
III $$N=A^6+B^6+C^6+D^6+E^6+F^6=G^6$$ No solutions found less than $N<1.51×10^{35}$ Although for 7 degrees the solution was obtained by Dordill. $$568^7=127^7+258^7+266^7+413^7+430^3+439^7+525^7$$ For 8 degrees, Chase did it. $$1409^8=90^8+223^8+478^8+524^8+748^8+1088^8+1190^8+1324^8$$ Although there is no specific theory on this issue, it can be said that there is an assumption that each new parameter adds $+2$ to the possible degree, based on the data that is available.