Binomial Theorem
Add up all twenty-one coefficients in the expansion of .
Nobody adds them. Put and the expansion becomes the sum you wanted.
Now do the same for . The same twenty-one combinations appear in it, so the reflex answers again.
Wrong by a factor of about ninety million.
The reason is that was never the coefficient. The coefficient of in is , and the powers of and carry almost all of the size.
| Substitution | What it delivers |
|---|---|
| sum of all coefficients | |
| alternating sum, which is whenever the binomial is | |
| average the two | sum of the even-indexed coefficients |
Substitute into the expression, never into a remembered shape.
Substitution works at all because the theorem is a counting statement. Multiplying out identical brackets means taking either or from each. A term with copies of arises exactly once for every way of choosing which brackets supplied the .
That is why the coefficients are combinations, why they are symmetric, and why every identity in this chapter can be rebuilt rather than recalled.
1. The Theorem
| Feature | Consequence |
|---|---|
| Number of terms | , not |
| Powers of | fall from to |
| Powers of | rise from to |
| Sum of the two powers | always , in every term |
| Coefficients | symmetric, since |
The last row is a free error check: if your expansion is not palindromic in its coefficients, something has gone wrong.
Two special forms are worth writing out, because most questions arrive in one of them.
The signs in the second alternate because carries . Nothing else changes, and in particular the magnitudes of the coefficients are identical.
Trap. The theorem stated here is for a positive integral index . That is what makes the expansion finite, with exactly terms, and what makes every coefficient a genuine count of choices.
Illustration 1
Find the coefficient of in by counting, and confirm it against the formula.
Five brackets, and a term needs the taken from exactly three of them. Choose which three.
Listing confirms it: the three -brackets can be , , , , , , , , , .
Each of those ten selections produces the identical product , so they collect into the single term .
Note that says the same thing twice: choosing which three brackets give is choosing which two give .
2. The General Term
Trap. The subscript is , not . The first term has . So the th term of uses and is , not .
The working method for every "find the coefficient of" question is the same three steps.
If comes out non-integral or outside , that power does not occur and the coefficient is . That is a legitimate answer, not a mistake.
Illustration 2
Find the th term of .
Fifth term means .
Two things had to be carried that a careless line drops: the belongs to the whole , so it is raised to the fifth power as well, and the two powers of combine with opposite signs.
Illustration 3
Find the coefficient of in .
Write the general term and collect the power of before doing anything else.
Each step of drops the power by , which is the structural fact worth noticing.
Had the target been , then gives , not an integer, so no such term exists and the coefficient is .
3. The Middle Term
With terms, the middle depends on the parity of .
| Middle term(s) | |
|---|---|
| even | one term, |
| odd | two terms, and |
Illustration 4
Find the middle term or terms of .
Here is odd, so there are terms and two of them are middle: the th and the th.
The binomial coefficients are equal, , as symmetry requires. What breaks the tie is the power of , which is why the two middle terms are not equal even though their combinations are.
4. Properties of the Binomial Coefficients
Substituting values of into evaluates whole families of sums at once.
Illustration 5
For , find the sum of the coefficients and the sum of their absolute values.
Sum of the coefficients means substitute into the expression itself.
The absolute values are the coefficients of , since removing the minus signs is exactly replacing by .
Two sums differing by seven decimal orders, from an expression whose terms differ only in sign. That is the measure of how much cancellation the alternating signs achieve.
Illustration 6
Find .
Adding eight numbers, the largest of which is , is possible but slow and error-prone. Use the two substitutions instead.
Adding the two equations doubles every even-indexed coefficient and annihilates every odd-indexed one.
Subtracting instead gives the odd-indexed sum, also . The two halves are always equal, which is another way of stating that a set has as many even-sized subsets as odd-sized ones.
Identities from calculus and from products
Differentiating term by term and then substituting produces sums weighted by ; integrating produces sums divided by . Multiplying two expansions and comparing a single coefficient produces the product identities.
The second follows from writing and comparing the coefficient of on both sides.
Illustration 7
Evaluate .
A denominator of against a coefficient is the signature of an integration, because integrating raises the power to and divides by it.
The left side is elementary.
Check it at : the sum is , and the formula gives .
The general rule is worth stating. A factor of in front of points to differentiation; a divisor of points to integration; a squared coefficient points to comparing coefficients in a product.
5. Greatest Coefficient and Greatest Term
These are different questions, and confusing them is the standard error here.
| Question | Depends on |
|---|---|
| Greatest coefficient | only |
| Greatest term | and the value of |
The greatest coefficient of is the middle one, because the coefficients rise to the centre and fall away symmetrically. The greatest term can sit anywhere, since a large power of can outweigh a small combination.
Both are found the same way, from the ratio of consecutive terms.
Terms increase while that ratio exceeds and decrease after, so the greatest term is at the change of direction.
Illustration 8
Show, from the ratio, that the greatest coefficient of is the middle one.
Set so only the combinations remain.
So the coefficients strictly increase while is below and strictly decrease after, with the turning point at the centre.
For even that gives one peak, at ; for odd the ratio equals exactly once, producing two equal greatest coefficients side by side.
Notice that this argument never computed a single factorial. The ratio of consecutive terms is nearly always easier than the terms themselves.
Illustration 9
Find the greatest term in the expansion of when .
Never compute ten terms. Form the ratio and ask where it drops below one.
So the terms increase for and decrease from onwards. The last increase produces .
The greatest coefficient of this expansion would have been at the middle, near , so the peak has moved left by one place. The powers of falling faster than the powers of rise is what shifted it.
6. Applications: Divisibility and Remainders
Split the base so that one piece is the divisor. Every term containing that piece is then divisible, and only the last term survives.
Illustration 10
Show that is divisible by for every positive integer .
Rewrite the power so that appears in the base.
Every term except the last carries a factor of , so the whole sum is for some integer .
The technique is entirely in the first line. Recognising as , and as , is what makes the expansion collapse.
Last digits
Last digits are remainders modulo , and so on, so the same split applies with a base built from a power of ten.
Illustration 11
Find the last two digits of .
Last two digits means the remainder modulo , so look for a power of close to a multiple of . Since , the base is the one that helps.
Expand and note that any term carrying is divisible by and therefore contributes nothing.
The last two digits are . Only two terms of a twenty-six term expansion survived, and choosing the base rather than is what killed the rest.
Illustration 12
Find the remainder when is divided by .
Look for a power of that lands near a multiple of . Since and , the base is the useful one.
Expanding , every term but the last carries a factor of , and the last is .
The remainder is . Note the last step: a negative remainder is corrected by adding the divisor once, and .
7. Sums, Differences and Rational Terms
Adding or subtracting two expansions
For a surd , expanding and gives terms that differ only in sign wherever the power of is odd.
The difference keeps only the odd powers, so it is an integer multiple of rather than an integer. Which of the two you need is decided by whether the question asks for an integer or for a surd.
Illustration 13
Show that is just below an integer, and find its integer part.
Its conjugate is about , so the fifth power is tiny, roughly . Add the two and the surds cancel.
Since the conjugate term is positive but under :
The fractional part is , which is the real content of the question: the conjugate power measures exactly how close to the integer you are.
Counting rational terms
In an expansion of , a term is rational only when both fractional powers clear simultaneously. Write the general term, impose one divisibility condition on from each surd, and count the in range satisfying both.
Illustration 14
How many rational terms are there in the expansion of ?
Write the general term and read off both fractional powers.
Rationality demands both exponents be whole numbers, and the two conditions must hold at the same time.
Both together mean is a multiple of , and runs from to .
Satisfying one condition is not enough, and that is where marks go: clears the cube root but leaves behind.
8. Approximation
When is small, terms with high powers of become negligible and the expansion is truncated.
Illustration 15
Estimate with one correction term and then with two, and compare with the true value .
Write so that is small.
That is already within per cent. Adding the next term sharpens it considerably.
The third term would contribute , recovering almost all of what is left. Each successive term is roughly fifty times smaller, which is why truncating early is safe here and would not be if were near .
Summary
The binomial theorem is a counting statement: the coefficient of counts which of the brackets supplied the .
There are terms; powers of fall, powers of rise, the two always sum to , and the coefficients are symmetric, which is a free error check.
, and the first term has . The th term uses .
For any "find the coefficient of" question: write the general term, collect the power of , set it equal to the target. A non-integral means the coefficient is zero.
Even has one middle term, odd has two, and the two are unequal whenever the binomial carries constants.
Sum of the coefficients means substituting into the expression, so sums to and not .
gives zero for ; averaging the two substitutions splits the coefficients into even and odd halves, each .
Differentiating gives sums weighted by , and comparing coefficients in a product of two expansions gives the squared-coefficient identities.
Greatest coefficient depends on alone and sits at the middle; greatest term depends on as well and can sit anywhere. Both come from the ratio .
A factor of in front of a coefficient points to differentiation, a divisor of points to integration, and a squared coefficient points to a product of two expansions.
A term is rational only when every fractional exponent clears at once, so impose one divisibility condition per surd and intersect them.
For divisibility, split the base so the divisor appears in it: becomes , and every term but the last is divisible.
Adding a surd expansion to its conjugate cancels the odd powers and leaves an integer, which locates the fractional part exactly.
For approximation, when is small, and each further term shrinks by roughly a factor of times .
