OFFSET
1,2
COMMENTS
Conjecture: a(n) > 0 for all n > 0. Equivalently, any positive integer n can be written as a*(a+1)/2 + b*(b+1)/2 + 2^c*10^(2d) with a,b,c,d nonnegative integers.
This was motivated by A308566, and we verified a(n) > 0 for all n = 1..2*10^8. Then, on the author's request, Giovanni Resta verified the above conjecture for n up to 10^10. G. Resta also noted that 729546026 cannot be written as a*(a+1)/2 + b*(b+1)/2 + 2^c*3^d with a,b,c,d nonnegative integers.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(1) = 1 with 1 = 0*1/2 + 0*1/2 + 2^0*10^(2*0).
a(10107) = 1 with 10107 = 82*83/2 + 96*97/2 + 2^11*10^(2*0).
MATHEMATICA
TQ[n_]:=TQ[n]=IntegerQ[Sqrt[8n+1]];
tab={}; Do[r=0; Do[If[TQ[n-10^(2k)*2^m-x(x+1)/2], r=r+1], {k, 0, Log[10, n]/2}, {m, 0, Log[2, n/10^(2k)]}, {x, 0, (Sqrt[4(n-10^(2k)*2^m)+1]-1)/2}]; tab=Append[tab, r], {n, 1, 100}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Jun 11 2019
STATUS
approved