OFFSET
0,4
COMMENTS
Conjecture: (i) a(n) > 0 for all n > 1, and a(n) = 1 only for n = 2, 6, 7, 14, 21, 22, 26, 41, 51, 184, 189, 206, 225, 229, 526, 708.
(ii) Any natural number can be written as 2*x^5 + y^4 + z^3 + w*(w+1)/2 with x,y,z,w nonnegative integers. Also, each natural number can be written as x^5 + 2*y^4 + z^3 + w*(w+1)/2 with x,y,z,w nonnegative integers.
(iii) For each d = 1,2, every natural number can be written as x^5 + y^4 + z^3 + w*(3w+1)/d with x,y,z nonnegative integers and w an integer.
(iv) Any natural number can be written as x^4 + y^4 + z^3 + w*(3w+1)/2 with x,y,z nonnegative integers and w an integer.
Also, for each P(w) = w(3w+1)/2, w(7w+3)/2, we can write any natural number as x^4 + y^3 + z^3 + P(w) with x,y,z nonnegative integers and w an integer.
(v) Any natural number can be written as the sum of a nonnegative cube and three pentagonal numbers. Also, every n = 0,1,2,... can be expressed as the sum of two nonnegative cubes and two pentagonal numbers.
We have verified that a(n) > 1 for all n = 2..3*10^6.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..10000
Zhi-Wei Sun, Mixed sums of squares and triangular numbers, Acta Arith. 127 (2007), 103-113.
Zhi-Wei Sun, On universal sums of polygonal numbers, Sci. China Math. 58 (2015), 1367-1396.
EXAMPLE
a(2) = 1 since 2 = 0^5 + 0^4 + 1^3 + 1*2/2.
a(6) = 1 since 6 = 1^5 + 1^4 + 1^3 + 2*3/2.
a(7) = 1 since 7 = 0^5 + 0^4 + 1^3 + 3*4/2.
a(14) = 1 since 14 = 0^5 + 0^4 + 2^3 + 3*4/2.
a(21) = 1 since 21 = 1^5 + 2^4 + 1^3 + 2*3/2.
a(22) = 1 since 22 = 0^5 + 0^4 + 1^3 + 6*7/2.
a(26) = 1 since 26 = 1^5 + 2^4 + 2^3 + 1*2/2.
a(41) = 1 since 41 = 2^5 + 0^4 + 2^3 + 1*2/2.
a(51) = 1 since 51 = 2^5 + 1^4 + 2^3 + 4*5/2.
a(184) = 1 since 184 = 0^5 + 0^4 + 4^3 + 15*16/2.
a(189) = 1 since 189 = 1^5 + 2^4 + 1^3 + 18*19/2.
a(206) = 1 since 206 = 2^5 + 3^4 + 3^3 + 11*12/2.
a(225) = 1 since 225 = 0^5 + 3^4 + 2^3 + 16*17/2.
a(229) = 1 since 229 = 1^5 + 3^4 + 3^3 + 15*16/2.
a(526) = 1 since 526 = 3^5 + 1^4 + 6^3 + 11*12/2.
a(708) = 1 since 708 = 1^5 + 5^4 + 3^3 + 10*11/2.
MATHEMATICA
TQ[n_]:=TQ[n]=n>0&&IntegerQ[Sqrt[8n+1]]
Do[r=0; Do[If[TQ[n-x^5-y^4-z^3], r=r+1], {x, 0, n^(1/5)}, {y, 0, (n-x^5)^(1/4)}, {z, 1, (n-x^5-y^4)^(1/3)}]; Print[n, " ", r]; Continue, {n, 0, 80}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Mar 28 2016
STATUS
approved