OFFSET
0,2
COMMENTS
Conjecture: a(n) > 0 for all n >= 0, and a(n) = 1 only for n = 0, 16^k*m (k = 0,1,2,... and m = 7, 8, 23, 44, 47).
We have verified this for n up to 3*10^5.
As m/n = (m*n^3)/n^4 for any nonnegative integers m and n > 0, the conjecture implies that each nonnegative rational number can be written as x^4 + 25*y^4 + z^2 + w^2 with x,y,z,w rational numbers.
See also A349943 for similar conjectures.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..10000
Zhi-Wei Sun, Refining Lagrange's four-square theorem, J. Number Theory 175(2017), 167--190.
Zhi-Wei Sun, New Conjectures in Number Theory and Combinatorics (in Chinese), Harbin Institute of Technology Press, 2021.
EXAMPLE
a(0) = 1 with 0 = 0^4 + 0^2 + (0^4 + 0^2)/25.
a(7) = 1 with 7 = 1^4 + 2^2 + (1^4 + 7^2)/25.
a(8) = 1 with 8 = 0^4 + 2^2 + (0^4 + 10^2)/25.
a(23) = 1 with 23 = 1^4 + 3^2 + (1^4 + 18^2)/25.
a(44) = 1 with 44 = 1^4 + 3^2 + (5^4 + 15^2)/25.
a(47) = 1 with 47 = 1^4 + 6^2 + (3^4 + 13^2)/25.
MATHEMATICA
SQ[n_]:=SQ[n]=IntegerQ[Sqrt[n]];
tab={}; Do[r=0; Do[If[SQ[25(n-x^4-y^2)-z^4], r=r+1], {x, 0, n^(1/4)}, {y, 0, Sqrt[n-x^4]}, {z, 0, (25(n-x^4-y^2))^(1/4)}]; tab=Append[tab, r], {n, 0, 100}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Dec 05 2021
STATUS
approved