4
$\begingroup$

Background: The equation

$$a^4+b^4+c^4=2d^4$$

has infinitely many positive integral solutions if we take $c=a+b$ and $a^2+ab+b^2=d^2$ further assuming that $GCD(a,b,c)=1$.

Main problem: Find some positive integral solutions to the equation

$$a^4+b^4+c^4=2d^4$$

with $a\lt b\lt c\ne a+b$ and $GCD(a,b,c)=1$.

$\endgroup$
4
  • 3
    $\begingroup$ $a = 4014369822293252845298556668977$ $b = 8028813922964684804294250901215$ $c = 8331871536210073175631303374584$ $d = 8243128117136361914922521992201$ $\endgroup$
    – Tomita
    Jan 12, 2023 at 3:40
  • 2
    $\begingroup$ Jovan, you need to accept the answer if you are satisfied with it. $\endgroup$
    – user25406
    Jan 12, 2023 at 13:39
  • $\begingroup$ @user25406 I'm satisfied with the Tomita's answer. $\endgroup$
    – user178594
    Apr 3, 2023 at 17:37
  • $\begingroup$ There are no solutions for $c\le300$. $\endgroup$
    – user178594
    Apr 4, 2023 at 9:14

2 Answers 2

13
$\begingroup$

Let $A=\frac{a}{d}, B=\frac{b}{d}, C=\frac{c}{d},$ then we get

$$A^4+B^4+C^4=2\tag{1}$$

Let $A=x+y, B=x-y, z=C^2$ then

$$2x^4+12y^2x^2+2y^4+z^2 = 2\tag{2}$$

Hence

$$y^2 = -3x^2 \pm \frac{\sqrt{32x^4+4-2z^2}}{2}\tag{3}$$

So we find the rational solutions of $(4)$.

$$v^2=32x^4+4-2z^2\tag{4}$$

$(4)$ can be parameterized to $(5)$ using $(z,v)=(4x^2,2)$ with $w=(k^2+2)C$.

$$w^2 = 4(k^2+2)(-2+k^2)x^2-4(k^2+2)k\tag{5}$$

Thus we must find the rational solutions of simultaneous equations $(3),(5)$.

First we get a parametric solution of $(5)$ using giving some rational number $k$.

Take $k=\frac{-9}{13}$. Then we get:

$$x = \frac{3}{142}\frac{28561m^2-430732-7081100m}{28561m^2+430732}$$ $$w = \frac{-1257}{11999}\frac{-10768300+173732m+714025m^2}{28561m^2+430732}$$ $$C = \frac{-3}{71}\frac{-10768300+173732m+714025m^2}{28561m^2+430732}$$

Hence $(3)$ becomes

$$y^2 = \frac{10083247442281m^4-41255619857608m^2+2788930240200m^3+2293337020040464-42060204482400m}{20164(28561m^2+430732)^2}$$

Hence we must find the rational solutions $(m,V)$ of $(6)$
$$V^2 = 10083247442281m^4+2788930240200m^3-41255619857608m^2-42060204482400m+2293337020040464\tag{6}$$

Quartic equation $(6)$ is birationally equivalent to the elliptic curve using a known solution $(m,V)=(360/169,-47445892)$ as follows. $$Y^2 = X^3 -X^2 -1097465452X+ 3288951361780\tag{7}$$

Though I couldn't find the generator of elliptic curve , I got one solution $P(X,Y)=(\cfrac{-97636631990}{5536609}, \cfrac{53963430434179560}{13027640977})$.

Since $(7)$ has rank $1$, we get infinitely many solutions of $(7)$ using group law as follows.

For instance, we get a solution of $(6)$,
$2Q(m,V)=(\cfrac{-762617488871059540}{36474714629699307},\cfrac{-63980049963485293932709632365019549028}{46581170383319934672021751209})$

We get $(x,y)=(\cfrac{4317501713916820330332746705607}{16486256234272723829845043984402},\cfrac{12346241358503326020929860043561}{16486256234272723829845043984402})$

Finally, we get

$a = 4014369822293252845298556668977$
$b = 8028813922964684804294250901215$
$c = 8331871536210073175631303374584$
$d = 8243128117136361914922521992201$

$\endgroup$
10
  • $\begingroup$ Elegant, but why do you suppose this solution is so far from minimal? See the other answer. $\endgroup$ Jan 15, 2023 at 10:55
  • 1
    $\begingroup$ I tried to make it understandable without much prerequisite knowledge. $\endgroup$
    – Tomita
    Jan 15, 2023 at 13:11
  • 2
    $\begingroup$ If everyone were a professional mathematician, maybe $10$ lines answer might be enough. $\endgroup$
    – Tomita
    Jan 15, 2023 at 23:57
  • 1
    $\begingroup$ @OscarLanzi: Maybe has to do with the fact it was not brute-force but a rational point on an elliptic curve. Quite similar to this MSE post about co-prime solutions to $a^4+b^4+c^4 = 9d^2$ where an elliptic curve yields $$2682440^4+15365639^4+18796760^4 = 9\times141668657747643^2$$ but the smallest by brute force is only $$155^4+260^4+296^4 = 9\times37747^2.$$ $\endgroup$ Feb 6, 2023 at 10:12
  • 2
    $\begingroup$ If we take the point $Q(m)=\frac{360}{169}$ then we get a small solution $(a,b,c,d)=( 32, 1065, 2321, 1973).$ The large solution corresponds to the point $2Q(m)=\cfrac{-762617488871059540}{36474714629699307}.$ $\endgroup$
    – Tomita
    Feb 7, 2023 at 4:09
20
$\begingroup$

$(a, b, c, d) = (32, 1065, 2321, 1973), (2156, 5605, 8381, 7383)$

$\endgroup$
2
  • 1
    $\begingroup$ did you use an algorithm or brute force? $\endgroup$
    – user25406
    Jan 10, 2023 at 13:31
  • 2
    $\begingroup$ @user25406 brute force $\endgroup$ Jan 10, 2023 at 13:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.