OFFSET
0,2
COMMENTS
Conjecture 1: a(n) > 0 for all n = 0,1,2,.... Equivalently, for each nonnegative integer n we can write 3*n+1 as a*(a+1)/2 + b*(b+1)/2 + (2^c*5^d)^2 with a,b,c,d nonnegative integers.
Conjecture 2: For each n = 0,1,2,... we can write 24*n+10 as a^2 + b^2 + (2^c*3^d)^2 with a,b,c,d nonnegative integers and d > 0.
We have verified Conjectures 1 and 2 for n up to 2*10^8 and 10^8 respectively.
By the Gauss-Legendre theorem on sums of three squares, for each n = 0,1,... we can write 4*n+1 (or 4*n+2, or 8*n+3) as the sum of three squares.
Conjecture 1 holds for n < 8.33*10^9. - Giovanni Resta, Jun 19 2019
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..10000
EXAMPLE
a(0) = 1 with 12*0 + 5 = (2^1*5^0)^2 + 0^2 + 1^2.
a(4) = 2 with 12*4 + 5 = 53 = (2^1*5^0)^2 + 0^2 + 7^2 = (2^2*5^0)^2 + 1^2 + 6^2.
a(441019) = 2 with 12*441019 + 5 = 5292233 = (2^1*5^2)^2 + 513^2 + 2242^2 = (2^3*5^1)^2 + 757^2 + 2172^2.
MATHEMATICA
SQ[n_]:=SQ[n]=IntegerQ[Sqrt[n]];
tab={}; Do[r=0; Do[If[SQ[12n+5-4^a*25^b-x^2], r=r+1], {a, 1, Log[4, 12n+5]}, {b, 0, Log[25, (12n+5)/4^a]}, {x, 0, Sqrt[(12n+5-4^a*25^b)/2]}]; tab=Append[tab, r], {n, 0, 100}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Jun 15 2019
STATUS
approved