 | Binomial theorem: Encyclopedia - Binomial theorem
Binomial theorem
In mathematics, the binomial theorem is an important formula giving the expansion of powers of sums. Its simplest version reads
whenever n is any non-negative integer, the numbers
are the binomial coefficients, and n! denotes the factorial of n.
This formula, and the triangular arrangement of the binomial coefficients, are often attributed to Blaise Pascal who described them in the 17th century. It was, however, known to Chinese mathematician Yang Hui in the 13th century. The Persian mathematician Omar Khayyám may have been the first to discover it.
For example, here are the cases n = 2, n = 3 and n = 4:
Formula (1) is valid for all real or complex numbers x and y, and more generally for any elements x and y of a semiring as long as xy = yx.
Binomial theorem - Newton's generalized binomial theorem
Isaac Newton generalized the formula to other exponents by considering an infinite series:
where r can be any complex number (in particular r can be any real number, not necessarily positive and not necessarily an integer), and the coefficients are given by
In case k = 0, this is a product of no numbers at all and therefore equal to 1, and in case k = 1 it is equal to r, as the additional factors (r − 1), etc., do not appear.
Another way to express this quantity is
which is important when one is working with infinite series and would like to represent them in terms of generalized hypergeometric functions. The notation is the Pochhammer symbol. This form is vital in applied mathematics, for example, when evaluating the formulas that model the statistical properties of the phase-front curvature of a light wave as it propagates through optical atmospheric turbulence.
A particularly handy but non-obvious form holds for the reciprocal power:
For a more extensive account of Newton's generalized binomial theorem, see binomial series.
The sum in (2) converges and the equality is true whenever the real or complex numbers x and y are "close together" in the sense that the absolute value | x/y | is less than one.
The geometric series is a special case of (2) where we choose y = 1 and r = −1.
Formula (2) is also valid for elements x and y of a Banach algebra as long as xy = yx, y is invertible and ||x/y|| < 1.
multinomial theorem, Pascal's triangle
Binomial theorem - Binomial type
The binomial theorem can be stated by saying that the polynomial sequence
is of binomial type.
Binomial theorem - Proof inductive
When n = 1,
.
For the inductive step, assume it holds for m. Then for n = m + 1,
(a + b)m + 1 = a(a + b)m + b(a + b)m
= by the inductive hypothesis
= by multiplying through by a and b
= by pulling out the k = 0 term
= by letting j = k − 1
= by pulling out the k = m + 1 term from the RHS
= by combining the sums
= from Pascal's rule
= by adding in the m + 1 terms,
as desired.
Binomial theorem - Trivia
- In the Sherlock Holmes books, the villain Professor Moriarty is the author of A Treatise on the Binomial Theorem.
- The binomial theorem is mentioned in the Gilbert and Sullivan song I am the Very Model of a Modern Major General.
- The binomial theorem appears in at least three different skits by Monty Python.
See also
- multinomial theorem
- Pascal's triangle
This article incorporates material from inductive proof of binomial theorem on PlanetMath, which is licensed under the GFDL.
Categories: PlanetMath sourced articles | Combinatorics | Algebra | Mathematical theorems
Other related archives13th century, 17th century, A Treatise on the Binomial Theorem, Algebra, Banach algebra, Blaise Pascal, Combinatorics, GFDL, Gilbert and Sullivan, I am the Very Model of a Modern Major General, Isaac Newton, Mathematical theorems, Monty Python, Omar Khayyám, Pascal's rule, Pascal's triangle, PlanetMath, PlanetMath sourced articles, Pochhammer symbol, Professor Moriarty, Sherlock Holmes, Yang Hui, absolute value, binomial coefficients, binomial series, binomial type, complex, complex number, factorial, formula, generalized hypergeometric functions, geometric series, infinite series, mathematics, multinomial theorem, polynomial sequence, powers, product of no numbers at all, real, semiring, sums, triangular arrangement of the binomial coefficients
 Adapted from the Wikipedia article "Binomial theorem", under the G.N U Free Docmentation License. Please also see http://en.wikipedia.org/wiki |