On the sums of many biquadrates in two different ways
Farzali Izadi
Farzali Izadi
Department of Mathematics
Faculty of Science
Urmia University
Urmia 165-57153, Iran
[email protected]
Β andΒ
Mehdi Baghalaghdam
Mehdi Baghalaghdam
Department of Mathematics
Faculty of Science
Azarbaijan Shahid Madani University
Tabriz 53751-71379, Iran
[email protected]
Abstract.
The beautiful quartic Diophantine equation A4+hB4=C4+hD4, where h is a fixed arbitrary positive integer, has been studied by some mathematicians for many years. Although Choudhry, Gerardin and Piezas presented solutions of this equation for many values of h, the
solutions were not known for arbitrary positive integer values of h.
In a separate paper (see the arxiv), the authors completely solved the equation for arbitrary values of h, and worked out many examples for different values of h, in particular for the values which has not already been given a solution. Our method, give rise to infinitely many solutions and also infinitely many parametric solutions for the equation for arbitrary rational values of h. In the present paper, we use the above solutions as well as a simple idea to show that how some numbers can be written as the sums of two, three, four, five, or more biquadrates in two different ways. In particular we give examples for the sums of 2, 3, β―, and 10, biquadrates expressed in two different ways.
Key words and phrases:
Diophantine equations. Fourth power Diophantine equations, Elliptic curves
2010 Mathematics Subject Classification:
11D45, 11D72, 11D25, 11G05 and 14H52
1. Introduction
The beautiful quartic Diophantine equation A4+hB4=C4+hD4, where h is an arbitrary positive integer, has been studied by some mathematicians for many years. The numerical solutions for 75 integer values of hβ€101 was given by Choudhry [A.C]. Then these solutions were
first extended by Piezas [T.P] for all positive integer values of hβ€101,
and finally by Tomita [S.T] for all positive integer values of h<1000, except
h=967. The lost solution for h=967, was supplied by Bremner as mentioned by Tomita. Currently, by computer search, the small solutions of this Diophantine equation are known for all positive
integers h<5000, and A,B,C,D<100000, except for
h=1198,1787,1987,
2459,2572,2711,2797,2971,
3086,3193,3307,3319,3334,3347,3571,3622,3623,3628,3644,
3646,3742,3814,3818,3851,3868,3907,3943,3980,
4003,4006,4007,4051,4054,4099,4231,4252,4358,4406,4414,
4418,4478,4519,4574,4583,4630,4643,4684,4870,4955,4999,
see [S.T].
Gerardin and Piezas found solutions of this equation when h is given by polynomials of degrees 5, and 2,
respectively, (See [T.P],[S.T]). Also Choudhry presented several new solutions of this
equation when h is given by polynomials of degrees 2, 3, and 4. (See [A.C2])
In a seprate paper, by using the elliptic curves theory, we completely solved the above Diophantine equation for every arbitrary rational values of h, in particular, for every arbitrary positive integer values of h, (See [I.B]). In this paper by using the results of the previous paper as well as a simple idea, we easily show that how some numbers can be written as the sums of two, three, four, five, or more biquadrates in two different ways.
Our main result is the following:
** Main Theorem 1.1****.**
The Diophantine equation βi=1nβai4β=βi=1nβbi4β, where nβ₯2, is a fixed arbitrary natural number, has infinitely many nontrivial positive integer solutions. Furthermore, we may obtain infinitely many parametric solutions for the aforementioned Diophantine equation. This shows that how some numbers can be written as the sums of many biquadrates in two different ways.
Firstly, we prove the following theorem, which is our main theorem in the pervious paper, then this theorem easily implies the above main result.
2. The Diophantine equation A4+hB4=C4+hD4
Theorem 2.1**.**
The Diophantine equation :
[TABLE]
*where h is an arbitrary rational number, has infinitely many integer positive solutions. Furthermore, we may obtain infinitely many parametric solutions for the above Diophantine equation as well.
Moreover, we have A+C=B+D.
By letting h=uvβ, this also solves the equation of the form uA4+vB4=uC4+vD4, for every arbitrary integer values of u, and v.
*We use some auxiliary variables for transforming the above quartic equation to a cubic elliptic curve of the positive rank in the form
Y2=X3+FX2+GX+H*,
where the coefficients F, G, and H, are all functions of h.
Since the elliptic curve has positive rank, it has infinitely many rational points which give rise to infinitely many integer solutions for the above equation too.*
Proof. Let: A=mβq, B=m+p, C=m+q, and, D=mβp, where all variables are rational numbers. By substituting these variables in the above equation we get
β8m3qβ8mq3+8hm3p+8hmp3=0.
Then after some simplifications and clearing the case m=0, we get:
[TABLE]
We may assume that hpβq=1, and m2=βhp3+q3. By plugging
q=hpβ1,
into the equation (2.2), and some simplifications, we obtain the elliptic curve:
[TABLE]
Multiplying both sides of this elliptic curve by
(h3βh)2, and letting
[TABLE]
and
[TABLE]
we get the new elliptic curve
[TABLE]
Then if for given h, the above elliptic curve has positive rank, by calculating m, p, q, A, B, C, D, from the relations (2.4), (2.5), q=hpβ1, A=mβq, B=m+p, C=m+q, D=mβp, after some simplifications and canceling the denominators of A, B, C, D, we obtain infinitely many integer solutions for the Diophantine equation.
If the rank of the elliptic curve (2.6) is zero, we may replace h by ht4, for an appropriate arbitrary rational number t such that the rank of the elliptic curve (2.6) becomes positive. Then, we obtain infinitely many integer solutions for the Diophantine equation
A4+(ht4)B4=C4+(ht4)D4. Then by multiplying t4, to the numbers B4, D4,(written as A4+h(tB)4=C4+h(tD)4), we
get infinitely many positive integer solutions for the main Diophantine equation
A4+hB4=C4+hD4 (see the examples.).
Finally, for getting infinitely parametric solutions, we mention that each point on the elliptic curve can be represented in the form (s2rβ,s3tβ), where r, s, t βZ.
So if we put
nP=(sn2βrnββ,sn3βtnββ), where the point P is one of the elliptic curve generators, we may obtain a parametric solution for each case of the Diophantine equations by using the new point Pβ²=nP=(sn2βrnββ,sn3βtnββ). Also by using the new points of infinite order and repeating the above process, we may obtain infinitely many nontrivial parametric solutions for each case of the Diophantine equations. (see [L.W], page 83, for more information about the computations of rnβ, snβ, tnβ.)
Now the proof of the above theorem is complete. It is interesting to see that A+C=B+D, too.
Remark 1. Note that by putting h=uvβ, we may solve the Diophantine equation of the form uA4+vB4=uC4+vD4, for every arbitrary integer values of u, and v.
Proof of Theorem 1.1. From the theorem 2.1, we know that the Diophantine equation
A4+hB4=C4+hD4, where h is an arbitrary fixed rational number, has infinitely many positive integer solutions and we may obtain infinitely many nontrivial parametric solutions for the aforementioned Diophantine equation too.
Now, in the equation A4+hB4=C4+hD4, let us take h=Β±h14βΒ±h24βΒ±+h34βΒ±β―Β±hnβ14β, where hiβ are arbitrary fixed rational numbers, then we get
[TABLE]
Now by multiplying hi4β, to the numbers B4, D4, and by writing the positive terms in the one side and the negative terms in the other side, we get n positive terms of fourth powers in the both sides, and then obtain infinitely many nontrivial solutions and infinitely many nontrivial parametric solutions for the Diophantine equation βi=1nβai4β=βi=1nβbi4β. Now the proof of the main theorem is complete.
Remark 2. Surprisingly, we may solve the general Diophantine equation βi=1nβaiβxi4β=βj=1nβajβyj4β, by taking h=Β±a1βh14βΒ±β―Β±amβhm4β in the equation A4+hB4=C4+hD4.
Now we are going to work out many examples.
Example 1. Sums of 2 biquadrates in two different ways (h=1):
A4+B4=C4+D4.
h=16=24.
E(16):Y2=X3β768X2+195840Xβ16646400.
rank=1; Generator: P=(X,Y)=(340,680).
Points: 2P=(313,β275), 3P=(729995860β,19683β727724440β),
4P=(302500123577441β,166375000305200800239β).
(p,m,q)=(4080313β,816β55β,25558β),
(pβ²,mβ²,qβ²)=(87482929β,118098β1070183β,21879529β),
(pβ²β²,mβ²β²,qβ²β²)=(1234200000123577441β,678810000000305200800239β,7713750046439941β).
Solutions:
12034+764=6534+11764,
15847494+20612834=5556174+22194494,
1034706805614+7463367855784=7138722810394+4744664153784.
Example 2. Sums of 3 biquadrates in two different ways:
X14β+X24β+X34β=Y14β+Y24β+Y34β.
h=1639β=4454β14β.
E(1639β):Y2=X3β2564563βX2+655365772195βXβ167772162433942225β.
rank=2; Generators: P1β=(X,Y)=(2563289β,2563289β), and P2β=(Xβ²,Yβ²)=(2566565β,51243615β).
Points: 2P1β=(2564069β,512β14183β), 3P1β=(576009572761β,8640001752134549β), P2β.
(p,m,q)=(37955008β,3795β8728β,12652804β),
(pβ²,mβ²,qβ²)=(43875605392β,658125110806928β,112536712β),
(pβ²β²,mβ²β²,qβ²β²)=(7591616β,69488β,2531060β).
Solutions:
85704+23254+17174=1584+85854+4654,
111663014+187324704+31789394=165354314+158946954+37464944,
10944+43654+4694=42744+23454+8734.
Example 3. Sums of 4 biquadrates in two different ways:
X14β+X24β+X34β+X44β=Y14β+Y24β+Y34β+Y44β.
h=23=2454β14β44β.
E(23):Y2=X3β1587X2+837936Xβ147476736.
rank=1; Generator: P=(X,Y)=(880,6512).
Points: P, 2P=(54763424933β,405224275924489β).
(p,m,q)=(695β,6937β,6946β),
(pβ²,mβ²,qβ²)=(665005443424933β,4921040256275924489β,2891328533605β).
Solutions:
94+1054+164+644=834+804+214+844,
12645424424+26468476554+224794474+899177884=23682403984+1123972354+5293695314+21174781244.
Example 4. Sums of 5 biquadrates in two different ways:
X14β+X24β+X34β+X44β+X54β=Y14β+Y24β+Y34β+Y44β+Y54β.
h=173β=17414+24+34+114β.
E(173β):Y2=X3β28927βX2β835217560βXβ24137569705600β.
rank=1; Generator: P=(X,Y)=(289400β,289440β).
Points: P, 2P=(13987665437β,3077272313237β).
(p,m,q)=(21β170β,21β187β,21β51β),
(pβ²,mβ²,qβ²)=(406560β1112429β,8944320β5325029β,135520β200957β).
Solutions:
23124+3574+7144+10714+39274=40464+174+344+514+1874,
1349482614+297984674+595969344+893954014+3277831374=3159992474+191484094+382968184+574452274+2106324994.
Example 5. Sums of 6 biquadrates in two different ways:
X14β+X24β+X34β+X44β+X54β+X64β=Y14β+Y24β+Y34β+Y44β+Y54β+Y64β.
h=2566β=5414+24+34+44+64β.
E(2566β):Y2=X3β62513068βX2+39062548756708βXβ24414062560637092516β.
rank=1; Generator: P=(X,Y)=(785680900001020552759889β,8809054250800005339057694122399β).
Point: P.
(p,m,q)=(5807753212847868328325β,651165290219136250424844940075β,8799626081034770525β).
Solution:
1030594130791454+314849816847994+629699633695984+944549450543974+1259399267391964+1889098901087944=2032293510551754+114509940895934+229019881791864+343529822687794+458039763583724+687059645375584.
Example 6. Sums of 7 biquadrates in two different ways:
X14β+X24β+X34β+X44β+X54β+X64β+X74β=Y14β+Y24β+Y34β+Y44β+Y54β+Y64β+Y74β.
h=377β=3464β14β24β34+44β54β.
E(377β):Y2=X3β35929βX2+2735099680βXβ729207790105600β.
rank=1; Generator: P=(X,Y)=(8192500β,7297695260β).
Points: P, 2P=(87592752816892959356452β,819789332824071975806887820176684β).
(p,m,q)=(1848125β,1663210399β,7253β),
(pβ²,mβ²,qβ²)=(369706300378801723239839113β,3460118235875227080243951721955044171β,1440414157320282825681793β).
Solutions:
27664+345724+230484+288104+46374+92744+139114=339634+278224+185484+231854+57624+115244+172864,
X1β=653165044877947269, X2β=1215694385212406862, X3β=810462923474937908,
X4β=1013078654343672385, X5β=41335991086309694, X6β=82671982172619388,
X7β=124007973258929082, Y1β=1385020210743079782, Y2β=248015946517858164,
Y3β=165343964345238776, Y4β=206679955431548470, Y5β=202615730868734477,
Y6β=405231461737468954, Y7β=607847192606203431.
Example 7. Sums of 8 biquadrates in two different ways:
X14β+X24β+β―+X84β=Y14β+Y24β+β―+Y84β.
h=10=2474+14+24β34β44β54β64β.
E(10):Y2=X3β300X2+29700Xβ980100.
rank=1; Generator: P=(X,Y)=(165,495).
Points: P, 2P=(4505β,8β85β), 3P=(961172029β,29791β20192733β).
(p,m,q)=(61β,21β,32β), (pβ²,mβ²,qβ²)=(792101β,1584β17β,396109β), (pβ²β²,mβ²β²,qβ²β²)=(288305213β,297910β203967β,28832330β).
Solutions:
34+44+44+54+144=74+74+84+104+124,
9064+12954+1854+3704+6574+8764+10954+13144=8384+15334+2194+4384+5554+7404+9254+11104,
13342014+15760434+2251494+4502984+11602564+15470084+19337604+23205124=1103994+27072644+3867524+7735044+6754474+9005964+11257454+13508944.
Example 8. Sums of 9 biquadrates in two different ways:
X14β+X24β+β―+X94β=Y14β+Y24β+β―+Y94β.
h=821β=4484+14β24β34β44+54β64β74β.
E(821β):Y2=X3β641323βX2+4096498771βXβ26214462678889β.
rank=1; Generator: P=(X,Y)=(11552163241β,351180846525193β).
Point: P.
(p,m,q)=(75816928β,144039123409β,361505β).
Solution:
3123444+20403284+2550414+12752054+164464+246694+328924+493384+575614=12996164+657844+82234+411154+5100824+7651234+10201644+15302464+17852874.
By choosing the other points on the elliptic curve such as 2P, 3P, β―, (or changing the value of h, and getting new elliptic curve) we obtain infinitely many solutions for the above Diophantine equation as well.
h=2β3β=4484+14+24+34β44β54β64β74β.
E(2β3β):Y2=X3β427βX2+16135βXβ64225β.
rank=1; Generator: P=(X,Y)=(1685β,6455β).
Point: P.
(p,m,q)=(6β17β,24β11β,413β).
Solution:
3564+6324+794+1584+2374+2284+2854+3424+3994=2684+4564+574+1144+1714+3164+3954+4744+5534.
Example 9. Sums of 10 biquadrates in two different ways:
X14β+X24β+β―+X104β=Y14β+Y24β+β―+Y104β.
h=β63=34144+14+24+34+44+54β64β114β134β.
E(β63):Y2=X3β11907X2+47246976Xβ62492000256.
rank=1; Generator: P=(X,Y)=(4960,30752).
Points: P, 2P=(9614096948β,2979174223316β).
(p,m,q)=(252β5β,252β31β,41β), (pβ²,mβ²,qβ²)=(60058656β1024237β,1861818336β18555829β,95331270925β).
Solutions:
1414+2524+184+364+544+724+904+784+1434+1694=484+1824+134+264+394+524+654+1084+1984+2344,
2356085314+3521502324+251535884+503071764+754607644+1006143524+1257679404+395865544+725753494+857708674=1799410444+923686264+65977594+131955184+197932774+263910364+329887954+1509215284+2766894684+3269966444.
By choosing the other points on the above elliptic curves such as 3P, 4P, β―, (or changing the value of h, and getting new elliptic curves) we obtain infinitely many solutions for the above Diophantine equation.
The Sage software was used for calculating the rank of the elliptic curves, (see [S.A]).