cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A014473 Pascal's triangle - 1: Triangle read by rows: T(n, k) = A007318(n, k) - 1.

This page as a plain text file.
%I A014473 #55 Apr 08 2024 09:25:15
%S A014473 0,0,0,0,1,0,0,2,2,0,0,3,5,3,0,0,4,9,9,4,0,0,5,14,19,14,5,0,0,6,20,34,
%T A014473 34,20,6,0,0,7,27,55,69,55,27,7,0,0,8,35,83,125,125,83,35,8,0,0,9,44,
%U A014473 119,209,251,209,119,44,9,0,0,10,54,164,329,461,461,329,164,54,10,0
%N A014473 Pascal's triangle - 1: Triangle read by rows: T(n, k) = A007318(n, k) - 1.
%C A014473 Indexed as a square array A(n,k): If X is an (n+k)-set and Y a fixed k-subset of X then A(n,k) is equal to the number of n-subsets of X intersecting Y. - _Peter Luschny_, Apr 20 2012
%H A014473 Reinhard Zumkeller, <a href="/A014473/b014473.txt">Rows n=0..100 of triangle, flattened</a>
%H A014473 Milan Janjic, <a href="http://www.pmfbl.org/janjic/">Two Enumerative Functions</a>
%F A014473 G.f.: x^2*y/((1 - x)*(1 - x*y)*(1 - x*(1 + y))). - _Ralf Stephan_, Jan 24 2005
%F A014473 T(n,k) = A109128(n,k) - A007318(n,k), 0 <= k <= n. - _Reinhard Zumkeller_, Apr 10 2012
%F A014473 T(n, k) = T(n-1, k-1) + T(n-1, k) + 1, 0 < k < n with T(n, 0) = T(n, n) = 0. - _Reinhard Zumkeller_, Jul 18 2015
%F A014473 If seen as a square array read by antidiagonals the generating function of row n is: G(n) = (x - 1)^(-n - 1) + (-1)^(n + 1)/(x*(x - 1)). - _Peter Luschny_, Feb 13 2019
%F A014473 From _G. C. Greubel_, Apr 08 2024: (Start)
%F A014473 T(n, n-k) = T(n, k).
%F A014473 Sum_{k=0..floor(n/2)} T(n-k, k) = A129696(n-2).
%F A014473 Sum_{k=0..floor(n/2)} (-1)^k*T(n-k, k) = b(n-1), where b(n) is the repeating pattern {0, 0, -1, -2, -1, 1, 1, -1, -2, -1, 0, 0}_{n=0..11}, with b(n) = b(n-12). (End)
%e A014473 Triangle begins:
%e A014473    0;
%e A014473    0, 0;
%e A014473    0, 1,  0;
%e A014473    0, 2,  2,  0;
%e A014473    0, 3,  5,  3,  0;
%e A014473    0, 4,  9,  9,  4,  0;
%e A014473    0, 5, 14, 19, 14,  5, 0;
%e A014473    0, 6, 20, 34, 34, 20, 6, 0;
%e A014473    ...
%e A014473 Seen as a square array read by antidiagonals:
%e A014473   [0] 0, 0,  0,  0,   0,   0,   0,    0,    0,    0,    0,     0, ... A000004
%e A014473   [1] 0, 1,  2,  3,   4,   5,   6,    7,    8,    9,   10,    11, ... A001477
%e A014473   [2] 0, 2,  5,  9,  14,  20,  27,   35,   44,   54,   65,    77, ... A000096
%e A014473   [3] 0, 3,  9, 19,  34,  55,  83,  119,  164,  219,  285,   363, ... A062748
%e A014473   [4] 0, 4, 14, 34,  69, 125, 209,  329,  494,  714, 1000,  1364, ... A063258
%e A014473   [5] 0, 5, 20, 55, 125, 251, 461,  791, 1286, 2001, 3002,  4367, ... A062988
%e A014473   [6] 0, 6, 27, 83, 209, 461, 923, 1715, 3002, 5004, 8007, 12375, ... A124089
%p A014473 with(combstruct): for n from 0 to 11 do seq(-1+count(Combination(n), size=m), m = 0 .. n) od; # _Zerinvary Lajos_, Apr 09 2008
%p A014473 # The rows of the square array:
%p A014473 Arow := proc(n, len) local gf, ser;
%p A014473 gf := (x - 1)^(-n - 1) + (-1)^(n + 1)/(x*(x - 1));
%p A014473 ser := series(gf, x, len+2): seq((-1)^(n+1)*coeff(ser, x, j), j=0..len) end:
%p A014473 for n from 0 to 9 do lprint([n], Arow(n, 12)) od; # _Peter Luschny_, Feb 13 2019
%t A014473 Table[Binomial[n,k] -1, {n,0,12}, {k,0,n}]//Flatten (* _G. C. Greubel_, Apr 08 2024 *)
%o A014473 (Haskell)
%o A014473 a014473 n k = a014473_tabl !! n !! k
%o A014473 a014473_row n = a014473_tabl !! n
%o A014473 a014473_tabl = map (map (subtract 1)) a007318_tabl
%o A014473 -- _Reinhard Zumkeller_, Apr 10 2012
%o A014473 (Magma)
%o A014473 [Binomial(n,k)-1: k in [0..n], n in [0..12]]; // _G. C. Greubel_, Apr 08 2024
%o A014473 (SageMath)
%o A014473 flatten([[binomial(n,k)-1 for k in range(n+1)] for n in range(13)]) # _G. C. Greubel_, Apr 08 2024
%Y A014473 Triangle without zeros: A014430.
%Y A014473 Related: A323211 (A007318(n, k) + 1).
%Y A014473 A000295 (row sums), A059841 (alternating row sums), A030662(n-1) (central terms).
%Y A014473 Columns include A000096, A062748, A062988, A063258.
%Y A014473 Diagonals of A(n, n+d): A030662 (d=0), A010763 (d=1), A322938 (d=2).
%Y A014473 Cf. A000004, A001477, A007318, A030662, A059841, A109128, A124089, A129696.
%K A014473 nonn,tabl,easy
%O A014473 0,8
%A A014473 _N. J. A. Sloane_
%E A014473 More terms from _Erich Friedman_