For a nonnegative integer and commuting quantities ,
In expanding the factors, obtain by selecting the positions that contribute . There are such choices. For example,
The coefficients are row five of Pascal's triangle, in reverse order under the displayed convention; the row is symmetric. Setting gives , the number of subsets of a five-element set. Each member has two inclusion choices, agreeing with the rule of product and the cardinality of the power set.
The binomial expansion expresses as for a nonnegative integer . The binomial coefficients give the number of ways to choose which factors supply .
These two finite-sum transformations are inverses over any commutative ring. Substitute one sum into the other and use . The inner alternating sum is by the binomial theorem, so only survives. In a Mahler expansion, is the nth finite difference of the sampled values .
For nonnegative integers , the alternating binomial moment satisfies when and . Expand the polynomial in falling factorials and differentiate the binomial theorem to prove these identities. Equivalently, alternating binomial coefficients implement a finite difference that annihilates polynomials of degree less than .
In a commutative ring of characteristic ,
Iteration gives .
If square matrices and commute, then
The usual proof works because commutativity allows words with the same numbers of and factors to be collected.
Coefficient extraction from gives

Ancestors (5)

  1. Binomial coefficient
  2. Combinatorics
  3. Area of mathematics
  4. Mathematics
  5. Home

Synonyms (1)

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

The Binomial Theorem is a fundamental result in algebra that provides a formula for expanding expressions of the form \((a + b)^n\), where \(n\) is a non-negative integer. The theorem states that: \[ (a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k \] In this formula: - \(\sum\) denotes summation.