OFFSET
0,2
COMMENTS
Conjecture: (i) a(n) > 0 for all n. Also, a(n) = 1 only for n = 0, 49.
(ii) Any nonnegative integer not equal to 18 can be written as x*(x+1)/2 + y*(3*y+1) + z*(3*z-1) with x,y,z nonnegative integers.
See also the comments of A254573 for a similar conjecture. We have proved that any nonnegative integer can be written as x*(x+1)/2 + y*(3*y+1)/2 + z*(3*z-1)/2 with x,y,z integers.
Note that Zhi-Wei Sun conjectured in 2009 (cf. Conjecture 1.10 of arXiv:0905.0635) that every n = 0,1,... can be expressed as the sum of a triangular number and two pentagonal numbers.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..10000
Zhi-Wei Sun, On universal sums of polygonal numbers, arXiv:0905.0635.
EXAMPLE
a(14) = 2 since 14 = 0*1/2 + 1*(3*1+1)/2 + 3*(3*3-1)/2 = 3*4/2 + 2*(3*2+1)/2 + 1*(3*1-1)/2.
a(49) = 1 since 49 = 1*2/2 + 4*(3*4+1)/2 + 4*(3*4-1)/2.
MATHEMATICA
TQ[n_]:=IntegerQ[Sqrt[8n+1]]
Do[r=0; Do[If[TQ[n-y(3y+1)/2-z(3z-1)/2], r=r+1], {y, 0, (Sqrt[24n+1]-1)/6}, {z, 0, (Sqrt[24(n-y(3y+1)/2)+1]+1)/6}];
Print[n, " ", r]; Continue, {n, 0, 70}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Feb 01 2015
STATUS
approved