OFFSET
0,4
COMMENTS
Conjecture: Any integer m can be written as x^4 + y^4 - z^2, where x,y,z are rational numbers with z <= |m|.
This implies the existence of a(n) for all n >= 0. As a/b = (a*b^3)/b^4 for any integer a and nonzero integer b, the conjecture also implies that any rational number can be written as x^4 + y^4 - z^2 with x,y,z rational numbers.
LINKS
Chai Wah Wu, Table of n, a(n) for n = 0..2648 (terms 0..200 from Zhi-Wei Sun)
Zhi-Wei Sun, Sums of four rational squares with certain restrictions, arXiv:2010.05775 [math.NT], 2020-2022.
EXAMPLE
a(4) = 20 with 20^4*4 = 15^4 + 28^4 - 159^2 and 159 < 20^2*4.
a(9) = 24 with 24^4*9 = 20^4 + 45^4 - 1129^2 and 1129 < 24^2*9.
a(164) = 30 with 30^4*164 = 66^4 + 185^4 - 32519^2 and 32519 < 30^2*164.
From Chai Wah Wu, Feb 21 2022: (Start)
a(244) = 50 with 50^4*244 = 455^4 + 504^4 - 325359^2 and 325359 < 50^2*244.
a(329) = 46 with 46^4*329 = 90^4 + 195^4 - 6199^2 and 6199 < 46^2*329.
a(414) = 21 with 21^4*414 = 135^4 + 415^4 - 172954^2 and 172954 < 21^2*414.
a(554) = 74 with 74^4*554 = 475^4 + 710^4 - 537039^2 and 537039 < 74^2*554.
(End)
MATHEMATICA
QQ[n_]:=QQ[n]=IntegerQ[n^(1/4)];
tab={}; Do[m=1; Label[bb]; k=m^4; Do[If[QQ[k*n+z^2-x^4],
tab=Append[tab, m]; Goto[aa]], {z, 0, m^2*n}, {x, 0, ((k*n+z^2)/2)^(1/4)}]; m=m+1; Goto[bb]; Label[aa], {n, 0, 100}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Feb 06 2022
STATUS
approved