3.5 The binomial theorem
Note that this definitely isn’t on any A Level specification.
A binomial is something in the form
What we’re interested in is how to expand this bracket for large values of . Small values of are not too bad, e.g. 55 5 If you’ve no idea how to expand this, review a GCSE textbook. can be expanded like this
What about ?
There’s a very nice pattern which emerges as we get to higher powers. Let’s try to find a nice expression for how to expand any binomial.
We can use the cases of the expansions of , and to guess what form all binomials take. In general, the powers of seem to start at and then go down by one each term. The powers of seem to do the opposite; they start at and increase up to . In general, we have something which looks a bit like
Where means the coefficient 66 6 That is to say, the number by which we multiply the variable. e.g. the coefficient of in would be . of the th item in the expansion of the th power. What are the coefficients, however, and how do we compute them?
Let’s think about what happens to the coefficients when we go from an expansion (e.g. whose value we do know) to an expansion which is one power higher, that we don’t know. We can write this in the "general case" by letting stand for the expansion we do know, and for the one we don’t. 77 7 Protip: do this expansion by hand.
The new coefficients clearly depend on the coefficients of the previous binomial 88 8 i.e. for this would be . But we already know that we can work out the coefficients of the expansion of the binomial of degree , if we multiply it by the binomial expansion of . To avoid having to do all that work, it would be better if we could write down the coefficients of all the terms given only some number without having to multiply out all the brackets by hand.
Using to stand for the th coefficient of the th power, we can also write as follows
If we compare to , the first thing that’s clear is that there’s an and which don’t exist in . Other than those terms, all the terms in the expansion exist in both and . Looking at Equation 3.59, we can see that the th term of the expansion of (apart from the first and last ones) is equal to
For example, the coefficient for is (and as that is the third term in the series, that’s what would be expected.)
In general we can write that
which doesn’t seem very helpful in computing the coefficients.
At this stage, it’s probably easiest to proceed with "proof by divine inspiration" 99 9 This is code for ”the answer is hard to work out, but easy to check”. How this can be proved is explored in the ”Discrete Mathematics” section..
Note that is also often written as (pronounced "n" choose "k").
Find the value of .
These expressions are pretty symmetric (i.e. lots of stuff will cancel when they’re expanded). Expanding the first one gives
Note that because the other expression contains no negative numbers, everything that was negative in the expansion of will instead be positive, so
and thus that overall,
Find the sum of all the coefficients in the expression .
Then, set in this expression 1010 10 This ”trick” is something that also shows up in other places. e.g. partial fractions (see the partial fractions section of the ”algebra” topic for details)..