In mathematics the nth central binomial coefficient is the particular binomial coefficient
They are called central since they show up exactly in the middle of the even-numbered rows in Pascal's triangle. The first few central binomial coefficients starting at n = 0 are:
The central binomial coefficient is the number of arrangements where there are an equal number of two types of objects. For example, when , the binomial coefficient is equal to 6, and there are six arrangements of two copies of A and two copies of B: AABB, ABAB, ABBA, BAAB, BABA, BBAA.
The same central binomial coefficient is also the number of words of length 2n made up of A and B within which, as one reads from left to right, there are never more B's than A's at any point. For example, when , there are six words of length 4 in which each prefix has at least as many copies of A as of B: AAAA, AAAB, AABA, AABB, ABAA, ABAB.
The number of factors of 2 in is equal to the number of 1s in the binary representation of n. [1] As a consequence, 1 is the only odd central binomial coefficient.
The ordinary generating function for the central binomial coefficients is
This can be proved using the binomial series and the relation
where is a generalized binomial coefficient. [2]
The central binomial coefficients have exponential generating function
where I0 is a modified Bessel function of the first kind. [3]
The generating function of the squares of the central binomial coefficients can be written in terms of the complete elliptic integral of the first kind:[ citation needed ]
Simple bounds that immediately follow from are[ citation needed ]
The asymptotic behavior can be described more precisely: [4]
The closely related Catalan numbers Cn are given by:
A slight generalization of central binomial coefficients is to take them as , with appropriate real numbers n, where is the gamma function and is the beta function.
The powers of two that divide the central binomial coefficients are given by Gould's sequence, whose nth element is the number of odd integers in row n of Pascal's triangle.
Squaring the generating function gives
Comparing the coefficients of gives
For example, . (sequence A000302 in the OEIS )
Similarly,
Half the central binomial coefficient (for ) (sequence A001700 in the OEIS ) is seen in Wolstenholme's theorem.
By the Erdős squarefree conjecture, proved in 1996, no central binomial coefficient with n > 4 is squarefree.
is the sum of the squares of the n-th row of Pascal's Triangle: [3]
For example, .
Erdős uses central binomial coefficients extensively in his proof of Bertrand's postulate.
Another noteworthy fact is that the power of 2 dividing is exactly n.
In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers n ≥ k ≥ 0 and is written It is the coefficient of the xk term in the polynomial expansion of the binomial power (1 + x)n; this coefficient can be computed by the multiplicative formula
In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial (x + y)n into a sum involving terms of the form axbyc, where the exponents b and c are nonnegative integers with b + c = n, and the coefficient a of each term is a specific positive integer depending on n and b. For example, for n = 4,
In mathematics, the Bernoulli numbersBn are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in the Taylor series expansions of the tangent and hyperbolic tangent functions, in Faulhaber's formula for the sum of m-th powers of the first n positive integers, in the Euler–Maclaurin formula, and in expressions for certain values of the Riemann zeta function.
In mathematics, the Euler numbers are a sequence En of integers defined by the Taylor series expansion
In mathematics, Legendre polynomials, named after Adrien-Marie Legendre (1782), are a system of complete and orthogonal polynomials with a vast number of mathematical properties and numerous applications. They can be defined in many ways, and the various definitions highlight different aspects as well as suggest generalizations and connections to different mathematical structures and physical and numerical applications.
Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by log:
In mathematics, a generating function is a representation of an infinite sequence of numbers as the coefficients of a formal power series. Unlike an ordinary series, the formal power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the "variable" remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem. One can generalize to formal power series in more than one indeterminate, to encode information about infinite multi-dimensional arrays of numbers.
In mathematics, the Hermite polynomials are a classical orthogonal polynomial sequence.
In mathematics, the n-th harmonic number is the sum of the reciprocals of the first n natural numbers:
In combinatorial mathematics, the Catalan numbers are a sequence of natural numbers that occur in various counting problems, often involving recursively defined objects. They are named after the French-Belgian mathematician Eugène Charles Catalan.
In mathematics, Bertrand's postulate states that for each there is a prime such that . First conjectured in 1845 by Joseph Bertrand, it was first proven by Chebyshev, and a shorter but also advanced proof was given by Ramanujan.
The Touchard polynomials, studied by Jacques Touchard (1939), also called the exponential polynomials or Bell polynomials, comprise a polynomial sequence of binomial type defined by
In mathematics, the double factorial of a number n, denoted by n‼, is the product of all the positive integers up to n that have the same parity as n. That is,
In mathematics, the nth Motzkin number is the number of different ways of drawing non-intersecting chords between n points on a circle. The Motzkin numbers are named after Theodore Motzkin and have diverse applications in geometry, combinatorics and number theory.
In mathematics, the lemniscate constantϖ is a transcendental mathematical constant that is the ratio of the perimeter of Bernoulli's lemniscate to its diameter, analogous to the definition of π for the circle. Equivalently, the perimeter of the lemniscate is 2ϖ. The lemniscate constant is closely related to the lemniscate elliptic functions and approximately equal to 2.62205755. The symbol ϖ is a cursive variant of π; see Pi § Variant pi.
In mathematics, the Riemann zeta function is a function in complex analysis, which is also important in number theory. It is often denoted and is named after the mathematician Bernhard Riemann. When the argument is a real number greater than one, the zeta function satisfies the equation
In mathematics, a Ramanujan–Sato series generalizes Ramanujan’s pi formulas such as,
In mathematics, a transformation of a sequence's generating function provides a method of converting the generating function for one sequence into a generating function enumerating another. These transformations typically involve integral formulas applied to a sequence generating function or weighted sums over the higher-order derivatives of these functions.