Binomial Theorem
Expanding gives . Put and read off the sum.
The left side is . The right side is , which has no sum at all.
The expansion for a negative or fractional index is not an identity between two polynomials. It is an infinite series, and it represents the function only when . Outside that range the series diverges and the equation is meaningless, however comfortable the algebra looks.
For a positive integer index no such condition exists, because the expansion terminates after terms and is a genuine polynomial identity. That is the fault line running through this chapter: the same-looking formula behaves completely differently depending on the index, and Advanced tests the difference directly by asking for the range of validity or by choosing a value of near the boundary.
1. Everything from the general term
For a positive integer ,
The subscript convention matters: carries to the power , so the sixth term has . Nearly every question in this chapter is answered by writing the general term, simplifying the power of to a single exponent, and setting that exponent to whatever the question wants.
Two structural facts about the coefficients come from a single combinatorial reading. Choosing objects from either uses a fixed special object or does not, giving Pascal's rule
and choosing to keep is the same as choosing to discard, giving the symmetry .
The theorem itself is proved from that rule by induction: assuming the expansion for , multiplying by one more factor of adds each coefficient to its neighbour, which is precisely what Pascal's rule says the next row does.
Illustration 1
Find the term independent of in .
Setting gives , so the term is . The sign is positive because is even, and checking the parity of is worth the second it takes.
Illustration 2
Find the middle term of .
With there is one middle term, the sixth, at :
and the powers of cancel, as they must for a symmetric pair of exponents. When is odd there are two middle terms, at and .
2. Greatest coefficient and greatest term are different questions
The greatest coefficient is a property of alone: the binomial coefficients rise to the middle and fall symmetrically, so the largest is for even , and the equal pair for odd .
The greatest term depends on as well, because the powers of can outweigh the coefficients. Compare consecutive terms:
which exceeds while . The terms therefore increase and then decrease, and the turning point is found by taking the integer part of that bound. When the bound is exactly an integer, two consecutive terms are equal and both are greatest.
The reason the coefficients rise and then fall is the same ratio, taken at : consecutive coefficients are in the ratio , which exceeds exactly while . So there is a single peak, at the middle, and no coefficient is ever a local dip.
For an expansion such as the phrase "greatest coefficient" is ambiguous and questions say which they mean: the numerically largest coefficient folds the constants and into the ratio, and is found by the same comparison with replaced by .
Illustration 3
In , find the greatest coefficient and, separately, the greatest term when .
Since is odd, the greatest coefficients are , sitting at the eighth and ninth terms.
For the greatest term, . The bound is exactly , so and both are greatest — at the fourth and fifth terms, nowhere near the middle. Reporting the middle term as the greatest is the standard error, and it is only correct when .
3. Extracting a coefficient from a product
A coefficient of in a product of expansions is a sum over the ways the exponents can add to . Two devices make almost every such question short: sum a geometric series of binomials before expanding, and convert negative powers of into a single shifted expansion.
Illustration 4
Find the coefficient of in .
The sum is geometric with ratio :
So the coefficient of here is the coefficient of in the numerator, namely . Summing ten expansions term by term would take ten times as long and offer ten chances to slip.
Illustration 5
Find the coefficient of in .
Write the second factor as , so the product is . The coefficient of is therefore the coefficient of in , which is .
Illustration 6
Prove that .
Compare coefficients of on both sides of . On the left, a term arises from in the first factor and in the second, contributing by symmetry. Summing over gives the result.
The same argument with unequal indices gives Vandermonde's identity , which reads as choosing people from two rooms by first deciding how many come from each.
4. Summing a binomial series
Three techniques cover the standard sums, and choosing between them is decided by what multiplies the coefficient.
If the coefficient stands alone, substitute a value of into . Putting gives and gives the alternating sum .
If the coefficient is multiplied by , differentiate first. From ,
The same result follows from the identity , which says that choosing a committee of with a chair is the same as choosing the chair first.
If the coefficient is divided by , integrate instead. Integrating from to ,
A fourth technique costs nothing and often replaces all three. Because , a sum can be written forwards and backwards and the two versions added. Taking and rewriting it with replaced by gives , so
recovering the earlier result without calculus. Reversing the sum is the first thing to try whenever the multiplier is linear in , and it doubles as an independent check on an answer obtained by differentiating.
Illustration 7
Evaluate .
Write . The first part gives using the identity twice, and the second gives . Adding,
Testing at : the sum is , and the formula gives .
5. More than two terms
The multinomial expansion of has general term
and the number of distinct terms is the number of ways to write as an ordered sum of non-negative parts, namely by stars and bars.
Illustration 8
How many terms does have, and what is the coefficient of ?
The number of terms is . The coefficient is .
For a trinomial raised to a small power it is often quicker to group two terms and apply the ordinary binomial theorem twice, but the multinomial coefficient avoids the bookkeeping entirely.
6. Negative and fractional indices
For any real and ,
The numerators are falling products rather than factorials, so nothing cancels to zero unless is a non-negative integer — which is exactly why the series terminates in that case and not otherwise. Two special cases are worth carrying: and , the second being the derivative of the first.
The general term for a negative integer index is worth stating separately, because it appears constantly in counting arguments. Expanding gives
whose coefficients are exactly the stars-and-bars counts: the number of ways to write as an ordered sum of non-negative parts. The connection is not a coincidence — multiplying copies of chooses one power from each factor, which is the same decision as filling boxes.
Illustration 9
Estimate to five decimal places.
Take and , comfortably inside the range of validity:
The next term contributes about , so the estimate is good to five places. The true value is
Illustration 10
For what values of is the expansion of valid, and what is its third term?
Factor out the constant first: , which requires , that is .
The third term of is , so here it is .
Factoring to make the leading term is not cosmetic — the validity condition can only be read off once the expression is in that form.
7. Divisibility and remainders
Writing a large power as and expanding makes every term except the last divisible by . This turns most remainder questions into one line.
Illustration 11
Find the remainder when is divided by .
Every term of except the last carries a factor of , so and the remainder is .
The same method works with a minus sign, and then the parity of the exponent decides the answer. Expanding , every term except the last carries a factor of , and the last is . So modulo . Had the exponent been even, the remainder would have been instead, which is why the parity has to be read off before the expansion is discarded.
Illustration 12
Find the last two digits of .
Modulo , every term with or higher vanishes, leaving , and is itself a multiple of . So and the last two digits are .
Illustration 13
Show that is divisible by for every positive integer .
Write and expand:
Subtracting removes exactly the first two terms, and every remaining term carries as a factor. The choice to expand about rather than is what makes the two unwanted terms cancel.
Illustration 14
Find the coefficient of in the expansion of , stating where it is valid.
Using , valid for , the coefficient of in the product is the contribution from and from , giving .
8. Reading a polynomial at and
Substituting a single value into a whole expansion answers questions that would otherwise need every coefficient. The sum of all coefficients of a polynomial is , because setting leaves each coefficient contributing once. Setting instead attaches a minus sign to every odd power, so
Applied to these give and , so the even-indexed and odd-indexed binomial coefficients each sum to . The same pair of substitutions explains why keeps only the even powers, and so has terms when is even and when is odd.
Ratios of adjacent coefficients are the other standard handle. Since
any question that supplies the ratio of consecutive coefficients supplies a linear equation in and , and two such ratios determine both.
Illustration 15
Three consecutive coefficients in the expansion of are in the ratio . Find .
Call them , and . The first ratio gives , so . The second gives , so .
Substituting into the second equation gives , hence and .
Checking: and , and as required.
A related question asks which terms are rational. In the general term carries , so rationality needs divisible by and even, that is divisible by . Only qualify, so exactly three of the thirteen terms are rational.
Summary
For a positive integer index the binomial theorem is a finite identity; for any other index it is an infinite series valid only for , and the expression must be arranged so that its leading term is before that condition can be read. Substituting a value outside the range produces a confident and meaningless answer.
Almost every question is answered by writing , reducing the power of to a single exponent, and solving for . The middle term is one term for even and two for odd . The greatest coefficient depends only on ; the greatest term depends on as well, and is found from the ratio of consecutive terms, with equal terms when the bound is an integer.
Coefficients are extracted from products by summing a geometric series of expansions before expanding, or by absorbing negative powers into a single shifted expansion. Comparing coefficients on the two sides of proves Vandermonde's identity and, as its special case, .
Substituting and reads off the sum of all coefficients and splits it between even and odd powers, which is why the even-indexed and odd-indexed binomial coefficients each total . A given ratio of consecutive coefficients is a linear equation in and , so two ratios determine both, and a question about rational terms is a divisibility condition on read from the fractional exponents.
Sums with a plain coefficient are handled by substitution, those with a factor by differentiation or the identity , and those with a divisor by integration. For remainders, write the base as a multiple of the modulus plus or minus one, and read off the only surviving term.
