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.

Showing 1-4 of 4 results.

A085478 Triangle read by rows: T(n, k) = binomial(n + k, 2*k).

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 1, 6, 5, 1, 1, 10, 15, 7, 1, 1, 15, 35, 28, 9, 1, 1, 21, 70, 84, 45, 11, 1, 1, 28, 126, 210, 165, 66, 13, 1, 1, 36, 210, 462, 495, 286, 91, 15, 1, 1, 45, 330, 924, 1287, 1001, 455, 120, 17, 1, 1, 55, 495, 1716, 3003, 3003, 1820, 680, 153, 19, 1
Offset: 0

Views

Author

Philippe Deléham, Aug 14 2003

Keywords

Comments

Coefficient array for Morgan-Voyce polynomial b(n,x). A053122 (unsigned) is the coefficient array for B(n,x). Reversal of A054142. - Paul Barry, Jan 19 2004
This triangle is formed from even-numbered rows of triangle A011973 read in reverse order. - Philippe Deléham, Feb 16 2004
T(n,k) is the number of nondecreasing Dyck paths of semilength n+1, having k+1 peaks. T(n,k) is the number of nondecreasing Dyck paths of semilength n+1, having k peaks at height >= 2. T(n,k) is the number of directed column-convex polyominoes of area n+1, having k+1 columns. - Emeric Deutsch, May 31 2004
Riordan array (1/(1-x), x/(1-x)^2). - Paul Barry, May 09 2005
The triangular matrix a(n,k) = (-1)^(n+k)*T(n,k) is the matrix inverse of A039599. - Philippe Deléham, May 26 2005
The n-th row gives absolute values of coefficients of reciprocal of g.f. of bottom-line of n-wave sequence. - Floor van Lamoen (fvlamoen(AT)planet.nl), Sep 24 2006
Unsigned version of A129818. - Philippe Deléham, Oct 25 2007
T(n, k) is also the number of idempotent order-preserving full transformations (of an n-chain) of height k >=1 (height(alpha) = |Im(alpha)|) and of waist n (waist(alpha) = max(Im(alpha))). - Abdullahi Umar, Oct 02 2008
A085478 is jointly generated with A078812 as a triangular array of coefficients of polynomials u(n,x): initially, u(1,x) = v(1,x) = 1; for n>1, u(n,x) = u(n-1,x)+x*v(n-1)x and v(n,x) = u(n-1,x)+(x+1)*v(n-1,x). See the Mathematica section. - Clark Kimberling, Feb 25 2012
Per Kimberling's recursion relations, see A102426. - Tom Copeland, Jan 19 2016
Subtriangle of the triangle given by (0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (1, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Mar 26 2012
T(n,k) is also the number of compositions (ordered partitions) of 2*n+1 into 2*k+1 parts which are all odd. Proof: The o.g.f. of column k, x^k/(1-x)^(2*k+1) for k >= 0, is the o.g.f. of the odd-indexed members of the sequence with o.g.f. (x/(1-x^2))^(2*k+1) (bisection, odd part). Thus T(n,k) is obtained from the sum of the multinomial numbers A048996 for the partitions of 2*n+1 into 2*k+1 parts, all of which are odd. E.g., T(3,1) = 3 + 3 from the numbers for the partitions [1,1,5] and [1,3,3], namely 3!/(2!*1!) and 3!/(1!*2!), respectively. The number triangle with the number of these partitions as entries is A152157. - Wolfdieter Lang, Jul 09 2012
The matrix elements of the inverse are T^(-1)(n,k) = (-1)^(n+k)*A039599(n,k). - R. J. Mathar, Mar 12 2013
T(n,k) = A258993(n+1,k) for k = 0..n-1. - Reinhard Zumkeller, Jun 22 2015
The n-th row polynomial in descending powers of x is the n-th Taylor polynomial of the algebraic function F(x)*G(x)^n about 0, where F(x) = (1 + sqrt(1 + 4*x))/(2*sqrt(1 + 4*x)) and G(x) = ((1 + sqrt(1 + 4*x))/2)^2. For example, for n = 4, (1 + sqrt(1 + 4*x))/(2*sqrt(1 + 4*x)) * ((1 + sqrt(1 + 4*x))/2)^8 = (x^4 + 10*x^3 + 15*x^2 + 7*x + 1) + O(x^5). - Peter Bala, Feb 23 2018
Row n also gives the coefficients of the characteristc polynomial of the tridiagonal n X n matrix M_n given in A332602: Phi(n, x) := Det(M_n - x*1_n) = Sum_{k=0..n} T(n, k)*(-x)^k, for n >= 0, with Phi(0, x) := 1. - Wolfdieter Lang, Mar 25 2020
It appears that the largest root of the n-th degree polynomial is equal to the sum of the distinct diagonals of a (2*n+1)-gon including the edge, 1. The largest root of x^3 - 6*x^2 + 5*x - 1 is 5.048917... = the sum of (1 + 1.80193... + 2.24697...). Alternatively, the largest root of the n-th degree polynomial is equal to the square of sigma(2*n+1). Check: 5.048917... is the square of sigma(7), 2.24697.... Given N = 2*n+1, sigma(N) (N odd) can be defined as 1/(2*sin(Pi/(2*N))). Relating to the 9-gon, the largest root of x^4 - 10*x^3 + 15*x^2 - 7*x + 1 is 8.290859..., = the sum of (1 + 1.879385... + 2.532088... + 2.879385...), and is the square of sigma(9), 2.879385... Refer to A231187 for a further clarification of sigma(7). - Gary W. Adamson, Jun 28 2022
For n >=1, the n-th row is given by the coefficients of the minimal polynomial of -4*sin(Pi/(4*n + 2))^2. - Eric W. Weisstein, Jul 12 2023
Denoting this lower triangular array by L, then L * diag(binomial(2*k,k)^2) * transpose(L) is the LDU factorization of A143007, the square array of crystal ball sequences for the A_n X A_n lattices. - Peter Bala, Feb 06 2024
T(n, k) is the number of occurrences of the periodic substring (01)^k in the periodic string (01)^n (see Proposition 4.7 at page 7 in Fang). - Stefano Spezia, Jun 09 2024

Examples

			Triangle begins as:
  1;
  1    1;
  1    3    1;
  1    6    5    1;
  1   10   15    7    1;
  1   15   35   28    9    1;
  1   21   70   84   45   11    1;
  1   28  126  210  165   66   13    1;
  1   36  210  462  495  286   91   15    1;
  1   45  330  924 1287 1001  455  120   17    1;
  1   55  495 1716 3003 3003 1820  680  153   19    1;
...
From _Philippe Deléham_, Mar 26 2012: (Start)
(0, 1, 0, 1, 0, 0, 0, ...) DELTA (1, 0, 1, -1, 0, 0, 0, ...) begins:
  1
  0, 1
  0, 1,  1
  0, 1,  3,   1
  0, 1,  6,   5,   1
  0, 1, 10,  15,   7,   1
  0, 1, 15,  35,  28,   9,  1
  0, 1, 21,  70,  84,  45, 11,  1
  0, 1, 28, 126, 210, 165, 66, 13, 1. (End)

Links

Crossrefs

Row sums: A001519. Signed versions: A123970, A129818.
Cf. A000108, A001006, A007318, A098158, A183160, A078812, A091042.
Cf. A258993, A025581, A051162, A054142, A332602.
Cf. A231187, A143007.

Programs

  • GAP
    Flat(List([0..12], n-> List([0..n], k-> Binomial(n+k, 2*k) ))); # G. C. Greubel, Aug 01 2019
  • Haskell
    a085478 n k = a085478_tabl !! n !! k
a085478_row n = a085478_tabl !! n
a085478_tabl = zipWith (zipWith a007318) a051162_tabl a025581_tabl
-- Reinhard Zumkeller, Jun 22 2015
  • Magma
    [Binomial(n+k, 2*k): k in [0..n], n in [0..12]]; // G. C. Greubel, Aug 01 2019
  • Maple
    T := (n,k) -> binomial(n+k,2*k): seq(seq(T(n,k), k=0..n), n=0..11);
  • Mathematica
    (* First program *)
u[1, x_]:= 1; v[1, x_]:= 1; z = 13;
u[n_, x_]:= u[n-1, x] + x*v[n-1, x];
v[n_, x_]:= u[n-1, x] + (x+1)*v[n-1, x];
Table[Expand[u[n, x]], {n, 1, z/2}]
Table[Expand[v[n, x]], {n, 1, z/2}]
cu = Table[CoefficientList[u[n, x], x], {n, 1, z}];
TableForm[cu]
Flatten[%]   (* A085478 *)
Table[Expand[v[n, x]], {n, 1, z}]
cv = Table[CoefficientList[v[n, x], x], {n, 1, z}];
TableForm[cv]
Flatten[%]   (* A078812 *) (*Clark Kimberling, Feb 25 2012 *)
(* Second program *)
Table[Binomial[n + k, 2 k], {n, 0, 12}, {k, 0, n}] // Flatten (* G. C. Greubel, Aug 01 2019 *)
CoefficientList[Table[Fibonacci[2 n + 1, Sqrt[x]], {n, 0, 10}], x] // Flatten (* Eric W. Weisstein, Jul 03 2023 *)
Join[{{1}}, CoefficientList[Table[MinimalPolynomial[-4 Sin[Pi/(4 n + 2)]^2, x], {n, 20}], x]] (* Eric W. Weisstein, Jul 12 2023 *)
  • PARI
    T(n,k) = binomial(n+k,n-k)
  • Sage
    [[binomial(n+k,2*k) for k in (0..n)] for n in (0..12)] # G. C. Greubel, Aug 01 2019

Formula

T(n, k) = (n+k)!/((n-k)!*(2*k)!).
G.f.: (1-z)/((1-z)^2-tz). - Emeric Deutsch, May 31 2004
Row sums are A001519 (Fibonacci(2n+1)). Diagonal sums are A011782. Binomial transform of A026729 (product of lower triangular matrices). - Paul Barry, Jun 21 2004
T(n, 0) = 1, T(n, k) = 0 if n=0} T(n-1-j, k-1)*(j+1). T(0, 0) = 1, T(0, k) = 0 if k>0; T(n, k) = T(n-1, k-1) + T(n-1, k) + Sum_{j>=0} (-1)^j*T(n-1, k+j)*A000108(j). For the column k, g.f.: Sum_{n>=0} T(n, k)*x^n = (x^k) / (1-x)^(2*k+1). - Philippe Deléham, Feb 15 2004
Sum_{k=0..n} T(n,k)*x^(2*k) = A000012(n), A001519(n+1), A001653(n), A078922(n+1), A007805(n), A097835(n), A097315(n), A097838(n), A078988(n), A097841(n), A097727(n), A097843(n), A097730(n), A098244(n), A097733(n), A098247(n), A097736(n), A098250(n), A097739(n), A098253(n), A097742(n), A098256(n), A097767(n), A098259(n), A097770(n), A098262(n), A097773(n), A098292(n), A097776(n) for x=0,1,2,...,27,28 respectively. - Philippe Deléham, Dec 31 2007
T(2*n,n) = A005809(n). - Philippe Deléham, Sep 17 2009
A183160(n) = Sum_{k=0..n} T(n,k)*T(n,n-k). - Paul D. Hanna, Dec 27 2010
T(n,k) = 2*T(n-1,k) + T(n-1,k-1) - T(n-2,k). - Philippe Deléham, Feb 06 2012
O.g.f. for column k: x^k/(1-x)^(2*k+1), k >= 0. [See the o.g.f. of the triangle above, and a comment on compositions. - Wolfdieter Lang, Jul 09 2012]
E.g.f.: (2/sqrt(x + 4))*sinh((1/2)*t*sqrt(x + 4))*cosh((1/2)*t*sqrt(x)) = t + (1 + x)*t^3/3! + (1 + 3*x + x^2)*t^5/5! + (1 + 6*x + 5*x^2 + x^3)*t^7/7! + .... Cf. A091042. - Peter Bala, Jul 29 2013
T(n, k) = A065941(n+3*k, 4*k) = A108299(n+3*k, 4*k) = A194005(n+3*k, 4*k). - Johannes W. Meijer, Sep 05 2013
Sum_{k=0..n} (-1)^k*T(n,k)*A000108(k) = A000007(n) for n >= 0. - Werner Schulte, Jul 12 2017
Sum_{k=0..floor(n/2)} T(n-k,k)*A000108(k) = A001006(n) for n >= 0. - Werner Schulte, Jul 12 2017
From Peter Bala, Jun 26 2025: (Start)
The n-th row polynomial b(n, x) = (-1)^n * U(2*n, (i/2)*sqrt(x)), where U(n,x) is the n-th Chebyshev polynomial of the second kind.
b(n, x) = (-1)^n * Dir(n, -1 - x/2), where Dir(n, x) is the n-th row polynomial of the triangle A244419.
b(n, -1 - x) is the n-th row polynomial of A098493. (End)

A099371 Expansion of g.f.: x/(1 - 9*x - x^2).

Original entry on oeis.org

0, 1, 9, 82, 747, 6805, 61992, 564733, 5144589, 46866034, 426938895, 3889316089, 35430783696, 322766369353, 2940328107873, 26785719340210, 244011802169763, 2222891938868077, 20250039251982456, 184473245206710181, 1680509246112374085, 15309056460218076946
Offset: 0

Views

Author

Wolfdieter Lang, Oct 18 2004

Keywords

Comments

For more information about this type of recurrence follow the Khovanova link and see A054413, A086902 and A178765. - Johannes W. Meijer, Jun 12 2010
For n >= 2, a(n) equals the permanent of the (n-1) X (n-1) tridiagonal matrix with 9's along the main diagonal and 1's along the superdiagonal and the subdiagonal. - John M. Campbell, Jul 08 2011
For n >= 1, a(n) equals the number of words of length n-1 on alphabet {0,1,...,9} avoiding runs of zeros of odd lengths. - Milan Janjic, Jan 28 2015
From Michael A. Allen, Mar 10 2023: (Start)
Also called the 9-metallonacci sequence; the g.f. 1/(1-k*x-x^2) gives the k-metallonacci sequence.
a(n+1) is the number of tilings of an n-board (a board with dimensions n X 1) using unit squares and dominoes (with dimensions 2 X 1) if there are 9 kinds of squares available. (End)

Links

Crossrefs

Row n=9 of A073133, A172236 and A352361.
Cf. A099372 (squares).
Cf. A041151, A054413, A086902, A087798, A099371, A097839, A178765, A243399.

Programs

  • Magma
    I:=[0,1]; [n le 2 select I[n] else 9*Self(n-1) + Self(n-2): n in [1..30]]; // G. C. Greubel, Jan 24 2018
  • Maple
    F:= gfun:-rectoproc({a(n)=9*a(n-1)+a(n-2),a(0)=0,a(1)=1},a(n),remember):
seq(F(n),n=0..30); # Robert Israel, Feb 01 2015
  • Mathematica
    CoefficientList[Series[x/(1-9*x-x^2), {x,0,30}], x] (* G. C. Greubel, Apr 16 2017 *)
LinearRecurrence[{9,1}, {0,1}, 30] (* G. C. Greubel, Jan 24 2018 *)
  • PARI
    my(x='x+O('x^30)); concat([0], Vec(1/(1-9*x-x^2)) ) \\ Charles R Greathouse IV, Feb 03 2014
  • Sage
    from sage.combinat.sloane_functions import recur_gen3
it = recur_gen3(0,1,9,9,1,0)
[next(it) for i in range(1,22)] # Zerinvary Lajos, Jul 09 2008
  • Sage
    [lucas_number1(n,9,-1) for n in range(0, 20)] # Zerinvary Lajos, Apr 26 2009

Formula

G.f.: x/(1 - 9*x - x^2).
a(n) = 9*a(n-1) + a(n-2), n >= 2, a(0)=0, a(1)=1.
a(n) = (-i)^(n-1)*S(n-1, 9*i) with S(n, x) Chebyshev's polynomials of the second kind (see A049310) and i^2=-1.
a(n) = (ap^n - am^p)/(ap-am) with ap:= (9+sqrt(85))/2 and am:= (9-sqrt(85))/2 = -1/ap (Binet form).
a(n) = Sum_{k=0..floor((n-1)/2)} binomial(n-1-k, k)*9^(n-1-2*k) n >= 1.
a(n) = F(n, 9), the n-th Fibonacci polynomial evaluated at x=9. - T. D. Noe, Jan 19 2006
a(n) = ((9+sqrt(85))^n - (9-sqrt(85))^n)/(2^n*sqrt(85)). Offset 1. a(3)=82. - Al Hakanson (hawkuu(AT)gmail.com), Jan 12 2009
a(p) == 85^((p-1)/2) (mod p) for odd primes p. - Gary W. Adamson, Feb 22 2009 [See A087475 for more info about this congruence. - Jason Yuen, Apr 05 2025]
From Johannes W. Meijer, Jun 12 2010: (Start)
a(2n+2) = 9*A097839(n), a(2n+1) = A097841(n).
a(3n+1) = A041151(5n), a(3n+2) = A041151(5n+3), a(3n+3) = 2*A041151(5n+4).
Limit_{k -> infinity} (a(n+k)/a(k)) = (A087798(n) + A099371(n)*sqrt(85))/2.
Lim_{n->infinity} A087798(n)/A099371(n) = sqrt(85). (End)
a(n) ~ 1/sqrt(85)*((9+sqrt(85))/2)^n. - Jean-François Alcover, Dec 04 2013
a(n) = [1,0] (M^n) [0,1]^T where M is the matrix [9,1; 1,0]. - Robert Israel, Feb 01 2015
E.g.f.: 2*exp(9*x/2)*sinh(sqrt(85)*x/2)/sqrt(85). - Stefano Spezia, Apr 06 2023

A097840 Chebyshev polynomials S(n,83) + S(n-1,83) with Diophantine property.

Original entry on oeis.org

1, 84, 6971, 578509, 48009276, 3984191399, 330639876841, 27439125586404, 2277116783794691, 188973253929372949, 15682502959354160076, 1301458772372465913359, 108005395603955316648721
Offset: 0

Views

Author

Wolfdieter Lang, Sep 10 2004

Keywords

Comments

(9*a(n))^2 - 85*b(n)^2 = -4 with b(n)=A097841(n) give all positive solutions of this Pell equation.

Examples

			All positive solutions of Pell equation x^2 - 85*y^2 = -4 are (9=9*1,1), (756=9*84,82), (62739=9*6971,6805), (5206581=9*578509,564733), ...

Links

Crossrefs

Cf. A097783, A097834, A097837, A097839.

Programs

  • GAP
    a:=[1,84];; for n in [3..20] do a[n]:=83*a[n-1]-a[n-2]; od; a; # G. C. Greubel, Jan 13 2019
  • Magma
    m:=20; R:=PowerSeriesRing(Integers(), m); Coefficients(R!( (1+x)/(1-83*x+x^2) )); // G. C. Greubel, Jan 13 2019
  • Mathematica
    CoefficientList[Series[(1+x)/(1-83x+x^2), {x, 0, 20}], x] (* Michael De Vlieger, Feb 08 2017 *)
  • PARI
    my(x='x+O('x^20)); Vec((1+x)/(1-83*x+x^2)) \\ G. C. Greubel, Jan 13 2019
  • Sage
    ((1+x)/(1-83*x+x^2)).series(x, 20).coefficients(x, sparse=False) # G. C. Greubel, Jan 13 2019

Formula

a(n) = S(n, 83) + S(n-1, 83) = S(2*n, sqrt(85)), with S(n, x) = U(n, x/2) Chebyshev's polynomials of the second kind, A049310. S(-1, x) = 0 = U(-1, x). S(n, 83) = A097839(n).
a(n) = (-2/9)*i*((-1)^n)*T(2*n+1, 9*i/2) with the imaginary unit i and Chebyshev's polynomials of the first kind. See the T-triangle A053120.
G.f.: (1+x)/(1 - 83*x + x^2).
a(n) = 83*a(n-1) - a(n-2) for n > 1; a(0)=1, a(1)=84. - Philippe Deléham, Nov 18 2008
From Peter Bala, Aug 26 2022: (Start)
a(n) = (2/9)*(9/2 o 9/2 o ... o 9/2) (2*n+1 terms), where the binary operation o is defined on real numbers by x o y = x*sqrt(1 + y^2) + y*sqrt(1 + x^2). The operation o is commutative and associative with identity 0.
The aerated sequence (b(n))n>=1 = [1, 0, 84, 0, 6971, 0, 578509, 0, ...], with o.g.f. x*(1 + x^2)/(1 - 83*x^2 + x^4), is a fourth-order linear divisibility sequence; that is, if n | m then b(n) | b(m). It is the case P1 = 0, P2 = -81, Q = -1 of the 3-parameter family of divisibility sequences found by Williams and Guy. See A100047 for the connection with Chebyshev polynomials.
b(n) = 1/2*( (-1)^n - 1 )*F(n,9) + 1/9*( 1 + (-1)^(n+1) )*F(n+1,9), where F(n,x) is the n-th Fibonacci polynomial - see A168561 (but with row indexing starting at n = 1).
Exp( Sum_{n >= 1} 18*b(n)*x^n/n ) = 1 + Sum_{n >= 1} 18*A099371(n)*x^n.
Exp( Sum_{n >= 1} (-18)*b(n)*x^n/n ) = 1 + Sum_{n >= 1} 18*A099371(n)*(-x)^n. (End)

A097839 Chebyshev polynomials S(n,83).

Original entry on oeis.org

1, 83, 6888, 571621, 47437655, 3936753744, 326703123097, 27112422463307, 2250004361331384, 186723249568041565, 15495779709786118511, 1285962992662679794848, 106719432611292636853873, 8856426943744626179076611, 734976716898192680226504840
Offset: 0

Views

Author

Wolfdieter Lang, Sep 10 2004

Keywords

Comments

Used for all positive integer solutions of Pell equation x^2 - 85*y^2 = -4. See A097840 with A097841.

Links

Programs

  • GAP
    a:=[1,83];; for n in [3..20] do a[n]:=83*a[n-1]-a[n-2]; od; a; # G. C. Greubel, Jan 13 2019
  • Magma
    m:=20; R:=PowerSeriesRing(Integers(), m); Coefficients(R!( 1/(1-83*x+x^2) )); // G. C. Greubel, Jan 13 2019
  • Mathematica
    CoefficientList[Series[1/(1-83x+x^2),{x,0,20}],x] (* or *) LinearRecurrence[{83,-1},{1,83},20] (* Harvey P. Dale, Oct 11 2012 *)
  • PARI
    my(x='x+O('x^20)); Vec(1/(1-83*x+x^2)) \\ G. C. Greubel, Jan 13 2019
  • Sage
    (1/(1-83*x+x^2)).series(x, 20).coefficients(x, sparse=False) # G. C. Greubel, Jan 13 2019

Formula

a(n) = S(n, 83) = U(n, 83/2) = S(2*n+1, sqrt(85))/sqrt(85) with S(n, x) = U(n, x/2) Chebyshev's polynomials of the second kind, A049310. S(-1, x) = 0 = U(-1, x).
a(n) = 83*a(n-1) - a(n-2), n >= 1, a(-1)=0, a(0)=1, a(1)=83.
a(n) = (ap^(n+1) - am^(n+1))/(ap - am) with ap = (83+9*sqrt(85))/2 and am = (83-9*sqrt(85))/2 = 1/ap.
G.f.: 1/(1-83*x+x^2).

Extensions

More terms from Harvey P. Dale, Oct 11 2012
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.