A000389 -id:A000389 - cp's OEIS frontend

A000417 Euler transform of A000389.

1, 7, 28, 105, 357, 1232, 4067, 13301, 42357, 132845, 409262, 1243767, 3727360, 11036649, 32300795, 93538278, 268164868, 761656685, 2144259516, 5986658951, 16583102077, 45593269265, 124464561544, 337479729179, 909156910290, 2434121462871, 6478440788169

Offset: 1

N. J. A. Sloane

nonn

N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 1..1000
A. O. L. Atkin, P. Bratley, I. G. McDonald and J. K. S. McKay, Some computations for m-dimensional partitions, Proc. Camb. Phil. Soc., 63 (1967), 1097-1100.
A. O. L. Atkin, P. Bratley, I. G. McDonald and J. K. S. McKay, Some computations for m-dimensional partitions, Proc. Camb. Phil. Soc., 63 (1967), 1097-1100. [Annotated scanned copy]
N. J. A. Sloane, Transforms

Cf. A000041, A000219, A000294, A000335, A000391, A000428, A255965.

with(numtheory): etr:= proc(p) local b; b:=proc(n) option remember; local d,j; if n=0 then 1 else add(add(d*p(d), d=divisors(j)) *b(n-j), j=1..n)/n fi end end: a:= etr(n-> binomial(n+4,5)): seq(a(n), n=1..30); # Alois P. Heinz, Sep 08 2008

nn = 100; b = Table[Binomial[n, 5], {n, 5, nn + 5}]; Rest[CoefficientList[Series[Product[1/(1 - x^m)^b[[m]], {m, nn}], {x, 0, nn}], x]] (* T. D. Noe, Jun 20 2012 *)

a(n)=if(n<0, 0, polcoeff(exp(sum(k=1, n, x^k/(1-x^k)^6/k, x*O(x^n))), n)) /* Joerg Arndt, Apr 16 2010 */

a(n) ~ (3*Zeta(7))^(31103/423360) / (2^(180577/423360) * sqrt(7*Pi) * n^(242783/423360)) * exp(Zeta'(-1)/5 - 5*Zeta(3)/(48*Pi^2) + Zeta(5)/(16*Pi^4) - Pi^36/(1162964338810860915 * Zeta(7)^5) + Pi^24 * Zeta(5) / (413420708484 * Zeta(7)^4) - Pi^22 / (137806902828 * Zeta(7)^3) - Pi^12 * Zeta(5)^2 / (551124 * Zeta(7)^3) + Pi^12 * Zeta(3) / (11252115 * Zeta(7)^2) + Pi^10 * Zeta(5) / (122472 * Zeta(7)^2) + 49*Zeta(5)^3 / (216 * Zeta(7)^2) - Pi^8 / (108864 * Zeta(7)) - Zeta(3) * Zeta(5) / (15*Zeta(7)) + Zeta'(-5)/120 + 7*Zeta'(-3)/24 + (22 * 2^(6/7) * Pi^30 / (46901442470561469 * 3^(1/7) * Zeta(7)^(29/7)) - 10 * 2^(6/7) * Pi^18 * Zeta(5) / (8931928887 * 3^(1/7) * Zeta(7)^(22/7)) + Pi^16 / (141776649 * 6^(1/7) * Zeta(7)^(15/7)) + 2^(6/7) * Pi^6 * Zeta(5)^2 / (1701 * 3^(1/7) * Zeta(7)^(15/7)) - 2^(6/7) * Pi^6 * Zeta(3) / (19845 * 3^(1/7) * Zeta(7)^(8/7)) - Pi^4 * Zeta(5) / (216 * 6^(1/7) * Zeta(7)^(8/7))) * n^(1/7) + (-2 * 2^(5/7) * Pi^24 / (3938980639167 * 3^(2/7) * Zeta(7)^(23/7)) + Pi^12 * Zeta(5) / (500094 * 6^(2/7) * Zeta(7)^(16/7)) - Pi^10 / (142884 * 6^(2/7) * Zeta(7)^(9/7)) - 7*Zeta(5)^2 / (12 * 6^(2/7) * Zeta(7)^(9/7)) + Zeta(3)/(5 * (6*Zeta(7))^(2/7))) * n^(2/7) + (5 * 2^(4/7) * Pi^18 / (8931928887 * 3^(3/7) * Zeta(7)^(17/7)) - Pi^6 * Zeta(5) / (567 * 6^(3/7) * Zeta(7)^(10/7)) + Pi^4 / (108 * (6*Zeta(7))^(3/7))) * n^(3/7) + (-Pi^12 / (750141 * 6^(4/7) * Zeta(7)^(11/7)) + 7*Zeta(5) / (4 * (6 * Zeta(7))^(4/7))) * n^(4/7) + 2^(2/7) * Pi^6 / (945 * (3*Zeta(7))^(5/7)) * n^(5/7) + 7*Zeta(7)^(1/7) / 6^(6/7) * n^(6/7)). - Vaclav Kotesovec, Mar 12 2015

More terms from Sean A. Irvine, Nov 14 2010

A101289 Inverse Moebius transform of 5-simplex numbers A000389.

Original entry on oeis.org

1, 7, 22, 63, 127, 280, 463, 855, 1309, 2135, 3004, 4704, 6189, 9037, 11776, 16359, 20350, 27901, 33650, 44695, 53614, 68790, 80731, 103776, 118882, 148701, 171220, 210469, 237337, 292292, 324633, 393351, 438922, 522298, 576346, 690333, 749399

Offset: 1

Jonathan Vos Post, Mar 31 2006

From Georg Fischer, Aug 06 2025: (Start)
The general pattern is a(n) = Sum_{d|n} (Product_{k=0..m-1} d+k)/m! = Sum_{d|n} binomial(d+m-1, m) = Sum{d|n} Axxxxxx(d), with:
m  Axxxxxx  resulting sequence
------------------------------
2  A000217  A007437
3  A000292  A116963
4  A000332  A073570
5  A000389  A101289 (this sequence)
The other formulas generalize correspondingly.
A116989 uses A000579 and m=6 within a modified formula.
(End)

Seiichi Manyama, Table of n, a(n) for n = 1..10000

Cf. A000389, A007437, A013664, A073570, A116963, A116969, A332508.

Cf. A000203, A001157, A001158, A001159, A001160.

a(n) = sumdiv(n, d, binomial(d+4, 5)); \\ Seiichi Manyama, Apr 19 2021

my(N=40, x='x+O('x^N)); Vec(sum(k=1, N, binomial(k+4, 5)*x^k/(1-x^k))) \\ Seiichi Manyama, Apr 19 2021

a(n) = my(f = factor(n));  (sigma(f, 5) + 10*sigma(f, 4) + 35*sigma(f, 3) + 50*sigma(f, 2) + 24*sigma(f))/120; \\ Amiram Eldar, Dec 30 2024

a(n) = Sum_{d|n} d*(d+1)*(d+2)*(d+3)*(d+4)/120 = Sum_{d|n} C(d+4,5) = Sum{d|n} A000389(d) = Sum_{d|n} (d^5+10*d^4+35*d^3+50*d^2+24*d)/120.
G.f.: Sum_{k>=1} x^k/(1 - x^k)^6 = Sum_{k>=1} binomial(k+4,5) * x^k/(1 - x^k). - Seiichi Manyama, Apr 19 2021
From Amiram Eldar, Dec 30 2024: (Start)
a(n) = (sigma_5(n) + 10*sigma_4(n) + 35*sigma_3(n) + 50*sigma_2(n) + 24*sigma_1(n)) / 120.
Dirichlet g.f.: zeta(s) * (zeta(s-5) + 10*zeta(s-4) + 35*zeta(s-3) + 50*zeta(s-2) + 24*zeta(s-1)) / 120.
Sum_{k=1..n} a(k) ~ (zeta(6)/720) * n^6. (End)

A145455 Exponential transform of C(n,5) = A000389.

Original entry on oeis.org

1, 0, 0, 0, 0, 1, 6, 21, 56, 126, 378, 3234, 34056, 289575, 2020018, 12237225, 70634928, 468041756, 4190274648, 45557515620, 499503011496, 5121432107757, 49183015347774, 462331794763069, 4579813478536296, 50959878972009546

Offset: 0

Alois P. Heinz, Oct 10 2008

nonn

a(n) is the number of ways of placing n labeled balls into indistinguishable boxes, where in each filled box 5 balls are seen at the top.

a(n) is also the number of forests of labeled rooted trees of height at most 1, with n labels, where each root contains 5 labels.

Alois P. Heinz, Table of n, a(n) for n = 0..500
N. J. A. Sloane, Transforms
Index entries for sequences related to rooted trees

5th column of A145460, A143398.

a:= proc(n) option remember; `if`(n=0, 1,
      add(binomial(n-1, j-1) *binomial(j,5) *a(n-j), j=1..n))
    end:
seq(a(n), n=0..30);

With[{nmax = 50}, CoefficientList[Series[Exp[Exp[x]*x^5/5!], {x, 0, nmax}], x]] (* G. C. Greubel, Nov 21 2017 *)

x='x+O('x^30); Vec(serlaplace(exp(exp(x)*x^5/5!))) \\ G. C. Greubel, Nov 21 2017

E.g.f.: exp(exp(x)*x^5/5!).

A118431 Numerator of sum of reciprocals of first n 5-simplex numbers A000389.

Original entry on oeis.org

1, 7, 17, 69, 625, 209, 329, 247, 357, 1250, 341, 1819, 2379, 3059, 19375, 1211, 1496, 3657, 4427, 53125, 12649, 14949, 17549, 10237, 59375, 6851, 7866, 35959, 40919, 231875, 52359, 14726, 16511, 36907, 205625, 91389, 101269

Offset: 1

Jonathan Vos Post, Apr 28 2006

Denominators are A118432. Fractions are: 1/1, 7/6, 17/14, 69/56, 625/504, 209/168, 329/264, 247/198, 357/286, 1250/1001, 341/273, 1819/1456, 2379/1904, 3059/2448, 19375/15504, 1211/969, 1496/1197, 3657/2926, 4427/3542, 53125/42504, 12649/10120, 14949/11960, 17549/14040, 10237/8190, 59375/47502, 6851/5481, 7866/6293, 35959/28768, 40919/32736, 231875/185504, 52359/41888, 14726/11781, 16511/13209, 36907/29526, 205625/164502, 91389/73112, 101269/81016. The numerator of sum of reciprocals of first n triangular numbers is A026741. The numerator of sum of reciprocals of first n tetrahedral numbers is A118391. The numerator of sum of reciprocals of first n pentatope numbers is A118411.

			a(1) = 1 = numerator of 1/1.
a(2) = 7 = numerator of 7/6 = 1/1 + 1/6.
a(3) = 17 = numerator of 17/14 = 1/1 + 1/6 + 1/21.
a(4) = 69 = numerator of 69/56 = 1/1 + 1/6 + 1/21 + 1/56.
a(5) = 55 = numerator of 55/42 = 1/1 + 1/6 + 1/21 + 1/56 + 1/126.
a(10) = 1250 = numerator of 1250/1001 = 1/1+ 1/6 + 1/21 + 1/56 + 1/126 + 1/252 + 1/462 + 1/792 + 1/1287 + 1/2002.
a(20) = 53125 = numerator of 53125/42504 = 1/1 + 1/6 + 1/21 + 1/56 + 1/126 + 1/252 + 1/462 + 1/792 + 1/1287 + 1/2002 + 1/3003 + 1/4368 + 1/6188 + 1/8568 + 1/11628 + 1/15504 + 1/20349 + 1/26334 + 1/33649 + 1/42504.

G. C. Greubel, Table of n, a(n) for n = 1..5000

Cf. A000332, A000389, A022998, A026741, A118391, A118391, A118411, A118412, A118432.

Numerator[Accumulate[1/Binomial[Range[5, 50], 5]]] (* G. C. Greubel, Nov 21 2017 *)

A118411(n)/A118412(n) = Sum_{i=1..n} (1/A000389(n)).
A118411(n)/A118412(n) = Sum_{i=1..n} (1/C(n,5)).
A118411(n)/A118412(n) = Sum_{i=1..n} (1/(n*(n+1)*(n+2)*(n+3)*(n+4)/120)).

A283370 Minimal number of terms required to write n as sum of numbers in A000389 = { C(k,5); k=1,2,3,... } (with repetitions allowed).

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 1, 2, 3, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 8, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 8, 4, 5, 1, 2, 3, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 8, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6

Offset: 0

M. F. Hasler, Mar 06 2017

nonn

Analog, for A000389 = {C(n,5)}, of A061336 (for triangular numbers A000217 = {C(n,2)}), A104246 (for tetrahedral numbers A000292 = {C(n,3)}) and A283365 (for A000332 = {C(n,4)}).

R. J. Mathar, Table of n, a(n) for n = 0..10000
Hyun Kwang Kim, On regular polytope numbers, Proc. Amer. Math. Soc. 131 (2003), p. 65-75. DOI:10.1090/S0002-9939-02-06710-2.

Cf. A000332 = {C(n,4)}; A061336 (analog for A000217), A104246 (analog for A000292), A283365 (analog for A000332).

{a(n,k=5,M=9e9,N=n) = n>k || return(n); for(m=k,M,binomial(m,k)>n && (M=m) && break); M-- <= k && return(n); my(b=binomial(M,k),c=binomial(M-1,k),NN); forstep( nn=n\b,0,-1, if(N>NN=nn+a(n-nn*b,k,M,N),N=NN); n-(nn-1)*b >= (N-nn+1)*c && break); N}

a(n) <= 10 = a(220) for all n, according to Kim (2003, p. 74, first row of table "d = 5"), but this "numerical result" has no "* denoting exact values" (see Remark at end of paper), so it could be incorrect. [Disclaimer added by M. F. Hasler, Sep 22 2022]

A118432 Denominator of sum of reciprocals of first n 5-simplex numbers A000389.

Original entry on oeis.org

1, 6, 14, 56, 504, 168, 264, 198, 286, 1001, 273, 1456, 1904, 2448, 15504, 969, 1197, 2926, 3542, 42504, 10120, 11960, 14040, 8190, 47502, 5481, 6293, 28768, 32736, 185504, 41888, 11781, 13209, 29526, 164502, 73112, 81016

Offset: 1

Jonathan Vos Post, Apr 28 2006

Numerators are A118431. Fractions are: 1/1, 7/6, 17/14, 69/56, 625/504, 209/168, 329/264, 247/198, 357/286, 1250/1001, 341/273, 1819/1456, 2379/1904, 3059/2448, 19375/15504, 1211/969, 1496/1197, 3657/2926, 4427/3542, 53125/42504, 12649/10120, 14949/11960, 17549/14040, 10237/8190, 59375/47502, 6851/5481, 7866/6293, 35959/28768, 40919/32736, 231875/185504, 52359/41888, 14726/11781, 16511/13209, 36907/29526, 205625/164502, 91389/73112, 101269/81016. The denominator of sum of reciprocals of first n triangular numbers is A026741. The denominator of sum of reciprocals of first n tetrahedral numbers is A118392. The denominator of sum of reciprocals of first n pentatope numbers is A118412.

			a(1) = 1 = denominator of 1/1.
a(2) = 6 = denominator of 7/6 = 1/1 + 1/6.
a(3) = 14 = denominator of 17/14 = 1/1 + 1/6 + 1/21.
a(4) = 56 = denominator of 69/56 = 1/1 + 1/6 + 1/21 + 1/56.
a(5) = 42 = denominator of 55/42 = 1/1 + 1/6 + 1/21 + 1/56 + 1/126.
a(10) = 1001 = denominator of 1250/1001 = 1/1+ 1/6 + 1/21 + 1/56 + 1/126 + 1/252 + 1/462 + 1/792 + 1/1287 + 1/2002.
a(20) = 42504 = denominator of 53125/42504 = 1/1 + 1/6 + 1/21 + 1/56 + 1/126 + 1/252 + 1/462 + 1/792 + 1/1287 + 1/2002 + 1/3003 + 1/4368 + 1/6188 + 1/8568 + 1/11628 + 1/15504 + 1/20349 + 1/26334 + 1/33649 + 1/42504.

G. C. Greubel, Table of n, a(n) for n = 1..5000

Cf. A000332, A000389, A022998, A026741, A118391, A118391, A118411, A118412, A118431.

Denominator[Accumulate[1/Binomial[Range[5,50],5]]] (* Harvey P. Dale, Jul 17 2016 *)

A118411(n)/A118412(n) = Sum_{i=1..n} (1/A000389(n)).
A118411(n)/A118412(n) = Sum_{i=1..n} (1/C(n,5)).
A118411(n)/A118412(n) = Sum_{i=1..n} (1/(n*(n+1)*(n+2)*(n+3)*(n+4)/120)).

A144866 Shadow transform of C(n+4,5) = A000389(n+4).

Original entry on oeis.org

1, 1, 2, 1, 1, 3, 5, 2, 4, 1, 5, 3, 5, 8, 1, 2, 5, 6, 5, 1, 11, 7, 5, 6, 1, 7, 4, 8, 5, 4, 5, 2, 11, 8, 4, 7, 5, 7, 11, 2, 5, 15, 5, 9, 4, 8, 5, 6, 5, 1, 12, 8, 5, 6, 3, 13, 12, 7, 5, 4, 5, 8, 22, 2, 8, 16, 5, 11, 11, 6, 5, 12, 5, 7, 1, 8, 25, 16, 5, 2, 4, 8, 5, 22, 5, 7, 11, 15, 5, 6, 25, 8, 11, 8, 5, 5

Offset: 1

Alois P. Heinz, Sep 23 2008

nonn

Alois P. Heinz, Table of n, a(n) for n = 1..10000
Lorenz Halbeisen and Norbert Hungerbuehler, Number theoretic aspects of a combinatorial function, Notes on Number Theory and Discrete Mathematics 5(4) (1999), 138-150. (ps, pdf); see Definition 7 for the shadow transform.
N. J. A. Sloane, Transforms.

5th column of A144871. Cf. A007318.

shadow:= proc(p) proc(n) local j;
           add(`if`(modp(p(j), n)=0, 1, 0), j=0..n-1) end
         end:
f:= proc(k) proc(n) binomial (n+k-1,k) end end:
a:= n-> shadow(f(5))(n):
seq(a(n), n=1..120);

A158874 a(n) = (n + 4)(n + 3)(n + 2)(n + 1)n / 5 = 24*A000389(n+4).

Original entry on oeis.org

0, 24, 144, 504, 1344, 3024, 6048, 11088, 19008, 30888, 48048, 72072, 104832, 148512, 205632, 279072, 372096, 488376, 632016, 807576, 1020096, 1275120, 1578720, 1937520, 2358720, 2850120, 3420144, 4077864, 4833024, 5696064, 6678144, 7791168, 9047808

Offset: 0

N. J. A. Sloane, Nov 29 2009

L. B. W. Jolley, Summation of Series, Dover, 1961, eq. (48), page 8.

Vincenzo Librandi, Table of n, a(n) for n = 0..10000
Index entries for linear recurrences with constant coefficients, signature (6,-15,20,-15,6,-1).

Partial sums of A052762.

[n*(n^4+10*n^3+35*n^2+50*n+24)/5: n in [0..30]]; // Vincenzo Librandi, Oct 05 2011

Table[(n + 4)*(n + 3)*(n + 2)*(n + 1)*n/5, {n,0,50}] (* G. C. Greubel, Nov 21 2017 *)

for(n=0,30, print1((n + 4)*(n + 3)*(n + 2)*(n + 1)*n/5, ", ")) \\ G. C. Greubel, Nov 21 2017

G.f.: 24*x / (x-1)^6 . - R. J. Mathar, Oct 03 2011
E.g.f.: x*(x^4 + 20*x^3 + 120*x^2 + 240*x + 120)*exp(x)/5. - G. C. Greubel, Nov 21 2017
From Amiram Eldar, Jul 02 2023: (Start)
Sum_{n>=1} 1/a(n) = 5/96.
Sum_{n>=1} (-1)^(n+1)/a(n) = 10*log(2)/3 - 655/288. (End)

A049310 Triangle of coefficients of Chebyshev's S(n,x) := U(n,x/2) polynomials (exponents in increasing order).

Original entry on oeis.org

1, 0, 1, -1, 0, 1, 0, -2, 0, 1, 1, 0, -3, 0, 1, 0, 3, 0, -4, 0, 1, -1, 0, 6, 0, -5, 0, 1, 0, -4, 0, 10, 0, -6, 0, 1, 1, 0, -10, 0, 15, 0, -7, 0, 1, 0, 5, 0, -20, 0, 21, 0, -8, 0, 1, -1, 0, 15, 0, -35, 0, 28, 0, -9, 0, 1, 0, -6, 0, 35, 0, -56, 0, 36, 0, -10, 0, 1, 1, 0, -21, 0, 70, 0, -84, 0

Offset: 0

Wolfdieter Lang

G.f. for row polynomials S(n,x) (signed triangle): 1/(1-x*z+z^2). Unsigned triangle |a(n,m)| has Fibonacci polynomials F(n+1,x) as row polynomials with g.f. 1/(1-x*z-z^2). |a(n,m)| triangle has rows of Pascal's triangle A007318 in the even-numbered diagonals (odd-numbered ones have only 0's).
Row sums (unsigned triangle) A000045(n+1) (Fibonacci). Row sums (signed triangle) S(n,1) sequence = periodic(1,1,0,-1,-1,0) = A010892.
Alternating row sums A049347(n) = S(n,-1) = periodic(1,-1,0). - Wolfdieter Lang, Nov 04 2011
S(n,x) is the characteristic polynomial of the adjacency matrix of the n-path. - Michael Somos, Jun 24 2002
S(n,x) is also the matching polynomial of the n-path. - Eric W. Weisstein, Apr 10 2017
|T(n,k)| = number of compositions of n+1 into k+1 odd parts. Example: |T(7,3)| = 10 because we have (1,1,3,3), (1,3,1,3), (1,3,3,1), (3,1,1,3), (3,1,3,1), (3,3,1,1), (1,1,1,5), (1,1,5,1), (1,5,1,1) and (5,1,1,1). - Emeric Deutsch, Apr 09 2005
S(n,x)= R(n,x) + S(n-2,x), n >= 2, S(-1,x)=0, S(0,x)=1, R(n,x):=2*T(n,x/2) = Sum_{m=0..n} A127672(n,m)*x^m (monic integer Chebyshev T-Polynomials). This is the rewritten so-called trace of the transfer matrix formula for the T-polynomials. - Wolfdieter Lang, Dec 02 2010
In a regular N-gon inscribed in a unit circle, the side length is d(N,1) = 2*sin(Pi/N). The length ratio R(N,k):=d(N,k)/d(N,1) for the (k-1)-th diagonal, with k from {2,3,...,floor(N/2)}, N >= 4, equals S(k-1,x) = sin(k*Pi/N)/sin(Pi/N) with x=rho(N):=R(N,2) = 2*cos(Pi/N). Example: N=7 (heptagon), rho=R(7,2), sigma:=R(N,3) = S(2,rho) = rho^2 - 1. Motivated by the quoted paper by P. Steinbach. - Wolfdieter Lang, Dec 02 2010
From Wolfdieter Lang, Jul 12 2011: (Start)
In q- or basic analysis, q-numbers are [n]_q := S(n-1,q+1/q) = (q^n-(1/q)^n)/(q-1/q), with the row polynomials S(n,x), n >= 0.
The zeros of the row polynomials S(n-1,x) are (from those of Chebyshev U-polynomials):
  x(n-1;k) = +- t(k,rho(n)), k = 1..ceiling((n-1)/2), n >= 2, with t(n,x) the row polynomials of A127672 and rho(n):= 2*cos(Pi/n). The simple vanishing zero for even n appears here as +0 and -0.
Factorization of the row polynomials S(n-1,x), x >= 1, in terms of the minimal polynomials of cos(2 Pi/2), called Psi(n,x), with coefficients given by A181875/A181876:
  S(n-1,x) = (2^(n-1))*Product_{n>=1}(Psi(d,x/2), 2 < d | 2n).
(From the rewritten eq. (3) of the Watkins and Zeitlin reference, given under A181872.) [See the W. Lang ArXiv link, Proposition 9, eq. (62). - Wolfdieter Lang, Apr 14 2018]
  (End)
The discriminants of the S(n,x) polynomials are found in A127670. - Wolfdieter Lang, Aug 03 2011
This is an example for a subclass of Riordan convolution arrays (lower triangular matrices) called Bell arrays. See the L. W. Shapiro et al. reference under A007318. If a Riordan array is named (G(z),F(z)) with F(z)=z*Fhat(z), the o.g.f. for the row polynomials is G(z)/(1-x*z*Fhat(z)), and it becomes a Bell array if G(z)=Fhat(z). For the present Bell type triangle G(z)=1/(1+z^2) (see the o.g.f. comment above). This leads to the o.g.f. for the column no. k, k >= 0, x^k/(1+x^2)^(k+1) (see the formula section), the one for the row sums and for the alternating row sums (see comments above). The Riordan (Bell) A- and Z-sequences (defined in a W. Lang link under A006232, with references) have o.g.f.s 1-x*c(x^2) and -x*c(x^2), with the o.g.f. of the Catalan numbers A000108. Together they lead to a recurrence given in the formula section. - Wolfdieter Lang, Nov 04 2011
The determinant of the N x N matrix S(N,[x[1], ..., x[N]]) with elements S(m-1,x[n]), for n, m = 1, 2, ..., N, and for any x[n], is identical with the determinant of V(N,[x[1], ..., x[N]]) with elements x[n]^(m-1) (a Vandermondian, which equals Product_{1 <= i < j<= N} (x[j] - x[i])). This is a special instance of a theorem valid for any N >= 1 and any monic polynomial system p(m,x), m>=0, with p(0,x) = 1. For this theorem see the Vein-Dale reference, p. 59. Thanks to L. Edson Jeffery for an email asking for a proof of the non-singularity of the matrix S(N,[x[1], ...., x[N]]) if and only if the x[j], j = 1..N, are pairwise distinct. - Wolfdieter Lang, Aug 26 2013
These S polynomials also appear in the context of modular forms. The rescaled Hecke operator T*n = n^((1-k)/2)*T_n acting on modular forms of weight k satisfies T*(p^n) = S(n, T*p), for each prime p and positive integer n. See the Koecher-Krieg reference, p. 223. - _Wolfdieter Lang, Jan 22 2016
For a shifted o.g.f. (mod signs), its compositional inverse, and connections to Motzkin and Fibonacci polynomials, non-crossing partitions and other combinatorial structures, see A097610. - Tom Copeland, Jan 23 2016
From M. Sinan Kul, Jan 30 2016; edited by Wolfdieter Lang, Jan 31 2016 and Feb 01 2016: (Start)
Solutions of the Diophantine equation u^2 + v^2 - k*u*v = 1 for integer k given by (u(k,n), v(k,n)) = (S(n,k), S(n-1,k)) because of the Cassini-Simson identity: S(n,x)^2 - S(n+1,x)*S(n-1, x) = 1, after use of the S-recurrence. Note that S(-n, x) = -S(-n-2, x), n >= 1, and the periodicity of some S(n, k) sequences.
Hence another way to obtain the row polynomials would be to take powers of the matrix [x, -1; 1,0]: S(n, x) = (([x, -1; 1, 0])^n)[1,1], n >= 0.
See also a Feb 01 2016 comment on A115139 for a well-known S(n, x) sum formula.
Then we have with the present T triangle
  A039834(n) = -i^(n+1)*T(n-1, k) where i is the imaginary unit and n >= 0.
  A051286(n) = Sum_{i=0..n} T(n,i)^2 (see the Philippe Deléham, Nov 21 2005 formula),
  A181545(n) = Sum_{i=0..n+1} abs(T(n,i)^3),
  A181546(n) = Sum_{i=0..n+1} T(n,i)^4,
  A181547(n) = Sum_{i=0..n+1} abs(T(n,i)^5).
S(n, 0) = A056594(n), and for k = 1..10 the sequences S(n-1, k) with offset n = 0 are A128834, A001477, A001906, A001353, A004254, A001109, A004187, A001090, A018913, A004189.
(End)
For more on the Diophantine equation presented by Kul, see the Ismail paper. - Tom Copeland, Jan 31 2016
The o.g.f. for the Legendre polynomials L(n,x) is 1 / sqrt(1- 2x*z + z^2), and squaring it gives the o.g.f. of U(n,x), A053117, so Sum_{k=0..n} L(k,x/2) L(n-k,x/2) = S(n,x). This gives S(n,x) = L(n/2,x/2)^2 + 2*Sum_{k=0..n/2-1} L(k,x/2) L(n-k,x/2) for n even and S(n,x) = 2*Sum_{k=0..(n-1)/2} L(k,x/2) L(n-k,x/2) for odd n. For a connection to elliptic curves and modular forms, see A053117. For the normalized Legendre polynomials, see A100258. For other properties and relations to other polynomials, see Allouche et al. - Tom Copeland, Feb 04 2016
LG(x,h1,h2) = -log(1 - h1*x + h2*x^2) = Sum_{n>0} F(n,-h1,h2,0,..,0) x^n/n is a log series generator of the bivariate row polynomials of A127672 with A127672(0,0) = 0 and where F(n,b1,b2,..,bn) are the Faber polynomials of A263916. Exp(LG(x,h1,h2)) = 1 / (1 - h1*x + h2*x^2 ) is the o.g.f. of the bivariate row polynomials of this entry. - Tom Copeland, Feb 15 2016 (Instances of the bivariate o.g.f. for this entry are on pp. 5 and 18 of Sunada. - Tom Copeland, Jan 18 2021)
For distinct odd primes p and q the Legendre symbol can be written as Legendre(q,p) = Product_{k=1..P} S(q-1, 2*cos(2*Pi*k/p)), with P = (p-1)/2. See the Lemmermeyer reference, eq. (8.1) on p. 236. Using the zeros of S(q-1, x) (see above) one has S(q-1, x) = Product_{l=1..Q} (x^2 - (2*cos(Pi*l/q))^2), with Q = (q-1)/2. Thus S(q-1, 2*cos(2*Pi*k/p)) = ((-4)^Q)*Product_{l=1..Q} (sin^2(2*Pi*k/p) - sin^2(Pi*l/q)) = ((-4)^Q)*Product_{m=1..Q} (sin^2(2*Pi*k/p) - sin^2(2*Pi*m/q)). For the proof of the last equality see a W. Lang comment on the triangle A057059 for n = Q and an obvious function f. This leads to Eisenstein's proof of the quadratic reciprocity law Legendre(q,p) = ((-1)^(P*Q)) * Legendre(p,q), See the Lemmermeyer reference, pp. 236-237. - Wolfdieter Lang, Aug 28 2016
For connections to generalized Fibonacci polynomials, compare their generating function on p. 5 of the Amdeberhan et al. link with the o.g.f. given above for the bivariate row polynomials of this entry. - Tom Copeland, Jan 08 2017
The formula for Ramanujan's tau function (see A000594) for prime powers is tau(p^k) = p^(11*k/2)*S(k, p^(-11/2)*tau(p)) for k >= 1, and p = A000040(n), n >= 1. See the Hardy reference, p. 164, eqs. (10.3.4) and (10.3.6) rewritten in terms of S. - Wolfdieter Lang, Jan 27 2017
From Wolfdieter Lang, May 08 2017: (Start)
The number of zeros Z(n) of the S(n, x) polynomials in the open interval (-1,+1) is 2*b(n) for even n >= 0 and 1 + 2*b(n) for odd n >= 1, where b(n) = floor(n/2) - floor((n+1)/3). This b(n) is the number of integers k in the interval (n+1)/3 < k <= floor(n/2). See a comment on the zeros of S(n, x) above, and b(n) = A008615(n-2), n >= 0. The numbers Z(n) have been proposed (with a conjecture related to A008611) by Michel Lagneau, as the number of zeros of Fibonacci polynomials on the imaginary axis (-I,+I), with I=sqrt(-1). They are Z(n) = A008611(n-1), n >= 0, with A008611(-1) = 0. Also Z(n) = A194960(n-4), n >= 0. Proof using the A008611 version. A194960 follows from this.
In general the number of zeros Z(a;n) of S(n, x) for n >= 0 in the open interval (-a,+a) for a from the interval (0,2) (x >= 2 never has zeros, and a=0 is trivial: Z(0;n) = 0) is with b(a;n) = floor(n//2) - floor((n+1)*arccos(a/2)/Pi), as above Z(a;n) = 2*b(a;n) for even n >= 0 and 1 + 2*b(a;n) for odd n >= 1. For the closed interval [-a,+a] Z(0;n) = 1 and for a from (0,1) one uses for Z(a;n) the values b(a;n) = floor(n/2) - ceiling((n+1)*arccos(a/2)/Pi) + 1. (End)
The Riordan row polynomials S(n, x) (Chebyshev S) belong to the Boas-Buck class (see a comment and references in A046521), hence they satisfy the Boas-Buck identity: (E_x - n*1)*S(n, x) = (E_x + 1)*Sum_{p=0..n-1} (1 - (-1)^p)*(-1)^((p+1)/2)*S(n-1-p, x), for n >= 0, where E_x = x*d/dx (Euler operator). For the triangle T(n, k) this entails a recurrence for the sequence of column k, given in the formula section. - Wolfdieter Lang, Aug 11 2017
The e.g.f. E(x,t) := Sum_{n>=0} (t^n/n!)*S(n,x) for the row polynomials is obtained via inverse Laplace transformation from the above given o.g.f. as E(x,t) = ((1/xm)*exp(t/xm) - (1/xp)*exp(t/xp) )/(xp - xm) with xp = (x + sqrt(x^2-4))/2 and xm = (x - sqrt(x^2-4))/2. - Wolfdieter Lang, Nov 08 2017
From Wolfdieter Lang, Apr 12 2018: (Start)
Factorization of row polynomials S(n, x), for n >= 1, in terms of C polynomials (not Chebyshev C) with coefficients given in A187360. This is obtained from the factorization into Psi polynomials (see the Jul 12 2011 comment above) but written in terms of minimal polynomials of 2*cos(2*Pi/n) with coefficients in A232624:
S(2*k, x) = Product_{2 <= d | (2*k+1)} C(d, x)*(-1)^deg(d)*C(d, -x), with deg(d) = A055034(d) the degree of C(d, x).
S(2*k+1, x) = Product_{2 <= d | 2*(k+1)} C(d, x) * Product_{3 <= 2*d + 1 | (k+1)} (-1)^(deg(2*d+1))*C(2*d+1, -x).
Note that (-1)^(deg(2*d+1))*C(2*d+1, -x)*C(2*d+1, x) pairs always appear.
The number of C factors of S(2*k, x), for k >= 0, is 2*(tau(2*k+1) - 1) = 2*(A099774(k+1) - 1) = 2*A095374(k), and for S(2*k+1, x), for k >= 0, it is tau(2*(k+1)) + tau_{odd}(k+1) - 2 = A302707(k), with tau(2*k+1) = A099774(k+1), tau(n) = A000005 and tau(2*(k+1)) = A099777(k+1).
For the reverse problem, the factorization of C polynomials into S polynomials, see A255237. (End)
The S polynomials with general initial conditions S(a,b;n,x) = x*S(a,b;n-1,x) - S(a,b;n-2,x), for n >= 1, with S(a,b;-1,x) = a and S(a,b;0,x) = b are S(a,b;n,x) = b*S(n, x) - a*S(n-1, x), for n >= -1. Recall that S(-2, x) = -1 and S(-1, x) = 0. The o.g.f. is G(a,b;z,x) = (b - a*z)/(1 - x*z + z^2). - Wolfdieter Lang, Oct 18 2019
Also the convolution triangle of A101455. - Peter Luschny, Oct 06 2022
From Wolfdieter Lang, Apr 26 2023: (Start)
Multi-section of S-polynomials: S(m*n+k, x) = S(m+k, x)*S(n-1, R(m, x)) - S(k, x)*S(n-2, R(m, x)), with R(n, x) = S(n, x) - S(n-2, x) (see A127672), S(-2, x) = -1, and S(-1, x) = 0, for n >= 0, m >= 1, and k = 0, 1, ..., m-1.
O.g.f. of {S(m*n+k, y)}_{n>=0}: G(m,k,y,x) = (S(k, y) - (S(k, y)*R(m, y) - S(m+k, y))*x)/(1 - R(m,y)*x + x^2).
See eqs. (40) and (49), with r = x or y and s =-1, of the G. Detlefs and W. Lang link at A034807. (End)
S(n, x) for complex n and complex x: S(n, x) = ((-i/2)/sqrt(1 - (x/2)^2))*(q(x/2)*exp(+n*log(q(x/2))) - (1/q(x/2))*exp(-n*log(q(x/2)))), with q(x) = x + sqrt(1 - x^2)*i. Here log(z) = |z| + Arg(z)*i, with Arg(z) from [-Pi,+Pi) (principal branch). This satisfies the recurrence relation for S because it is derived from the Binet - de Moivre formula for S. Examples: S(n/m, 0) = cos((n/m)*Pi/4), for n >= 0 and m >= 1. S(n*i, 0) = (1/2)*(1 + exp(n*Pi))*exp(-(n/2)*Pi), for n >= 0. S(1+i, 2+i) = 0.6397424847... + 1.0355669490...*i. Thanks to Roberto Alfano for asking a question leading to this formula. - Wolfdieter Lang, Jun 05 2023
Lim_{n->oo} S(n, x)/S(n-1, x) = r(x) = (x - sqrt(x^2 -4))/2, for |x| >= 2. For x = +-2, this limit is +-1. - Wolfdieter Lang, Nov 15 2023

			The triangle T(n, k) begins:
  n\k  0  1   2   3   4   5   6    7   8   9  10  11
  0:   1
  1:   0  1
  2:  -1  0   1
  3:   0 -2   0   1
  4:   1  0  -3   0   1
  5:   0  3   0  -4   0   1
  6:  -1  0   6   0  -5   0   1
  7:   0 -4   0  10   0  -6   0    1
  8:   1  0 -10   0  15   0  -7    0   1
  9:   0  5   0 -20   0  21   0   -8   0   1
  10: -1  0  15   0 -35   0  28    0  -9   0   1
  11:  0 -6   0  35   0 -56   0   36   0 -10   0   1
  ... Reformatted and extended by _Wolfdieter Lang_, Oct 24 2012
For more rows see the link.
E.g., fourth row {0,-2,0,1} corresponds to polynomial S(3,x)= -2*x + x^3.
From _Wolfdieter Lang_, Jul 12 2011: (Start)
Zeros of S(3,x) with rho(4)= 2*cos(Pi/4) = sqrt(2):
  +- t(1,sqrt(2)) = +- sqrt(2) and
  +- t(2,sqrt(2)) = +- 0.
Factorization of S(3,x) in terms of Psi polynomials:
S(3,x) = (2^3)*Psi(4,x/2)*Psi(8,x/2) = x*(x^2-2).
(End)
From _Wolfdieter Lang_, Nov 04 2011: (Start)
A- and Z- sequence recurrence:
T(4,0) = - (C(0)*T(3,1) + C(1)*T(3,3)) = -(-2 + 1) = +1,
T(5,3) = -3 - 1*1 = -4.
(End)
Boas-Buck recurrence for column k = 2, n = 6: S(6, 2) = (3/4)*(0 - 2* S(4 ,2) + 0 + 2*S(2, 2)) = (3/4)*(-2*(-3) + 2) = 6. - _Wolfdieter Lang_, Aug 11 2017
From _Wolfdieter Lang_, Apr 12 2018: (Start)
Factorization into C polynomials (see the Apr 12 2018 comment):
S(4, x) = 1 - 3*x^2 + x^4 = (-1 + x + x^2)*(-1 - x + x^2) = (-C(5, -x)) * C(5, x); the number of factors is 2 = 2*A095374(2).
S(5, x) = 3*x - 4*x^3 + x^5 = x*(-1 + x)*(1 + x)*(-3 + x^2) = C(2, x)*C(3, x)*(-C(3, -x))*C(6, x); the number of factors is 4 = A302707(2). (End)

G. H. Hardy, Ramanujan: twelve lectures on subjects suggested by his life and work, AMS Chelsea Publishing, Providence, Rhode Island, 2002, p. 164.
Max Koecher and Aloys Krieg, Elliptische Funktionen und Modulformen, 2. Auflage, Springer, 2007, p. 223.
Franz Lemmermeyer, Reciprocity Laws. From Euler to Eisenstein, Springer, 2000.
D. S. Mitrinovic, Analytic Inequalities, Springer-Verlag, 1970; p. 232, Sect. 3.3.38.
Theodore J. Rivlin, Chebyshev polynomials: from approximation theory to algebra and number theory, 2. ed., Wiley, New York, 1990, pp. 60 - 61.
R. Vein and P. Dale, Determinants and Their Applications in Mathematical Physics, Springer, 1999.

T. D. Noe, Rows 0 to 100 of the triangle, flattened.
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy], Table 22.8, p.797.
J. Allouche and G. Skordev, Schur congruences, Carlitz sequences of polynomials and automaticity, Discrete Mathematics, Vol. 214, Issue 1-3, 21 March 2000, p.21-49.
T. Amdeberhan, X. Chen, V. Moll, and B. Sagan, Generalized Fibonacci polynomials and Fibonomial coefficients, arXiv preprint arXiv:1306.6511 [math.CO], 2013.
Paul Barry, Symmetric Third-Order Recurring Sequences, Chebyshev Polynomials, and Riordan Arrays, JIS 12 (2009) 09.8.6.
Paul Barry, On the inversion of Riordan arrays, arXiv:2101.06713 [math.CO], 2021.
Paul Barry and A. Hennessy, Meixner-Type Results for Riordan Arrays and Associated Integer Sequences, J. Int. Seq. 13 (2010) # 10.9.4, section 5.
C. Beck, Spatio-temporal Chaos and Vacuum Fluctuations of Quantized Fields , arXiv preprint arXiv:0207081 [hep-th], 2002.
Alexander Burstein and Louis W. Shapiro, Pseudo-involutions in the Riordan group, arXiv:2112.11595 [math.CO], 2021.
Tom Copeland, Addendum to Elliptic Lie Triad
Jerry Ray Dias, Properties and relationships of conjugated polyenes having a reciprocal eigenvalue spectrum - dendralene and radialene hydrocarbons, Croatica Chem. Acta, 77 (2004), 325-330. [p. 328].
S. R. Finch, P. Sebah and Z.-Q. Bai, Odd Entries in Pascal's Trinomial Triangle, arXiv:0802.2654 [math.NT], 2008.
Aoife Hennessy, A Study of Riordan Arrays with Applications to Continued Fractions, Orthogonal Polynomials and Lattice Paths, Ph. D. Thesis, Waterford Institute of Technology, Oct. 2011.
M. Ismail, One parameter generalizations of the Fibonacci and Lucas numbers, arXiv preprint arXiv:0606743v1 [math.CA], 2006.
Wolfdieter Lang, First rows of the triangle.
Wolfdieter Lang, Chebyshev S-polynomials: ten applications.
Wolfdieter Lang, The field Q(2cos(pi/n)), its Galois group and length ratios in the regular n-gon, arXiv:1210.1018 [math.GR], 2012-2017.
R. Sazdanovic, A categorification of the polynomial ring, slide presentation, 2011. [From _Tom Copeland_, Dec 27 2015]
P. Steinbach, Golden fields: a case for the heptagon, Math. Mag. 70 (1997), no. 1, 22-31.
T. Sunada, Discrete Geometric Analysis, 2008.
Eric Weisstein's World of Mathematics, Adjacency Matrix, Characteristic Polynomial, Chebyshev Polynomial of the Second Kind, Fibonacci Polynomial, Matching Polynomial, and Path Graph
Index entries for sequences related to Chebyshev polynomials.
Index entries for "core" sequences

Cf. A000005, A000217, A000292, A000332, A000389, A001227, A007318, A008611, A008615, A101455, A010892, A011973, A053112 (without zeros), A053117, A053119 (reflection), A053121 (inverse triangle), A055034, A097610, A099774, A099777, A100258, A112552 (first column clipped), A127672, A168561 (absolute values), A187360. A194960, A232624, A255237.

Triangles of coefficients of Chebyshev's S(n,x+k) for k = 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5: A207824, A207823, A125662, A078812, A101950, A049310, A104562, A053122, A207815, A159764, A123967.

A049310:= func< n,k | ((n+k) mod 2) eq 0 select (-1)^(Floor((n+k)/2)+k)*Binomial(Floor((n+k)/2), k) else 0 >;
[A049310(n,k): k in [0..n], n in [0..15]]; // G. C. Greubel, Jul 25 2022

A049310 := proc(n,k): binomial((n+k)/2,(n-k)/2)*cos(Pi*(n-k)/2)*(1+(-1)^(n-k))/2 end: seq(seq(A049310(n,k), k=0..n),n=0..11); # Johannes W. Meijer, Aug 08 2011
# Uses function PMatrix from A357368. Adds a row above and a column to the left.
PMatrix(10, n -> ifelse(irem(n, 2) = 0, 0, (-1)^iquo(n-1, 2))); # Peter Luschny, Oct 06 2022

t[n_, k_] /; EvenQ[n+k] = ((-1)^((n+k)/2+k))*Binomial[(n+k)/2, k]; t[n_, k_] /; OddQ[n+k] = 0; Flatten[Table[t[n, k], {n, 0, 12}, {k, 0, n}]][[;; 86]] (* Jean-François Alcover, Jul 05 2011 *)
Table[Coefficient[(-I)^n Fibonacci[n + 1, - I x], x, k], {n, 0, 10}, {k, 0, n}] //Flatten (* Clark Kimberling, Aug 02 2011; corrected by Eric W. Weisstein, Apr 06 2017 *)
CoefficientList[ChebyshevU[Range[0, 10], -x/2], x] // Flatten (* Eric W. Weisstein, Apr 06 2017 *)
CoefficientList[Table[(-I)^n Fibonacci[n + 1, -I x], {n, 0, 10}], x] // Flatten (* Eric W. Weisstein, Apr 06 2017 *)

{T(n, k) = if( k<0 || k>n || (n + k)%2, 0, (-1)^((n + k)/2 + k) * binomial((n + k)/2, k))} /* Michael Somos, Jun 24 2002 */

@CachedFunction
def A049310(n,k):
    if n< 0: return 0
    if n==0: return 1 if k == 0 else 0
    return A049310(n-1,k-1) - A049310(n-2,k)
for n in (0..9): [A049310(n,k) for k in (0..n)] # Peter Luschny, Nov 20 2012

T(n,k) := 0 if n < k or n+k odd, otherwise ((-1)^((n+k)/2+k))*binomial((n+k)/2, k); T(n, k) = -T(n-2, k)+T(n-1, k-1), T(n, -1) := 0 =: T(-1, k), T(0, 0)=1, T(n, k)= 0 if n < k or n+k odd; g.f. k-th column: (1 / (1 + x^2)^(k + 1)) * x^k. - Michael Somos, Jun 24 2002
T(n,k) = binomial((n+k)/2, (n-k)/2)*cos(Pi*(n-k)/2)*(1+(-1)^(n-k))/2. - Paul Barry, Aug 28 2005
Sum_{k=0..n} T(n,k)^2 = A051286(n). - Philippe Deléham, Nov 21 2005
Recurrence for the (unsigned) Fibonacci polynomials: F(1)=1, F(2)=x; for n > 2, F(n) = x*F(n-1) + F(n-2).
From Wolfdieter Lang, Nov 04 2011: (Start)
The Riordan A- and Z-sequences, given in a comment above, lead together to the recurrence:
T(n,k) = 0 if n < k, if k=0 then T(0,0)=1 and
  T(n,0)= -Sum_{i=0..floor((n-1)/2)} C(i)*T(n-1,2*i+1), otherwise T(n,k) = T(n-1,k-1) - Sum_{i=1..floor((n-k)/2)} C(i)*T(n-1,k-1+2*i), with the Catalan numbers C(n)=A000108(n).
(End)
The row polynomials satisfy also S(n,x) = 2*(T(n+2, x/2) - T(n, x/2))/(x^2-4) with the Chebyshev T-polynomials. Proof: Use the trace formula 2*T(n, x/2) = S(n, x) - S(n-2, x) (see the Dec 02 2010 comment above) and the S-recurrence several times. This is a formula which expresses the S- in terms of the T-polynomials. - Wolfdieter Lang, Aug 07 2014
From Tom Copeland, Dec 06 2015: (Start)
The non-vanishing, unsigned subdiagonals Diag_(2n) contain the elements D(n,k) = Sum_{j=0..k} D(n-1,j) = (k+1) (k+2) ... (k+n) / n! = binomial(n+k,n), so the o.g.f. for the subdiagonal is (1-x)^(-(n+1)). E.g., Diag_4 contains D(2,3) = D(1,0) + D(1,1) + D(1,2) + D(1,3) = 1 + 2 + 3 + 4 = 10 = binomial(5,2). Diag_4 is shifted A000217; Diag_6, shifted A000292: Diag_8, shifted A000332; and Diag_10, A000389.
The non-vanishing antidiagonals are signed rows of the Pascal triangle A007318.
For a reversed, unsigned version with the zeros removed, see A011973. (End)
The Boas-Buck recurrence (see a comment above) for the sequence of column k is: S(n, k) = ((k+1)/(n-k))*Sum_{p=0..n-1-k} (1 - (-1)^p)*(-1)^((p+1)/2) * S(n-1-p, k), for n > k >= 0 and input S(k, k) = 1. - Wolfdieter Lang, Aug 11 2017
The m-th row consecutive nonzero entries in order are (-1)^c*(c+b)!/c!b! with c = m/2, m/2-1, ..., 0 and b = m-2c if m is even and with c = (m-1)/2, (m-1)/2-1, ..., 0 with b = m-2c if m is odd. For the 8th row starting at a(36) the 5 consecutive nonzero entries in order are 1,-10,15,-7,1 given by c = 4,3,2,1,0 and b = 0,2,4,6,8. - Richard Turk, Aug 20 2017
O.g.f.: exp( Sum_{n >= 0} 2*T(n,x/2)*t^n/n ) = 1 + x*t + (-1 + x^2)*t^2 + (-2*x + x^3)*t^3 + (1 - 3*x^2 + x^4)*t^4 + ..., where T(n,x) denotes the n-th Chebyshev polynomial of the first kind. - Peter Bala, Aug 15 2022

A000332 Binomial coefficient binomial(n,4) = n(n-1)(n-2)*(n-3)/24.

Original entry on oeis.org

0, 0, 0, 0, 1, 5, 15, 35, 70, 126, 210, 330, 495, 715, 1001, 1365, 1820, 2380, 3060, 3876, 4845, 5985, 7315, 8855, 10626, 12650, 14950, 17550, 20475, 23751, 27405, 31465, 35960, 40920, 46376, 52360, 58905, 66045, 73815, 82251, 91390, 101270, 111930, 123410

Offset: 0

N. J. A. Sloane

Number of intersection points of diagonals of convex n-gon where no more than two diagonals intersect at any point in the interior.
Also the number of equilateral triangles with vertices in an equilateral triangular array of points with n rows (offset 1), with any orientation. - Ignacio Larrosa Cañestro, Apr 09 2002. [See Les Reid link for proof. - N. J. A. Sloane, Apr 02 2016] [See Peter Kagey link for alternate proof. - Sameer Gauria, Jul 29 2025]
Start from cubane and attach amino acids according to the reaction scheme that describes the reaction between the active sites. See the hyperlink on chemistry. - Robert G. Wilson v, Aug 02 2002
For n>0, a(n) = (-1/8)*(coefficient of x in Zagier's polynomial P_(2n,n)). (Zagier's polynomials are used by PARI/GP for acceleration of alternating or positive series.)
Figurate numbers based on the 4-dimensional regular convex polytope called the regular 4-simplex, pentachoron, 5-cell, pentatope or 4-hypertetrahedron with Schlaefli symbol {3,3,3}. a(n)=((n*(n-1)*(n-2)*(n-3))/4!). - Michael J. Welch (mjw1(AT)ntlworld.com), Apr 01 2004, R. J. Mathar, Jul 07 2009
Maximal number of crossings that can be created by connecting n vertices with straight lines. - Cameron Redsell-Montgomerie (credsell(AT)uoguelph.ca), Jan 30 2007
If X is an n-set and Y a fixed (n-1)-subset of X then a(n) is equal to the number of 4-subsets of X intersecting Y. - Milan Janjic, Aug 15 2007
Product of four consecutive numbers divided by 24. - Artur Jasinski, Dec 02 2007
The only prime in this sequence is 5. - Artur Jasinski, Dec 02 2007
For strings consisting entirely of 0's and 1's, the number of distinct arrangements of four 1's such that 1's are not adjacent. The shortest possible string is 7 characters, of which there is only one solution: 1010101, corresponding to a(5). An eight-character string has 5 solutions, nine has 15, ten has 35 and so on, congruent to A000332. - Gil Broussard, Mar 19 2008
For a(n)>0, a(n) is pentagonal if and only if 3 does not divide n. All terms belong to the generalized pentagonal sequence (A001318). Cf. A000326, A145919, A145920. - Matthew Vandermast, Oct 28 2008
Nonzero terms = row sums of triangle A158824. - Gary W. Adamson, Mar 28 2009
Except for the 4 initial 0's, is equivalent to the partial sums of the tetrahedral numbers A000292. - Jeremy Cahill (jcahill(AT)inbox.com), Apr 15 2009
If the first 3 zeros are disregarded, that is, if one looks at binomial(n+3, 4) with n>=0, then it becomes a 'Matryoshka doll' sequence with alpha=0: seq(add(add(add(i,i=alpha..k),k=alpha..n),n=alpha..m),m=alpha..50). - Peter Luschny, Jul 14 2009
For n>=1, a(n) is the number of n-digit numbers the binary expansion of which contains two runs of 0's. - Vladimir Shevelev, Jul 30 2010
For n>0, a(n) is the number of crossing set partitions of {1,2,..,n} into n-2 blocks. - Peter Luschny, Apr 29 2011
The Kn3, Ca3 and Gi3 triangle sums of A139600 are related to the sequence given above, e.g., Gi3(n) = 2*A000332(n+3) - A000332(n+2) + 7*A000332(n+1). For the definitions of these triangle sums, see A180662. - Johannes W. Meijer, Apr 29 2011
For n > 3, a(n) is the hyper-Wiener index of the path graph on n-2 vertices. - Emeric Deutsch, Feb 15 2012
Except for the four initial zeros, number of all possible tetrahedra of any size, having the same orientation as the original regular tetrahedron, formed when intersecting the latter by planes parallel to its sides and dividing its edges into n equal parts. - V.J. Pohjola, Aug 31 2012
a(n+3) is the number of different ways to color the faces (or the vertices) of a regular tetrahedron with n colors if we count mirror images as the same.
a(n) = fallfac(n,4)/4! is also the number of independent components of an antisymmetric tensor of rank 4 and dimension n >= 1. Here fallfac is the falling factorial. - Wolfdieter Lang, Dec 10 2015
Does not satisfy Benford's law [Ross, 2012] - N. J. A. Sloane, Feb 12 2017
Number of chiral pairs of colorings of the vertices (or faces) of a regular tetrahedron with n available colors. Chiral colorings come in pairs, each the reflection of the other. - Robert A. Russell, Jan 22 2020
From Mircea Dan Rus, Aug 26 2020: (Start)
a(n+3) is the number of lattice rectangles (squares included) in a staircase of order n; this is obtained by stacking n rows of consecutive unit lattice squares, aligned either to the left or to the right, which consist of 1, 2, 3, ..., n squares and which are stacked either in the increasing or in the decreasing order of their lengths. Below, there is a staircase or order 4 which contains a(7) = 35 rectangles. [See the Teofil Bogdan and Mircea Dan Rus link, problem 3, under A004320]
    _
   ||
   |||_
   |||_|_
   |||_|_|
(End)
a(n+4) is the number of strings of length n on an ordered alphabet of 5 letters where the characters in the word are in nondecreasing order. E.g., number of length-2 words is 15: aa,ab,ac,ad,ae,bb,bc,bd,be,cc,cd,ce,dd,de,ee. - Jim Nastos, Jan 18 2021
From Tom Copeland, Jun 07 2021: (Start)
Aside from the zeros, this is the fifth diagonal of the Pascal matrix A007318, the only nonvanishing diagonal (fifth) of the matrix representation IM = (A132440)^4/4! of the differential operator D^4/4!, when acting on the row vector of coefficients of an o.g.f., or power series.
M = e^{IM} is the matrix of coefficients of the Appell sequence p_n(x) = e^{D^4/4!} x^n = e^{b. D} x^n = (b. + x)^n = Sum_{k=0..n} binomial(n,k) b_n x^{n-k}, where the (b.)^n = b_n have the e.g.f. e^{b.t} = e^{t^4/4!}, which is that for A025036 aerated with triple zeros, the first column of M.
See A099174 and A000292 for analogous relationships for the third and fourth diagonals of the Pascal matrix. (End)
For integer m and positive integer r >= 3, the polynomial a(n) + a(n + m) + a(n + 2*m) + ... + a(n + r*m) in n has its zeros on the vertical line Re(n) = (3 - r*m)/2 in the complex plane. - Peter Bala, Jun 02 2024

			a(5) = 5 from the five independent components of an antisymmetric tensor A of rank 4 and dimension 5, namely A(1,2,3,4), A(1,2,3,5), A(1,2,4,5), A(1,3,4,5) and A(2,3,4,5). See the Dec 10 2015 comment. - _Wolfdieter Lang_, Dec 10 2015

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 828.
A. H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 1964, p. 196.
L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 74, Problem 8.
John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See p. 70.
L. E. Dickson, History of the Theory of Numbers. Carnegie Institute Public. 256, Washington, DC, Vol. 1, 1919; Vol. 2, 1920; Vol. 3, 1923, see vol. 2, p. 7.
Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §8.6 Figurate Numbers, p. 294.
J. C. P. Miller, editor, Table of Binomial Coefficients. Royal Society Mathematical Tables, Vol. 3, Cambridge Univ. Press, 1954.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
Charles W. Trigg, Mathematical Quickies, New York: Dover Publications, Inc., 1985, p. 53, #191.
David Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, Revised edition 1987. See p. 127.

Franklin T. Adams-Watters, Table of n, a(n) for n = 0..1002
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Brandy Amanda Barnette, Counting Convex Sets on Products of Totally Ordered Sets, Masters Theses & Specialist Projects, Paper 1484, 2015.
Gaston A. Brouwer, Jonathan Joe, Abby A. Noble, and Matt Noble, Problems on the Triangular Lattice, arXiv:2405.12321 [math.CO], 2024. Mentions this sequence.
Peter J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
Ömür Deveci and Anthony G. Shannon, Some aspects of Neyman triangles and Delannoy arrays, Mathematica Montisnigri (2021) Vol. L, 36-43.
Paul Erdős, Norbert Kaufman, R. H. Koch, and Arthur Rosenthal, E750 (Interior diagonal points), Amer. Math. Monthly, 54 (Jun, 1947), p. 344.
Th. Grüner, A. Kerber, R. Laue, and M. Meringer, Mathematics for Combinatorial Chemistry.
Jia Huang, Partially Palindromic Compositions, J. Int. Seq. (2023) Vol. 26, Art. 23.4.1. See p. 4.
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 254.
Milan Janjic, Two Enumerative Functions.
Peter Kagey, A Proof Without Words: Triangles in the Triangular Grid, arXiv:2211.00186 [math.HO], 2022.
Hyun Kwang Kim, On Regular Polytope Numbers, Proc. Amer. Math. Soc., 131 (2002), 65-75.
Iva Kodrnja and Helena Koncul, Polynomials vanishing on a basis of S_m(Gamma_0(N)), Glasnik Matematički (2024) Vol. 59, No. 79, 313-325. See p. 324.
Feihu Liu, Guoce Xin, and Chen Zhang, Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS, arXiv:2412.18744 [math.CO], 2024. See pp. 13, 15.
Tim McDevitt and Kathryn Sutcliffe, A New Look at an Old Triangle Counting Problem. The Mathematics Teacher. Vol. 110, No. 6 (February 2017), pp. 470-474.
Rajesh Kumar Mohapatra and Tzung-Pei Hong, On the Number of Finite Fuzzy Subsets with Analysis of Integer Sequences, Mathematics (2022) Vol. 10, No. 7, 1161.
Alexsandar Petojevic, The Function vM_m(s; a; z) and Some Well-Known Sequences, Journal of Integer Sequences, Vol. 5 (2002), Article 02.1.7.
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992.
Les Reid, Counting Triangles in an Array.
Les Reid, Counting Triangles in an Array. [Cached copy]
Luis Manuel Rivera, Integer sequences and k-commuting permutations, arXiv preprint arXiv:1406.3081 [math.CO], 2014.
Kenneth A. Ross, First Digits of Squares and Cubes, Math. Mag. 85 (2012) 36-42.
Kirill S. Shardakov and Vladimir P. Bubnov, Stochastic Model of a High-Loaded Monitoring System of Data Transmission Network, Selected Papers of the Models and Methods of Information Systems Research Workshop, CEUR Workshop Proceedings, (St. Petersburg, Russia, 2019), 29-34.
Eric Weisstein's World of Mathematics, Composition.
Eric Weisstein's World of Mathematics, Pentatope Number.
Eric Weisstein's World of Mathematics, Pentatope.
A. F. Y. Zhao, Pattern Popularity in Multiply Restricted Permutations, Journal of Integer Sequences, 17 (2014), #14.10.3.
Index to sequences related to pyramidal numbers.
Index entries for linear recurrences with constant coefficients, signature (5,-10,10,-5,1).
Index entries for sequences related to Benford's law.

binomial(n, k): A161680 (k = 2), A000389 (k = 5), A000579 (k = 6), A000580 (k = 7), A000581 (k = 8), A000582 (k = 9).
Cf. A053134, A053126, A075733, A006322, A006325.
Cf. also A000583, A014820, A092181, A092182, A092183.
Cf. A000217, A000292, A007318 (column k = 4).
Cf. A158824.
Cf. A006008 (Number of ways to color the faces (or vertices) of a regular tetrahedron with n colors when mirror images are counted as two).
Cf. A104712 (third column, k=4).
See A269747 for a 3-D analog.
Cf. A006008 (oriented), A006003 (achiral) tetrahedron colorings.
Row 3 of A325000, col. 4 of A007318.
Cf. A000292, A025036, A099174.

A000332 := List([1..10^2], n -> Binomial(n, 4)); # Muniru A Asiru, Oct 16 2017

[Binomial(n,4): n in [0..50]]; // Vincenzo Librandi, Nov 23 2014

A000332 := n->binomial(n,4); [seq(binomial(n,4), n=0..100)];

Table[ Binomial[n, 4], {n, 0, 45} ] (* corrected by Harvey P. Dale, Aug 22 2011 *)
Table[(n-4)(n-3)(n-2)(n-1)/24, {n, 100}] (* Artur Jasinski, Dec 02 2007 *)
LinearRecurrence[{5,-10,10,-5,1}, {0,0,0,0,1}, 45] (* Harvey P. Dale, Aug 22 2011 *)
CoefficientList[Series[x^4 / (1 - x)^5, {x, 0, 40}], x] (* Vincenzo Librandi, Nov 23 2014 *)

PARI
```
a(n)=binomial(n,4);
```

# Starts at a(3), i.e. computes n*(n+1)*(n+2)*(n+3)/24
# which is more in line with A000217 and A000292.
def A000332():
    x, y, z, u = 1, 1, 1, 1
    yield 0
    while True:
        yield x
        x, y, z, u = x + y + z + u + 1, y + z + u + 1, z + u + 1, u + 1
a = A000332(); print([next(a) for i in range(41)]) # Peter Luschny, Aug 03 2019

print([n*(n-1)*(n-2)*(n-3)//24 for n in range(50)])
# Gennady Eremin, Feb 06 2022

a(n) = n*(n-1)*(n-2)*(n-3)/24.
G.f.: x^4/(1-x)^5. - Simon Plouffe in his 1992 dissertation
a(n) = n*a(n-1)/(n-4). - Benoit Cloitre, Apr 26 2003, R. J. Mathar, Jul 07 2009
a(n) = Sum_{k=1..n-3} Sum_{i=1..k} i*(i+1)/2. - Benoit Cloitre, Jun 15 2003
Convolution of natural numbers {1, 2, 3, 4, ...} and A000217, the triangular numbers {1, 3, 6, 10, ...}. - Jon Perry, Jun 25 2003
a(n) = A110555(n+1,4). - Reinhard Zumkeller, Jul 27 2005
a(n+1) = ((n^5-(n-1)^5) - (n^3-(n-1)^3))/24 - (n^5-(n-1)^5-1)/30; a(n) = A006322(n-2)-A006325(n-1). - Xavier Acloque, Oct 20 2003; R. J. Mathar, Jul 07 2009
a(4*n+2) = Pyr(n+4, 4*n+2) where the polygonal pyramidal numbers are defined for integers A>2 and B>=0 by Pyr(A, B) = B-th A-gonal pyramid number = ((A-2)*B^3 + 3*B^2 - (A-5)*B)/6; For all positive integers i and the pentagonal number function P(x) = x*(3*x-1)/2: a(3*i-2) = P(P(i)) and a(3*i-1) = P(P(i) + i); 1 + 24*a(n) = (n^2 + 3*n + 1)^2. - Jonathan Vos Post, Nov 15 2004
First differences of A000389(n). - Alexander Adamchuk, Dec 19 2004
For n > 3, the sum of the first n-2 tetrahedral numbers (A000292). - Martin Steven McCormick (mathseq(AT)wazer.net), Apr 06 2005 [Corrected by Doug Bell, Jun 25 2017]
Starting (1, 5, 15, 35, ...), = binomial transform of [1, 4, 6, 4, 1, 0, 0, 0, ...]. - Gary W. Adamson, Dec 28 2007
Sum_{n>=4} 1/a(n) = 4/3, from the Taylor expansion of (1-x)^3*log(1-x) in the limit x->1. - R. J. Mathar, Jan 27 2009
A034263(n) = (n+1)*a(n+4) - Sum_{i=0..n+3} a(i). Also A132458(n) = a(n)^2 - a(n-1)^2 for n>0. - Bruno Berselli, Dec 29 2010
a(n) = 5*a(n-1) - 10*a(n-2) + 10*a(n-3) - 5*a(n-4) + a(n-5); a(0)=0, a(1)=0, a(2)=0, a(3)=0, a(4)=1. - Harvey P. Dale, Aug 22 2011
a(n) = (binomial(n-1,2)^2 - binomial(n-1,2))/6. - Gary Detlefs, Nov 20 2011
a(n) = Sum_{k=1..n-2} Sum_{i=1..k} i*(n-k-2). - Wesley Ivan Hurt, Sep 25 2013
a(n) = (A000217(A000217(n-2) - 1))/3 = ((((n-2)^2 + (n-2))/2)^2 - (((n-2)^2 + (n-2))/2))/(2*3). - Raphie Frank, Jan 16 2014
Sum_{n>=0} a(n)/n! = e/24. Sum_{n>=3} a(n)/(n-3)! = 73*e/24. See A067764 regarding the second ratio. - Richard R. Forberg, Dec 26 2013
Sum_{n>=4} (-1)^(n+1)/a(n) = 32*log(2) - 64/3 = A242023 = 0.847376444589... . - Richard R. Forberg, Aug 11 2014
4/(Sum_{n>=m} 1/a(n)) = A027480(m-3), for m>=4. - Richard R. Forberg, Aug 12 2014
E.g.f.: x^4*exp(x)/24. - Robert Israel, Nov 23 2014
a(n+3) = C(n,1) + 3*C(n,2) + 3*C(n,3) + C(n,4). Each term indicates the number of ways to use n colors to color a tetrahedron with exactly 1, 2, 3, or 4 colors.
a(n) = A080852(1,n-4). - R. J. Mathar, Jul 28 2016
From Gary W. Adamson, Feb 06 2017: (Start)
G.f.: Starting (1, 5, 14, ...), x/(1-x)^5 can be written
as (x * r(x) * r(x^2) * r(x^4) * r(x^8) * ...) where r(x) = (1+x)^5;
as (x * r(x) * r(x^3) * r(x^9) * r(x^27) * ...) where r(x) = (1+x+x^2)^5;
as (x * r(x) * r(x^4) * r(x^16) * r(x^64) * ...) where r(x) = (1+x+x^2+x^3)^5;
... (as a conjectured infinite set). (End)
From Robert A. Russell, Jan 22 2020: (Start)
a(n) = A006008(n) - a(n+3) = (A006008(n) - A006003(n)) / 2 = a(n+3) - A006003(n).
a(n+3) = A006008(n) - a(n) = (A006008(n) + A006003(n)) / 2 = a(n) + A006003(n).
a(n) = A007318(n,4).
a(n+3) = A325000(3,n). (End)
Product_{n>=5} (1 - 1/a(n)) = cosh(sqrt(15)*Pi/2)/(100*Pi). - Amiram Eldar, Jan 21 2021

Some formulas that referred to another offset corrected by R. J. Mathar, Jul 07 2009

cp's OEIS Frontend

A000417 Euler transform of A000389.

Views

Author

Keywords

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A101289 Inverse Moebius transform of 5-simplex numbers A000389.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

PARI

PARI

Formula

A145455 Exponential transform of C(n,5) = A000389.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A118431 Numerator of sum of reciprocals of first n 5-simplex numbers A000389.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A283370 Minimal number of terms required to write n as sum of numbers in A000389 = { C(k,5); k=1,2,3,... } (with repetitions allowed).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Formula

A118432 Denominator of sum of reciprocals of first n 5-simplex numbers A000389.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A144866 Shadow transform of C(n+4,5) = A000389(n+4).

Views

Author

Keywords

Links

Crossrefs

Programs

Maple

A158874 a(n) = (n + 4)*(n + 3)*(n + 2)*(n + 1)*n / 5 = 24*A000389(n+4).

Views

A158874 a(n) = (n + 4)(n + 3)(n + 2)(n + 1)n / 5 = 24*A000389(n+4).

A000332 Binomial coefficient binomial(n,4) = n(n-1)(n-2)*(n-3)/24.