Central Trinomial Coefficient

DOWNLOAD Mathematica Notebook

The nth central trinomial coefficient is defined as the coefficient of x^n in the expansion of (1+x+x^2)^n. It is therefore the middle column of the trinomial triangle, i.e., the trinomial coefficient (n; 0)_2. The first few central trinomial coefficients for n=1, 2, ... are 1, 3, 7, 19, 51, 141, 393, ... (OEIS A002426).

The central trinomial coefficient is also gives the number of permutations of n symbols, each -1, 0, or 1, which sum to 0. For example, there are seven such permutations of three symbols: {-1,0,1}, {-1,1,0}, {0,-1,1}, {0,0,0}, and {0,1,-1}, {1,-1,0}, {1,0,-1}.

The generating function is given by

f(x)=1/(sqrt((1+x)(1-3x)))
(1)
=1+x+3x^2+7x^3+....
(2)

The central trinomial coefficients are given by the recurrence equation

 a_n=((2n-1)a_(n-1)+3(n-1)a_(n-2))/n
(3)

with a_0=a_1=1, but cannot be expressed as a fixed number of hypergeometric terms (Petkovšek et al. 1996, p. 160).

The coefficients satisfy the congruence

 (n+1; 0)_2=(n; 0)_2 (mod n)
(4)

(T. D. Noe, pers. comm., Mar. 15, 2005) and

 (p; 0)_2=1 (mod p)
(5)

for p a prime, which is easy to show using Fermat's little theorem (T. D. Noe, pers. comm., Oct. 26, 2005).

Sum are given by

(n; 0)_2=sum_(k=0)^(n)(n; 2k)(2k; k)
(6)
=sum_(k=0)^(n)(n!)/((k!)^2(n-2k)!)
(7)
=sum_(k=0)^(n)(-1)^k(n; j)(2n-2k; n-k).
(8)

Closed form include

(n; 0)_2=_2F_1(1/2(1-n),-1/2n;1;4)
(9)
=(-1)^nC_n^((-n))(1/2)
(10)
=i^n3^(n/2)P_n(-1/3sqrt(3)i)
(11)
=((-4)^nsqrt(pi)_2F^~_1(-n,-n;1/2-n;1/4))/(n!)
(12)
=(sqrt(pi)_2F^~_1(1/2,-n;1/2-n;-3))/(n!),
(13)

where C_n^((lambda))(x) is a Gegenbauer polynomial, P_n(x) is a Legendre polynomial, and _2F^~_1(a,b;c;z) is a regularized hypergeometric function.

The numbers of prime factors (with multiplicity) of (n; 0)_2 for n=1, 2, ... are 0, 1, 1, 1, 2, 2, 2, 4, 2, 2, 3, 2, ... (OEIS A102445). (n; 0)_2 is prime for n=2, 3, and 4, with no others for n<=203661 (E. W. Weisstein, Oct. 30, 2015). It is not known if any other prime central trinomials exist. Moreover, a more general unproven conjecture states that there are no prime trinomial coefficients except these three central trinomials and all trinomials of the form (n; n-1)_2.

CentralTrinomialCoefficientReImCentralTrinomialCoefficientContours

A plot of the central trinomial coefficient in the complex plane is given above.

Considering instead the coefficient of x^n in the expansion of (x^2-x-1)^n for n=1, 2, ... gives the corresponding sequence -1, -1, 5, -5, -11, 41, -29, -125, 365, -131, ... (OEIS A098331), with closed form

 b_n=i^nC_n^((-n))(-1/2i),
(14)

where C_n^((lambda))(x) is a Gegenbauer polynomial. These numbers are prime for n=3, 4, 5, 6, 7, 10, 11, 12, 26, 160, 3787, ... (OEIS A112874), with no others for n<10^5 (E. W. Weisstein, Mar. 7, 2005).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.