%I #66 Jul 14 2024 01:56:40
%S 1,2,3,1,2,3,4,2,3,1,2,3,4,2,3,4,5,3,4,1,2,3,4,2,3,4,5,3,4,2,3,4,5,3,
%T 1,2,3,4,2,2,3,4,3,3,2,3,4,4,3,3,4,5,4,4,2,1,2,3,3,2,3,4,4,3,3,2,3,4,
%U 4,2,3,4,5,3,3,2,3,4,4,3,4,5,5,1,2,3,4,2,3,3,2,3,4,2,3,3,4,3,4,4,3,4
%N Minimal number of tetrahedral numbers (A000292(k) = k(k+1)(k+2)/6) needed to sum to n.
%C According to Dickson, Pollock conjectures that a(n) <= 5 for all n. Watson shows that a(n) <= 8 for all n, and Salzer and Levine show that a(n) <= 5 for n <= 452479659. - _N. J. A. Sloane_, Jul 15 2011
%C Possible correction of the first comment by Sloane 2011: it appears to me from the linked reference by Salzer and Levine 1968 that 452479659 is instead the upper limit for sums of five Qx = Tx + x, where Tx are the tetrahedral numbers we want. They also mention an upper limit for sums of five Tx, which is: a(n) <= 5 for n <= 276976383. - _Ewoud Dronkert_, May 30 2024
%C If we use the greedy algorithm for this, we get A281367. - _N. J. A. Sloane_, Jan 30 2017
%C Could be extended with a(0) = 0, in analogy to A061336. Kim (2003, first row of table "d = 3" on p. 73) gives max {a(n)} = 5 as a "numerical result", but the value has no "* denoting exact values" (see Remark at end of paper), which means this could be incorrect. - _M. F. Hasler_, Mar 06 2017, edited Sep 22 2022
%D Dickson, L. E., History of the Theory of Numbers, Vol. 2: Diophantine Analysis. New York: Dover, 1952, see p. 13.
%H Lars Blomberg, <a href="/A104246/b104246.txt">Table of n, a(n) for n = 1..10000</a>
%H Hyun Kwang Kim, <a href="http://DOI.org/10.1090/S0002-9939-02-06710-2">On regular polytope numbers</a>, Proc. Amer. Math. Soc. 131 (2003), pp. 65-75.
%H F. Pollock, <a href="https://doi.org/10.1098/rspl.1843.0223">On the Extension of the Principle of Fermat's Theorem of the Polygonal Numbers to the Higher Orders of Series Whose Ultimate Differences Are Constant. With a New Theorem Proposed, Applicable to All the Orders</a>, Abs. Papers Commun. Roy. Soc. London 5, 922-924, 1843-1850.
%H H. E. Salzer and N. Levine, <a href="https://doi.org/10.1090/S0025-5718-1958-0099756-3">Table of Integers Not Exceeding 1000000 that are Not Expressible as the Sum of Four Tetrahedral Numbers</a>, Math. Comp. 12, 141-144, 1958.
%H H. E. Salzer and N. Levine, <a href="https://doi.org/10.1090/S0025-5718-1968-0224578-6">Proof that every integer <= 452,479,659 is a sum of five numbers of the form Q_x = (x^3+5x)/6, x >= 0</a>, Math. Comp., (1968), 191-192.
%H N. J. A. Sloane, <a href="/transforms.txt">Transforms</a>.
%H G. L. Watson, <a href="https://doi.org/10.1112/jlms/s1-27.2.217">Sums of eight values of a cubic polynomial</a>, J. London Math. Soc., 27 (1952), 217-224.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/TetrahedralNumber.html">Tetrahedral Number</a>.
%p tet:=[seq((n^3-n)/6,n=1..20)];
%p LAGRANGE(tet,8, 120); # the LAGRANGE transform of a sequence is defined in A193101. - _N. J. A. Sloane_, Jul 15 2011
%o (PARI) \\ available on request. - _M. F. Hasler_, Mar 06 2017
%o (PARI)
%o seq(N) = {
%o my(a = vector(N, k, 8), T = k->(k*(k+1)*(k+2))\6);
%o for (n = 1, N,
%o my (k1 = sqrtnint((6*n)\8, 3), k2 = sqrtnint(6*n, 3));
%o while(n < T(k2), k2--); if (n == T(k2), a[n] = 1; next());
%o for (k = k1, k2, a[n] = min(a[n], a[n - T(k)] + 1))); a;
%o };
%o seq(102) \\ _Gheorghe Coserea_, Mar 14 2017
%Y Cf. A000292 (tetrahedral numbers), A000797 (numbers that need 5 tetrahedral numbers).
%Y See also A102795-A102806, A102855-A102858, A193101, A193105, A281367 (the "triangular nachos" numbers).
%Y Cf. A061336 (analog for triangular numbers).
%K nonn
%O 1,2
%A _Eric W. Weisstein_, Feb 26 2005
%E Edited by _N. J. A. Sloane_, Jul 15 2011
%E Edited by _M. F. Hasler_, Mar 06 2017