A034263 -id:A034263 - cp's OEIS frontend

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

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

A005585 5-dimensional pyramidal numbers: a(n) = n(n+1)(n+2)(n+3)(2n+3)/5!.

Original entry on oeis.org

1, 7, 27, 77, 182, 378, 714, 1254, 2079, 3289, 5005, 7371, 10556, 14756, 20196, 27132, 35853, 46683, 59983, 76153, 95634, 118910, 146510, 179010, 217035, 261261, 312417, 371287, 438712, 515592, 602888, 701624, 812889, 937839, 1077699, 1233765, 1407406

Offset: 1

N. J. A. Sloane

Convolution of triangular numbers (A000217) and squares (A000290) (n>=1). - Graeme McRae, Jun 07 2006
p^k divides a(p^k-3), a(p^k-2), a(p^k-1) and a(p^k) for prime p > 5 and integer k > 0. p^k divides a((p^k-3)/2) for prime p > 5 and integer k > 0. - Alexander Adamchuk, May 08 2007
If a 2-set Y and an (n-3)-set Z are disjoint subsets of an n-set X then a(n-5) is the number of 6-subsets of X intersecting both Y and Z. - Milan Janjic, Sep 08 2007
5-dimensional square numbers, fourth partial sums of binomial transform of [1,2,0,0,0,...]. a(n) = Sum_{i=0..n} binomial(n+4, i+4)*b(i), where b(i)=[1,2,0,0,0,...]. - Borislav St. Borisov (b.st.borisov(AT)abv.bg), Mar 05 2009
Antidiagonal sums of the convolution array A213550. - Clark Kimberling, Jun 17 2012
Binomial transform of (1, 6, 14, 16, 9, 2, 0, 0, 0, ...). - Gary W. Adamson, Jul 28 2015
2*a(n) is number of ways to place 4 queens on an (n+3) X (n+3) chessboard so that they diagonally attack each other exactly 6 times. The maximal possible attack number, p=binomial(k,2)=6 for k=4 queens, is achievable only when all queens are on the same diagonal. In graph-theory representation they thus form a corresponding complete graph. - Antal Pinter, Dec 27 2015
While adjusting for offsets, add A000389 to find the next in series A000389, A005585, A051836, A034263, A027800, A051843, A051877, A051878, A051879, A051880, A056118, A271567. (See Bruno Berselli's comments in A271567.) - Bruce J. Nicholson, Jun 21 2018
Coefficients in the terminating series identity 1 - 7*n/(n + 6) + 27*n*(n - 1)/((n + 6)*(n + 7)) - 77*n*(n - 1)*(n - 2)/((n + 6)*(n + 7)*(n + 8)) + ... = 0 for n = 1,2,3,.... Cf. A002415 and A040977. - Peter Bala, Feb 18 2019

			G.f. = x + 7*x^2 + 27*x^3 + 77*x^4 + 182*x^5 + 378*x^6 + 714*x^7 + 1254*x^8 + ... - _Michael Somos_, Jun 24 2018

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 797.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Vincenzo Librandi, Table of n, a(n) for n = 1..1000 (first 121 terms from Alexander Adamchuk)
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].
Paul Barry, On the Gap-sum and Gap-product Sequences of Integer Sequences, arXiv:2104.05593 [math.CO], 2021.
R. K. Guy, Letter to N. J. A. Sloane, Feb 1988
Milan Janjic, Two Enumerative Functions
C. H. Karlson and N. J. A. Sloane, Correspondence, 1974
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 p. 15.
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
R. P. Stanley and F. Zanello, The Catalan case of Armstrong's conjecture on core partitions, arXiv preprint arXiv:1312.4352 [math.CO], 2013.
Index entries for sequences related to Chebyshev polynomials.
Index to sequences related to pyramidal numbers
Index entries for linear recurrences with constant coefficients, signature (6,-15,20,-15,6,-1).

a(n) = ((-1)^(n+1))*A053120(2*n+3, 5)/16, (1/16 of sixth unsigned column of Chebyshev T-triangle, zeros omitted).
Partial sums of A002415.
Cf. A006542, A040977, A047819, A111125 (third column).
Cf. a(n) = ((-1)^(n+1))*A084960(n+1, 2)/16 (compare with the first line). - Wolfdieter Lang, Aug 04 2014
Cf. A000389, A051836, A034263, A027800, A051843, A051877, A051878, A051879.

I:=[1, 7, 27, 77, 182, 378]; [n le 6 select I[n] else 6*Self(n-1)-15*Self(n-2)+20*Self(n-3)-15*Self(n-4)+6*Self(n-5)-Self(n-6): n in [1..40]]; // Vincenzo Librandi, Jun 09 2013

[seq(binomial(n+2,6)-binomial(n,6), n=4..45)]; # Zerinvary Lajos, Jul 21 2006
A005585:=(1+z)/(z-1)**6; # Simon Plouffe in his 1992 dissertation

With[{c=5!},Table[n(n+1)(n+2)(n+3)(2n+3)/c,{n,40}]] (* or *) LinearRecurrence[ {6,-15,20,-15,6,-1},{1,7,27,77,182,378},40] (* Harvey P. Dale, Oct 04 2011 *)
CoefficientList[Series[(1 + x) / (1 - x)^6, {x, 0, 50}], x] (* Vincenzo Librandi, Jun 09 2013 *)

a(n)=binomial(n+3,4)*(2*n+3)/5 \\ Charles R Greathouse IV, Jul 28 2015

G.f.: x*(1+x)/(1-x)^6.
a(n) = 2*C(n+4, 5) - C(n+3, 4). - Paul Barry, Mar 04 2003
a(n) = C(n+3, 5) + C(n+4, 5). - Paul Barry, Mar 17 2003
a(n) = C(n+2, 6) - C(n, 6), n >= 4. - Zerinvary Lajos, Jul 21 2006
a(n) = Sum_{k=1..n} T(k)*T(k+1)/3, where T(n) = n(n+1)/2 is a triangular number. - Alexander Adamchuk, May 08 2007
a(n-1) = (1/4)*Sum_{1 <= x_1, x_2 <= n} |x_1*x_2*det V(x_1,x_2)| = (1/4)*Sum_{1 <= i,j <= n} i*j*|i-j|, where V(x_1,x_2) is the Vandermonde matrix of order 2. First differences of A040977. - Peter Bala, Sep 21 2007
a(n) = C(n+4,4) + 2*C(n+4,5). - Borislav St. Borisov (b.st.borisov(AT)abv.bg), Mar 05 2009
a(n) = 6*a(n-1) - 15*a(n-2) + 20*a(n-3) - 15*a(n-4) + 6*a(n-5) - a(n-6), a(1)=1, a(2)=7, a(3)=27, a(4)=77, a(5)=182, a(6)=378. - Harvey P. Dale, Oct 04 2011
a(n) = (1/6)*Sum_{i=1..n+1} (i*Sum_{k=1..i} (i-1)*k). - Wesley Ivan Hurt, Nov 19 2014
E.g.f.: x*(2*x^4 + 35*x^3 + 180*x^2 + 300*x + 120)*exp(x)/120. - Robert Israel, Nov 19 2014
a(n) = A000389(n+3) + A000389(n+4). - Bruce J. Nicholson, Jun 21 2018
a(n) = -a(-3-n) for all n in Z. - Michael Somos, Jun 24 2018
From Amiram Eldar, Jun 28 2020: (Start)
Sum_{n>=1} 1/a(n) = 40*(16*log(2) - 11)/3.
Sum_{n>=1} (-1)^(n+1)/a(n) = 20*(8*Pi - 25)/3. (End)
a(n) = A004302(n+1) - A207361(n+1). - J. M. Bergot, May 20 2022
a(n) = Sum_{i=0..n+1} Sum_{j=i..n+1} i*j*(j-i)/2. - Darío Clavijo, Oct 11 2023
a(n) = (A000538(n+1) - A000330(n+1))/12. - Yasser Arath Chavez Reyes, Feb 21 2024

A034261 Infinite square array f(a,b) = C(a+b,b+1)(ab+a+1)/(b+2), a, b >= 0, read by antidiagonals. Equivalently, triangular array T(n,k) = f(k,n-k), 0 <= k <= n, read by rows.

Original entry on oeis.org

0, 0, 1, 0, 1, 3, 0, 1, 5, 6, 0, 1, 7, 14, 10, 0, 1, 9, 25, 30, 15, 0, 1, 11, 39, 65, 55, 21, 0, 1, 13, 56, 119, 140, 91, 28, 0, 1, 15, 76, 196, 294, 266, 140, 36, 0, 1, 17, 99, 300, 546, 630, 462, 204, 45, 0, 1, 19, 125, 435, 930, 1302, 1218, 750, 285, 55

Offset: 0

Clark Kimberling

f(h,k) = number of paths consisting of steps from (0,0) to (h,k) using h unit steps right, k+1 unit steps up and 1 unit step down, in some order, with first step not down and no repeated points.

			Triangle begins:
  0;
  0, 1;
  0, 1, 3;
  0, 1, 5,  6;
  0, 1, 7, 14, 10;
  ...
As a square array,
  [ 0  0  0   0   0 ...]
  [ 1  1  1   1   1 ...]
  [ 3  5  7   9  11 ...]
  [ 6 14 25  39  56 ...]
  [10 30 65 119 196 ...]
  [...      ...     ...]

Cf. A001787 (row sums), A000330(n) = f(n,1).

Cf. A034263, A034264, A034265, A034267 - A034275 for diagonals n -> f(n,n+k), for several fixed k.

A034261 := proc(n, k) binomial(n, n-k+1)*(k+(k-1)/(k-n-2)); end proc; # argument indices of the triangle

Flatten[Table[Binomial[n,n-k+1](k+(k-1)/(k-n-2)),{n,0,15},{k,0,n}]] (* Harvey P. Dale, Jan 11 2013 *)

f(h,k)=binomial(h+k,k+1)*(k*h+h+1)/(k+2)

tabl(nn) = for (n=0, nn, for (k=0, n, print1(binomial(n, n-k+1)*(k+(k-1)/(k-n-2)), ", ")); print()); \\ Michel Marcus, Mar 20 2015

Another formula: f(h,k) = binomial(h+k,k+1) + Sum{C(i+j-1, j)*C(h+k-i-j, k-j+1): i=1, 2, ..., h-1, j=1, 2, ..., k+1}

Entry revised by N. J. A. Sloane, Apr 21 2000. The formula for f in the definition was found by Michael Somos.

Edited by M. F. Hasler, Nov 08 2017

A038163 G.f.: 1/((1-x)*(1-x^2))^3.

Original entry on oeis.org

1, 3, 9, 19, 39, 69, 119, 189, 294, 434, 630, 882, 1218, 1638, 2178, 2838, 3663, 4653, 5863, 7293, 9009, 11011, 13377, 16107, 19292, 22932, 27132, 31892, 37332, 43452, 50388, 58140, 66861, 76551, 87381, 99351, 112651, 127281

Offset: 0

N. J. A. Sloane

Number of symmetric nonnegative integer 6 X 6 matrices with sum of elements equal to 4*n, under action of dihedral group D_4. - Vladeta Jovovic, May 14 2000
Equals the triangular sequence convolved with the aerated triangular sequence, [1, 0, 3, 0, 6, 0, 10, ...]. - Gary W. Adamson, Jun 11 2009
Number of partitions of n (n>=1) into 1s and 2s if there are three kinds of 1s and three kinds of 2s. Example: a(2)=9 because we have 11, 11', 11", 1'1', 1'1", 1"1", 2, 2', and 2". - Emeric Deutsch, Jun 26 2009
Equals the tetrahedral numbers with repeats convolved with the natural numbers: (1 + x + 4x^2 + 4x^3 + ...) * (1 + 2x + 3x^2 + 4x^3 + ...) = (1 + 3x + 9x^2 + 19x^3 + ...). - Gary W. Adamson, Dec 22 2010

Alois P. Heinz, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (3,0,-8,6,6,-8,0,3,-1).

Cf. A008619, A006918, A001753.
Cf. A096338.
Column k=3 of A210391. - Alois P. Heinz, Mar 22 2012
Cf. A000217.

import Data.List (inits, intersperse)
a038163 n = a038163_list !! n
a038163_list = map
    (sum . zipWith (*) (intersperse 0 $ tail a000217_list) . reverse) $
    tail $ inits $ tail a000217_list where
-- Reinhard Zumkeller, Feb 27 2015

G := 1/((1-x)^3*(1-x^2)^3): Gser := series(G, x = 0, 42): seq(coeff(Gser, x, n), n = 0 .. 37); # Emeric Deutsch, Jun 26 2009
# alternative
A038163 := proc(n)
    (4*n^5+90*n^4+760*n^3+2970*n^2+5266*n+3285+(-1)^n*(30*n^2+270*n+555))/3840 ;
end proc:
seq(A038163(n),n=0..30) ; # R. J. Mathar, Feb 22 2021

CoefficientList[Series[1/((1-x)*(1-x^2))^3, {x, 0, 40}], x] (* Jean-François Alcover, Mar 11 2014 *)
LinearRecurrence[{3,0,-8,6,6,-8,0,3,-1},{1,3,9,19,39,69,119,189,294},50] (* Harvey P. Dale, Nov 24 2022 *)

a(2*k) = (4*k + 5)*binomial(k + 4, 4)/5 = A034263(k); a(2*k + 1) = binomial(k + 4, 4)*(15 + 4*k)/5 = A059599(k), k >= 0.
a(n) = (1/3840)*(4*n^5 + 90*n^4 + 760*n^3 + 2970*n^2 + 5266*n + 3285 + (-1)^n*(30*n^2 + 270*n + 555)). Recurrence: a(n) = 3*a(n-1) - 8*a(n-3) + 6*a(n-4) + 6*a(n-5) - 8*a(n-6) + 3*a(n-8) - a(n-9). - Vladeta Jovovic, Apr 24 2002
a(n+1) - a(n) = A096338(n+2). - R. J. Mathar, Nov 04 2008

A093561 (4,1) Pascal triangle.

Original entry on oeis.org

1, 4, 1, 4, 5, 1, 4, 9, 6, 1, 4, 13, 15, 7, 1, 4, 17, 28, 22, 8, 1, 4, 21, 45, 50, 30, 9, 1, 4, 25, 66, 95, 80, 39, 10, 1, 4, 29, 91, 161, 175, 119, 49, 11, 1, 4, 33, 120, 252, 336, 294, 168, 60, 12, 1, 4, 37, 153, 372, 588, 630, 462, 228, 72, 13, 1, 4, 41, 190, 525, 960, 1218

Offset: 0

Wolfdieter Lang, Apr 22 2004

The array F(4;n,m) gives in the columns m >= 1 the figurate numbers based on A016813, including the hexagonal numbers A000384 (see the W. Lang link).
This is the fourth member, d=4, in the family of triangles of figurate numbers, called (d,1) Pascal triangles: A007318 (Pascal), A029653 and A093560, for d=1..3.
This is an example of a Riordan triangle (see A093560 for a comment and A053121 for a comment and the 1991 Shapiro et al. reference on the Riordan group). Therefore the o.g.f. for the row polynomials p(n,x) = Sum_{m=0..n} a(n,m)*x^m is G(z,x) = (1+3*z)/(1-(1+x)*z).
The SW-NE diagonals give A000285(n-1) = Sum_{k=0..ceiling((n-1)/2)} a(n-1-k,k), n >= 1, with n=0 value 3. Observation by Paul Barry, Apr 29 2004. Proof via recursion relations and comparison of inputs.
For a closed-form formula for generalized Pascal's triangle see A228576. - Boris Putievskiy, Sep 09 2013
The n-th row polynomial is (4 + x)*(1 + x)^(n-1) for n >= 1. More generally, the n-th row polynomial of the Riordan array ( (1-a*x)/(1-b*x), x/(1-b*x) ) is (b - a + x)*(b + x)^(n-1) for n >= 1. - Peter Bala, Mar 02 2018

			Triangle begins
  [1];
  [4, 1];
  [4, 5, 1];
  [4, 9, 6, 1];
  ...

Kurt Hawlitschek, Johann Faulhaber 1580-1635, Veroeffentlichung der Stadtbibliothek Ulm, Band 18, Ulm, Germany, 1995, Ch. 2.1.4. Figurierte Zahlen.
Ivo Schneider, Johannes Faulhaber 1580-1635, Birkhäuser, Basel, Boston, Berlin, 1993, ch.5, pp. 109-122.

Reinhard Zumkeller, >Rows n = 0..125 of triangle, flattened
P. Bala, A note on the diagonals of a proper Riordan Array
W. Lang, First 10 rows and array of figurate numbers .

Cf. Row sums: A020714(n-1), n>=1, 1 for n=0, alternating row sums are 1 for n=0, 3 for n=2 and 0 otherwise.
Columns m=1..9: A016813, A000384 (hexagonal), A002412, A002417, A034263, A051947, A050483, A052181, A055843.
Cf. A007318, A093562 (d=5), A228196, A228576.

a093561 n k = a093561_tabl !! n !! k
a093561_row n = a093561_tabl !! n
a093561_tabl = [1] : iterate
               (\row -> zipWith (+) ([0] ++ row) (row ++ [0])) [4, 1]
-- Reinhard Zumkeller, Aug 31 2014

from math import comb, isqrt
def A093561(n): return comb(r:=(m:=isqrt(k:=n+1<<1))-(k<=m*(m+1)),a:=n-comb(r+1,2))*(r+3*(r-a))//r if n else 1 # Chai Wah Wu, Nov 12 2024

a(n, m) = F(4;n-m, m) for 0<= m <= n, otherwise 0, with F(4;0, 0)=1, F(4;n, 0)=4 if n>=1 and F(4;n, m) = (4*n+m)*binomial(n+m-1, m-1)/m if m>=1.
Recursion: a(n, m)=0 if m>n, a(0, 0)= 1; a(n, 0)=4 if n>=1; a(n, m)= a(n-1, m) + a(n-1, m-1).
G.f. row m (without leading zeros): (1+3*x)/(1-x)^(m+1), m>=0.
T(n, k) = C(n, k) + 3*C(n-1, k). - Philippe Deléham, Aug 28 2005
exp(x) * e.g.f. for row n = e.g.f. for diagonal n. For example, for n = 3 we have exp(x)*(4 + 9*x + 6*x^2/2! + x^3/3!) = 4 + 13*x + 28*x^2/2! + 50*x^3/3! + 80*x^4/4! + .... The same property holds more generally for Riordan arrays of the form ( f(x), x/(1 - x) ). - Peter Bala, Dec 22 2014

A089574 Column 4 of an array closely related to A083480. (Both arrays have shape sequence A083479).

Original entry on oeis.org

5, 32, 113, 299, 664, 1309, 2366, 4002, 6423, 9878, 14663, 21125, 29666, 40747, 54892, 72692, 94809, 121980, 155021, 194831, 242396, 298793, 365194, 442870, 533195, 637650, 757827, 895433, 1052294, 1230359, 1431704, 1658536, 1913197

Offset: 1

Alford Arnold, Dec 29 2003; extended May 04 2005

The diagonals are finite and sum to A047970.
Values appear to be a transformation of A006468 (rooted planar maps). Also known as well-labeled trees (cf. A000168).
First differences of the conjectured polynomial formula for A006468. [From R. J. Mathar, Jun 26 2010]

			The array begins
1
2
4
7 1
11 5
16 14 2
22 30 12
29 55 39 5
37 91 95 32 1

Index entries for linear recurrences with constant coefficients, signature (6,-15,20,-15,6,-1).

Cf. A105552, A006468.
Cf. A006011, A034261.
Cf. A000124 (column 1), A000330 (column 2), A086602 (column 3), A107600 (column 5), A107601 (column 6), A109125 (column 7), A109126 (column 8), A109820 (column 9), A108538 (column 10), A109821 (column 11), A110553 (column 12), A110624 (column 13).

Row sums are powers of 2.
a(n) = A000330(n) + A006011(n+1) + A034263(n-1).
a(n)= +6*a(n-1) -15*a(n-2) +20*a(n-3) -15*a(n-4) +6*a(n-5) -a(n-6). G.f.: x*(5+2*x-4*x^2+x^3)/(x-1)^6. a(n) = n*(n+1)*(4*n^3+51*n^2+159*n+86)/120. [From R. J. Mathar, Jun 26 2010]

Extended beyond a(8) by R. J. Mathar, Jun 26 2010

A241765 a(n) = n(n + 1)(n + 2)(3n + 17)/24.

Original entry on oeis.org

0, 5, 23, 65, 145, 280, 490, 798, 1230, 1815, 2585, 3575, 4823, 6370, 8260, 10540, 13260, 16473, 20235, 24605, 29645, 35420, 41998, 49450, 57850, 67275, 77805, 89523, 102515, 116870, 132680, 150040, 169048, 189805, 212415, 236985, 263625, 292448

Offset: 0

Bruno Berselli, Apr 28 2014

Equivalently, Sum_{i=0..n} (i+4)*A000217(i).
Sequences of the type Sum_{i=0..n} (i+k)*A000217(i):
k = 0,  A001296: 0,  1,  7, 25,  65, 140, 266, 462, ...
k = 1,  A000914: 0,  2, 11, 35,  85, 175, 322, 546, ...
k = 2,  A050534: 0,  3, 15, 45, 105, 210, 378, 630, ... (deleting two 0)
k = 3,  A215862: 0,  4, 19, 55, 125, 245, 434, 714, ...
k = 4,     a(n): 0,  5, 23, 65, 145, 280, 490, 798, ...
k = 5,  A239568: 0,  6, 27, 75, 165, 315, 546, 882, ...
Antidiagonal sums (without 0) give A034263: 1, 9, 39, 119, 294, ...
Diagonal: 1, 11, 45, 125, 280, 546, ... is A051740.
Also: k = -1 gives A050534 deleting a 0; k = -2 gives 0 followed by A059302.
After 0, partial sums of A212343 and third column of A118788.
This sequence is even related to A005286 by a(n) = n*A005286(n) - Sum_{i=0..n-1} A005286(i).

			a(7) = 4*0 + 5*1 + 6*3 + 7*6 + 8*10 + 9*15 + 10*21 + 11*28 = 798.

Bruno Berselli, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (5,-10,10,-5,1).

Cf. A000217, A005286, A118788, A212343, A227342.

Cf. similar sequences A000914, A001296, A050534, A059302, A215862, A239568 (see table in Comments lines).

/* By first comment: */ k:=4; A000217:=func; [&+[(i+k)*A000217(i): i in [0..n]]: n in [0..40]];

Maple

A241765:=n->n*(n + 1)*(n + 2)*(3*n + 17)/24; seq(A241765(n), n=0..40); # Wesley Ivan Hurt, May 09 2014

Mathematica

Table[n (n + 1) (n + 2) (3 n + 17)/24, {n, 0, 40}] (* or *) LinearRecurrence[{5, -10, 10, -5, 1}, {0, 5, 23, 65, 145}, 40] CoefficientList[Series[x (5 - 2 x)/(1 - x)^5, {x, 0, 40}], x] (* Vincenzo Librandi, May 09 2014 *)

Maxima

makelist(coeff(taylor(x*(5-2*x)/(1-x)^5, x, 0, n), x, n), n, 0, 40);

PARI

a(n)=n*(n+1)*(n+2)*(3*n+17)/24 \\ Charles R Greathouse IV, Oct 07 2015

PARI

x='x+O('x^99); concat(0, Vec(x*(5-2*x)/(1-x)^5)) \\ Altug Alkan, Apr 10 2016

Sage

[n*(n+1)*(n+2)*(3*n+17)/24 for n in (0..40)]

Formula

G.f.: x*(5 - 2*x)/(1 - x)^5.

a(n) = 5*a(n-1) - 10*a(n-2) + 10*a(n-3) - 5*a(n-4) + a(n-5).

a(n) = A227342(A055998(n+1)).

a(n) = Sum_{j=0..n+2} (-1)^(n-j)*binomial(-j,-n-2)*S1(j,n), S1 Stirling cycle numbers A132393. - Peter Luschny, Apr 10 2016

cp's OEIS Frontend

A051947 Partial sums of A034263.

Views

Author

Keywords

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

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

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Python

Python

Formula

Extensions

A005585 5-dimensional pyramidal numbers: a(n) = n*(n+1)*(n+2)*(n+3)*(2n+3)/5!.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

A034261 Infinite square array f(a,b) = C(a+b,b+1)*(a*b+a+1)/(b+2), a, b >= 0, read by antidiagonals. Equivalently, triangular array T(n,k) = f(k,n-k), 0 <= k <= n, read by rows.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

Formula

Extensions

A038163 G.f.: 1/((1-x)*(1-x^2))^3.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

Formula

A093561 (4,1) Pascal triangle.

Views

Author

Keywords

Comments

Examples

References

Links

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

A005585 5-dimensional pyramidal numbers: a(n) = n(n+1)(n+2)(n+3)(2n+3)/5!.

A034261 Infinite square array f(a,b) = C(a+b,b+1)(ab+a+1)/(b+2), a, b >= 0, read by antidiagonals. Equivalently, triangular array T(n,k) = f(k,n-k), 0 <= k <= n, read by rows.

A241765 a(n) = n(n + 1)(n + 2)(3n + 17)/24.

A254142 a(n) = (9n+10)binomial(n+9,9)/10.