OFFSET
0,1
COMMENTS
Conjecture: a(n) > 0 for all n. Moreover, for any i,j,k = 3,4,5,... all sufficiently large integers can be written as floor(x/i) + floor(y/j) + floor(z/k), where x is an i-gonal number, y is a j-gonal number and z is a k-gonal number.
Note that if {i,j,k} is a subset of {18,19} then 48 cannot be written as floor(x/i) + floor(y/j) + floor(z/k), where x is an i-gonal number, y is a j-gonal number and z is a k-gonal number.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..3000
Zhi-Wei Sun, Natural numbers represented by floor(x^2/a)+floor(y^2/b)+floor(z^2/c), arXiv:1504.01608 [math.NT], 2015.
EXAMPLE
a(0) = 8 since 0 = floor(x/5) + floor(y/6) + floor(z/7) for any x,y,z in {0,1}, and 0 and 1 are the only m-gonal numbers smaller than m.
MATHEMATICA
SQ[n_]:=IntegerQ[Sqrt[n]]
p[m_, n_]:=p[m, n]=(m-2)*Binomial[n, 2]+n
PQ[m_, n_]:=SQ[8(m-2)n+(m-4)^2]&&(n==0||Mod[Sqrt[8(m-2)n+(m-4)^2]+m-4, 2m-4]==0)
Do[a=0; Do[If[PQ[7, 7(n-Floor[p[5, x]/5]-Floor[p[6, y]/6])+r], a=a+1], {x, 0, (Sqrt[24(5*n+4)+1]+1)/6}, {y, 0, (Sqrt[8*(6*(n-Floor[p[5, x]/5])+5)+1]+1)/4}, {r, 0, 6}];
Print[n, " ", a]; Continue, {n, 0, 70}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Apr 16 2015
STATUS
approved