A275653 -id:A275653 - cp's OEIS frontend

A275652 a(n) = binomial(3n,3n/2)binomial(2n,n)binomial(5n/2,n/2)/binomial(n,n/2).

1, 10, 300, 11440, 485100, 21841260, 1022041020, 49128552000, 2408829328620, 119918393838100, 6042249840712800, 307438844121252480, 15770112362658517500, 814459593645444166560, 42308586942403276440000, 2208850973597860123741440, 115825519836558228435979500

Offset: 0

Peter Bala, Aug 04 2016

Right-hand side of the binomial sum identity Sum_{k = 0..n} (-1)^(n+k)* binomial(3*n+k,3*n-k)*binomial(2*k,k)*binomial(2*n-k,n) = binomial(3*n,3*n/2)*binomial(2*n,n)*binomial(5*n/2,n/2)/binomial(n,n/2).
We also have Sum_{k = 0..3*n} (-1)^k*binomial(3*n+k,3*n-k)* binomial(2*k,k)*binomial(2*n-k,n) = binomial(3*n,3*n/2)*binomial(2*n,n)* binomial(5*n/2,n/2) /binomial(n,n/2).
Compare with Sum_{k = 0..n} (-1)^(n+k)*binomial(2*n+k,2*n-k)* binomial(2*k,k)*binomial(2*n-k,n) = binomial(2*n,n)^2 = A002894(n). See also A275653, A275654 and A275655.

Cf. A002894, A245086, A275653, A275654, A275655, A276098, A276100, A276101, A276102, A352651, A352652, A365025.

seq(simplify(factorial(3*n)*factorial(n/2)*factorial(5*n/2)/(factorial(n)^3*factorial(3*n/2)^2)), n = 0 .. 20);

Table[Binomial[3 n, 3 n/2] Binomial[2 n, n] Binomial[5 n/2, n/2] / Binomial[n, n/2], {n, 0, 16}] (* Michael De Vlieger, Aug 07 2016 *)

a(n) = sum(k = 0, n, binomial(2*n-k-1,n-k)*binomial(3*n,k)^2); \\ Michel Marcus, Apr 21 2022

from math import factorial
from sympy import factorial2
def A275652(n): return int(factorial(3*n)*factorial2(5*n)*factorial2(n)//factorial2(3*n)**2//factorial(n)**3) # Chai Wah Wu, Aug 08 2023

a(n) = (3*n)!*(5*n/2)!*(n/2)!/((3*n/2)!^2*n!^3).
Recurrence: a(n) = 5*(3*n - 1)*(3*n - 5)*(5*n - 2)*(5*n - 4)*(5*n - 6)*(5*n - 8)/(n^2*(n - 1)^2*(3*n - 2)*(3*n - 4)) * a(n-2).
a(n) = [x^n] G(x)^(5*n), where G(x) = 1 + 2*x + 12*x^2 + 184*x^3 + 3811*x^4 + 92796*x^5 + 2497358*x^6 + ... appears to have integer coefficients.
exp(Sum_{n >= 1} a(n)*x^n/n) = F(x)^5, where F(x) = 1 + 2*x + 32*x^2 + 824*x^3 + 26291*x^4 + 947506*x^5 + 36934522*x^6 + ... appears to have integer coefficients.
a(n) ~ sqrt(5/3)*5^(5*n/2)/(2*Pi*n). - Ilya Gutkovskiy, Aug 07 2016
From Peter Bala, Mar 22 2022: (Start)
For n >= 1, a(n) = (5/3)*binomial(m*n,2*n)*binomial(m*n/2,2*n)*binomial(2*n,n)^2/ binomial(m*n/2,n)^2 at m = -1. See A352651 for the case m = 1.
a(n) = Sum_{k = 0..n} binomial(2*n-k-1,n-k)*binomial(3*n,k)^2.
a(n) = [x^n] (1 - x)^(2*n) * P(3*n,(1 + x)/(1 - x)), where P(n,x) denotes the n-th Legendre polynomial. Cf. A245086.
a(p) == a(1) (mod p^3) for prime p >= 5.
Conjecture: the supercongruences a(n*p^k) == a(n*p^(k-1)) (mod p^(3*k)) hold for all primes p >= 5 and all positive integers n and k. (End)
Row 1 of A365025. - Peter Bala, Aug 18 2023

A364303 Square array read by ascending antidiagonals: T(n,k) = [x^k] (1 - x)^(2k) Legendre_P(n*k, (1 + x)/(1 - x)) for n, k >= 0.

Original entry on oeis.org

1, 1, -2, 1, 0, 6, 1, 4, -6, -20, 1, 10, 36, 0, 70, 1, 18, 300, 400, 90, -252, 1, 28, 1050, 11440, 4900, 0, 924, 1, 40, 2646, 77616, 485100, 63504, -1680, -3432, 1, 54, 5544, 316540, 6370650, 21841260, 853776, 0, 12870, 1, 70, 10296, 972400, 42031990, 554822268, 1022041020, 11778624, 34650, -48620

Offset: 0

Peter Bala, Jul 19 2023

The first row of the table is a signed version of the central binomial coefficients A000984. The central binomial coefficients satisfy the supercongruences u(n*p^r) == u(n*p^(r-1)) (mod p ^(3*r)) for all primes p >= 5 and all positive integers n and r (see Meštrović, equation 39). We conjecture that each row sequence of the table satisfies the same supercongruences.

			 Square array begins:
 n\k|  0   1      2        3           4             5
  - + - - - - - - - - - - - - - - - - - - - - - - - - -
  0 |  1  -2      6      -20          70          -252    ...  (-1)^k*A000984(k)
  1 |  1   0     -6        0          90             0    ...  A245086
  2 |  1   4     36      400        4900         63504    ...  A002894
  3 |  1  10    300    11440      485100      21841260    ...  A275652
  4 |  1  18   1050    77616     6370650     554822268    ...  A275653
  5 |  1  28   2646   316540    42031990    5921058528    ...  A275654
  6 |  1  40   5544   972400   189290920   39089615040    ...  A275655
  7 |  1  54  10296  2484000   665091000  188907932304    ...  A364304
  8 |  1  70  17550  5567380  1960044750  732012601320    ...  A364305

R. Meštrović, Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862--2012), arXiv:1111.3057 [math.NT], 2011.
Wikipedia, Dixon's identity

Cf. A000984 (row 0 unsigned), A245086 (row 1), A002894 (row 2), A275652 (row 3), A275653 (row 4), A275654 (row 5), A275655 (row 6), A364304 (row 7), A364305 (row 8).

Cf. A364113, A364298

T(n,k) := coeff(series( (1 - x)^(2*k) * LegendreP(n*k, (1 + x)/(1 - x)), x, 11), x, k):
# display as a square array
seq(print(seq(T(n, k), k = 0..10)), n = 0..10);
# display as a sequence
seq(seq(T(n-k, k), k = 0..n), n = 0..10);

T(n,k) = Sum_{i = 0..k} binomial(n*k, k-i)^2 * binomial((n-2)*k+i-1, i).
For n >= 2, T(n,k) = binomial((n-1)*k, k)^2 * hypergeom([a, b, b], [1 + a - b, 1 + a - b], 1), where a = (n - 3)*k and b = -k.
For n >= 3, T(n,k) = ((n - 1)*k)! * ((n + 1)*k/2)! * ((n - 3)*k/2)! / ( ((n - 1)*k/2)!^2 * k!^2 *  ((n - 3)*k)! ) by Dixon's 3F2 summation theorem, where fractional factorials are defined in terms of the gamma function.

A275654 a(n) = (5n)!/((3n)!n!^2) ((3n/2)!(7n/2)!)/(5n/2)!^2.

Original entry on oeis.org

1, 28, 2646, 316540, 42031990, 5921058528, 866486466720, 130220534668224, 19958454291525750, 3105489721784166640, 489023391870111994896, 77758775451291032116200, 12464212878673327376454304, 2011515147856766922731424000

Offset: 0

Peter Bala, Aug 04 2016

Right-hand side of the binomial sum identity Sum_{k = 0..n} (-1)^(n+k)*binomial(5*n + k,5*n - k)*binomial(2*k,k)*binomial(2*n - k,n) = (5*n)!/((3*n)!*n!^2) * ((3*n/2)!*(7*n/2)!)/(5*n/2)!^2.
We also have Sum_{k = 0..5*n} (-1)^k*binomial(5*n + k,5*n - k)* binomial(2*k,k) *binomial(2*n - k,n) = (5*n)!/((3*n)!*n!^2) * ((3*n/2)!*(7*n/2)!)/(5*n/2)!^2.
Compare with Sum_{k = 0..n} (-1)^(n+k)*binomial(2*n + k,2*n - k)*binomial(2*k,k)*binomial(2*n - k,n) = binomial(2*n,n)^2 = A002894(n). See also A275652, A275653 and A275655.

Cf. A275652, A275653, A275655, A276098, A276100, A276101, A276102, A352651, A352652.

seq(simplify(factorial(3*n/2)*factorial(5*n)*factorial(7*n/2)/(factorial(n)^2*factorial(3*n)*factorial(5*n/2)^2)), n = 0 .. 20);

Table[(5 n)!/((3 n)! n!^2) ((3 n/2)! (7 n/2)!)/(5 n/2)!^2, {n, 0, 13}] (* Michael De Vlieger, Aug 07 2016 *)

a(n) = sum(k = 0, n, binomial(4*n-k-1,n-k)*binomial(5*n,k)^2); \\ Michel Marcus, Apr 21 2022

from math import factorial
from sympy import factorial2
def A275654(n): return int(factorial(5*n)*factorial2(3*n)*factorial2(7*n)//factorial(3*n)//factorial(n)**2//factorial2(5*n)**2) # Chai Wah Wu, Aug 08 2023

a(n) = (3*n/2)!*(5*n)!*(7*n/2)!/(n!^2*(3*n)!*(5*n/2)!^2).
Recurrence: 3*a(n)*n^2*(n - 1)^2*(3*n - 1)*(3*n - 5)*(5*n - 2)*(5*n - 4)*(5*n - 6)*(5*n - 8) = 7*(5*n - 1)*(5*n - 3)*(5*n - 7)*(5*n - 9)*(7*n - 2)*(7*n - 4)*(7*n - 6)*(7*n - 8)*(7*n - 10)*(7*n - 12)*a(n-2).
a(n) = [x^n] G(x)^(7*n) where G(x) = 1 + 4*x + 85*x^2+ 4220*x^3 + 283285*x^4 + 22308156*x^5 + 1939419083*x^6 + ... appears to have integer coefficients.
exp( Sum_{n >= 1} a(n)*x^n/n ) = F(x)^7, where F(x) = 1 + 4*x + 197*x^2 + 15840*x^3 + 1580819*x^4 + 178220584*x^5 + 21729476664*x^6 + ... appears to have integer coefficients.
a(n) ~ 7^(7*n/2+1/2)/(2*sqrt(5)*Pi*3^(3*n/2)*n). - Ilya Gutkovskiy, Aug 07 2016
From Peter Bala, Mar 23 2022: (Start)
a(n) = Sum_{k = 0..n} binomial(4*n-k-1,n-k)*binomial(5*n,k)^2.
For n >= 1, a(n) = (7/5)*binomial(m*n,2*n)*binomial(m*n/2,2*n)* binomial(2*n,n)^2/binomial(m*n/2,n)^2 at m = -3. Se A352651 for the case m = 1.
a(n) = [x^n] (1 - x)^(2*n) * P(5*n,(1 + x)/(1 - x)), where P(n,x) denotes the n-th Legendre polynomial. Cf. A275652.
a(p) == a(1) (mod p^3) for primes p >= 5.
Conjecture: The supercongruences a(n*p^k) == a(n*p^(k-1)) (mod p^(3*k)) hold for all primes p >= 5 and all positive integers n and k. (End)

A275655 a(n) = binomial(6n,3n)binomial(2n,n).

Original entry on oeis.org

1, 40, 5544, 972400, 189290920, 39089615040, 8385425017200, 1847301025078080, 415026659401497000, 94660194875011205440, 21850091031597537252544, 5092815839064962373499680, 1196622940864849837505171824, 283073284848591452381449360000

Offset: 0

Peter Bala, Aug 04 2016

Right-hand side of the binomial sum identity Sum_{k = 0..n} (-1)^(n+k)*binomial(6*n + k,6*n - k)*binomial(2*k,k) *binomial(2*n - k,n) = binomial(6*n,3*n)*binomial(2*n,n).
We also note that Sum_{k = 0..6*n} (-1)^(n+k)*binomial(6*n + k,6*n - k)*binomial(2*k,k)*binomial(2*n - k,n) = binomial(6*n,3*n)*binomial(2*n,n).
Compare with Sum_{k = 0..n} (-1)^(n+k)*binomial(2*n + k,2*n - k)*binomial(2*k, k)*binomial(2*n - k,n) = binomial(2*n,n)^2 = A002894(n). See also A275652, A275653 and A275654.

Cf. A000984, A002894, A066802, A275652, A275653, A275654.

seq((6*n)!*(2*n)!/((3*n)!*n!)^2, n = 0..20);

Table[Binomial[6 n, 3 n] Binomial[2 n, n], {n, 0, 13}] (* Michael De Vlieger, Aug 07 2016 *)

a(n) = (6*n)!*(2*n)!/((3*n)!*n!)^2.
a(n) = A066802(n) * A000984(n).
Recurrence: a(n) = 16*(2*n - 1)^2*(6*n - 1)*(6*n - 5)/(n^2*(3*n - 1)*(3*n - 2)) * a(n-1).
a(n) = [x^(3*n)] (1 + x)^(6*n) * [x^n] (1 + x)^(2*n) = [x^n] G(x)^(8*n) where G(x) = 1 + 5*x + 159*x^2 + 11690*x^3 + 1160817*x^4 + 135123516*x^5 + 17357714116*x^6 + ... appears to have integer coefficients.
exp( Sum_{n >= 1} a(n)*x^n/n ) = F(x)^8, where F(x) = 1 + 5*x + 359*x^2 + 42270*x^3 + 6182313*x^4 + 1021669966*x^5 + 182605696304*x^6 + ... appears to have integer coefficients.
a(n) ~ 256^n/(sqrt(3)*Pi*n). - Ilya Gutkovskiy, Aug 07 2016
From Peter Bala, Mar 23 2022: (Start)
a(n) = Sum_{k = 0..n} binomial(5*n-k-1,n-k)*binomial(6*n,k)^2.
a(n) = [x^n] (1 - x)^(2*n) * P(6*n,(1 + x)/(1 - x)), where P(n,x) denotes the n-th Legendre polynomial. Cf. A275652.
The supercongruences a(n*p^k) == a(n*p^(k-1)) (mod p^(3*k)) hold for all primes p >= 5 and all positive integers n and k. (End)

cp's OEIS Frontend

A275652 a(n) = binomial(3*n,3*n/2)*binomial(2*n,n)*binomial(5*n/2,n/2)/binomial(n,n/2).

Views

Author

Keywords

Comments

Crossrefs

Programs

Maple

Mathematica

PARI

Python

Formula

A364303 Square array read by ascending antidiagonals: T(n,k) = [x^k] (1 - x)^(2*k) * Legendre_P(n*k, (1 + x)/(1 - x)) for n, k >= 0.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Formula

A275654 a(n) = (5*n)!/((3*n)!*n!^2) * ((3*n/2)!*(7*n/2)!)/(5*n/2)!^2.

Views

Author

Keywords

Comments

Crossrefs

Programs

Maple

Mathematica

PARI

Python

Formula

A275655 a(n) = binomial(6*n,3*n)*binomial(2*n,n).

Views

Author

Keywords

Comments

Crossrefs

Programs

Maple

Mathematica

Formula

A275652 a(n) = binomial(3n,3n/2)binomial(2n,n)binomial(5n/2,n/2)/binomial(n,n/2).

A364303 Square array read by ascending antidiagonals: T(n,k) = [x^k] (1 - x)^(2k) Legendre_P(n*k, (1 + x)/(1 - x)) for n, k >= 0.

A275654 a(n) = (5n)!/((3n)!n!^2) ((3n/2)!(7n/2)!)/(5n/2)!^2.

A275655 a(n) = binomial(6n,3n)binomial(2n,n).