9.4 The Binomial Theorem

In this section, we aim to prove the celebrated Binomial Theorem. Simply stated, the Binomial Theorem is a formula for the expansion of quantities ${(a + b)}^{n}$ for natural numbers $n$ . In Elementary and Intermediate Algebra, you should have seen specific instances of the formula, namely

$\begin{matrix} {(a + b)}^{1} & = & a + b \\ {(a + b)}^{2} & = & a^{2} + 2 a b + b^{2} \\ {(a + b)}^{3} & = & a^{3} + 3 a^{2} b + 3 a b^{2} + b^{3} \end{matrix}$

If we wanted the expansion for ${(a + b)}^{4}$ we would write ${(a + b)}^{4} = (a + b) {(a + b)}^{3}$ and use the formula that we have for ${(a + b)}^{3}$ to get ${(a + b)}^{4} = (a + b) (a^{3} + 3 a^{2} b + 3 a b^{2} + b^{3}) = a^{4} + 4 a^{3} b + 6 a^{2} b^{2} + 4 a b^{3} + b^{4}$ . Generalizing this a bit, we see that if we have a formula for ${(a + b)}^{k}$ , we can obtain a formula for ${(a + b)}^{k + 1}$ by rewriting the latter as ${(a + b)}^{k + 1} = (a + b) {(a + b)}^{k}$ . Clearly this means Mathematical Induction plays a major role in the proof of the Binomial Theorem.¹ Before we can state the theorem we need to revisit the sequence of factorials which were introduced in Example number in Section.

Recall this means $0 ! equals 1$ and $n! = n (n - 1)!$ for $n greater than or equal to 1$ . Using the recursive definition, we get: $1! = 1 \cdot 0! = 1 \cdot 1 = 1$ , $2! = 2 \cdot 1! = 2 \cdot 1 = 2$ , $3! = 3 \cdot 2! = 3 \cdot 2 \cdot 1 = 6$ and $4! = 4 \cdot 3! = 4 \cdot 3 \cdot 2 \cdot 1 = 24$ . Informally, $n! = n \cdot (n - 1) \cdot (n - 2) \dots 2 \cdot 1$ with $0 ! equals 1$ as our `base case.' Our first example familiarizes us with some of the basic computations involving factorials.

Example 1

Simplify the following expressions.
1. $\frac{3! 2!}{0!}$
2. $\frac{7!}{5!}$
3. $\frac{1000!}{998! 2!}$
4. $\frac{(k + 2)!}{(k - 1)!}$ , $k greater than or equal to 1$
Prove $n ! greater than 3 to the power n$ for all $n greater than or equal to 7$ .

We keep in mind the mantra, “When in doubt, write it out!” as we simplify the following.
1. We have been programmed to react with alarm to the presence of a $0$ in the denominator, but in this case $0 ! equals 1$ , so the fraction is defined after all. As for the numerator, $3! = 3 \cdot 2 \cdot 1 = 6$ and $2! = 2 \cdot 1 = 2$ , so we have $\frac{3! 2!}{0!} = \frac{(6) (2)}{1} = 12$ .
2. We have $7! = 7 \cdot 6 \cdot 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 = 5040$ while $5! = 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 = 120$ . Dividing, we get $\frac{7!}{5!} = \frac{5040}{120} = 42$ . While this is correct, we note that we could have saved ourselves some of time had we proceeded as follows
  $\frac{7!}{5!} = \frac{7 \cdot 6 \cdot 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1}{5 \cdot 4 \cdot 3 \cdot 2 \cdot 1} = \frac{7 \cdot 6 \cdot 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1}{5 \cdot 4 \cdot 3 \cdot 2 \cdot 1} = 7 \cdot 6 = 42$
  In fact, should we want to fully exploit the recursive nature of the factorial, we can write
  $\frac{7!}{5!} = \frac{7 \cdot 6 \cdot 5!}{5!} = \frac{7 \cdot 6 \cdot 5!}{5!} = 42$
3. Keeping in mind the lesson we learned from the previous problem, we have
  $\frac{1000!}{998! 2!} = \frac{1000 \cdot 999 \cdot 998!}{998! \cdot 2!} = \frac{1000 \cdot 999 \cdot 998!}{998! \cdot 2!} = \frac{999000}{2} = 499500$
4. This problem continues the theme which we have seen in the previous two problems. We first note that since $k plus 2$ is larger than $k minus 1$ , $open parenthesis k plus 2 close parenthesis !$ contains all of the factors of $open parenthesis k minus 1 close parenthesis !$ and as a result we can get the $open parenthesis k minus 1 close parenthesis !$ to cancel from the denominator. To see this, we begin by writing out $open parenthesis k plus 2 close parenthesis !$ starting with $open parenthesis k plus 2 close parenthesis$ and multiplying it by the numbers which precede it until we reach $open parenthesis k minus 1 close parenthesis$ : $(k + 2)! = (k + 2) (k + 1) (k) (k - 1)!$ . As a result, we have
  $\frac{(k + 2)!}{(k - 1)!} = \frac{(k + 2) (k + 1) (k) (k - 1)!}{(k - 1)!} = \frac{(k + 2) (k + 1) (k) (k - 1)!}{(k - 1)!} = k (k + 1) (k + 2)$
  The stipulation $k greater than or equal to 1$ is there to ensure that all of the factorials involved are defined.
We proceed by induction and let $P (n)$ be the inequality $n ! greater than 3 to the power n$ . The base case here is $n equals 7$ and we see that $7 ! equals 5040$ is larger than $3^{7} = 2187$ , so $P ⁢ open parenthesis 7 close parenthesis$ is true. Next, we assume that $P (k)$ is true, that is, we assume $k ! greater than 3 to the power k$ and attempt to show $P ⁢ open parenthesis k plus 1 close parenthesis$ follows. Using the properties of the factorial, we have $(k + 1)! = (k + 1) k!$ and since $k ! greater than 3 to the power k$ , we have $(k + 1)! > (k + 1) 3^{k}$ . Since $k greater than or equal to 7$ , $k plus 1 greater than or equal to 8$ , so $(k + 1) 3^{k} \geq 8 \cdot 3^{k} > 3 \cdot 3^{k} = 3^{k + 1}$ . Putting all of this together, we have $(k + 1)! = (k + 1) k! > (k + 1) 3^{k} > 3^{k + 1}$ which shows $P ⁢ open parenthesis k plus 1 close parenthesis$ is true. By the Principle of Mathematical Induction, we have $n ! greater than 3 to the power n$ for all $n greater than or equal to 7$ .

Of all of the mathematical animals we have discussed in the text, factorials grow most quickly. In problem 2 of Example Example 1, we proved that $n!$ overtakes $3 to the power n$ at $n equals 7$ . `Overtakes' may be too polite a word, since $n!$ thoroughly trounces $3 to the power n$ for $n greater than or equal to 7$ , as any reasonable set of data will show. It can be shown that for any real number $x greater than 0$ , not only does $n!$ eventually overtake $x^{n}$ , but the ratio $\frac{x^{n}}{n!} \to 0$ as $n → ∞$ .²

Applications of factorials in the wild often involve counting arrangements. For example, if you have fifty songs on your mp3 player and wish arrange these songs in a playlist in which the order of the songs matters, it turns out that there are $50 !$ different possible playlists. If you wish to select only ten of the songs to create a playlist, then there are $\frac{50!}{40!}$ such playlists. If, on the other hand, you just want to select ten song files out of the fifty to put on a flash memory card so that now the order no longer matters, there are $\frac{50!}{40! 10!}$ ways to achieve this.³ While some of these ideas are explored in the Exercises, the authors encourage you to take courses such as Finite Mathematics, Discrete Mathematics and Statistics. We introduce these concepts here because this is how the factorials make their way into the Binomial Theorem, as our next definition indicates.

Definition

Binomial Coefficients: Given two whole numbers $n$ and $j$ with $n \geq j$ , the binomial coefficient $(\binom{n}{j})$ (read, $n$ choose $j$ ) is the whole number given by

$(\binom{n}{j}) = \frac{n!}{j! (n - j)!}$

The name `binomial coefficient' will be justified shortly. For now, we can physically interpret $(\binom{n}{j})$ as the number of ways to select $j$ items from $n$ items where the order of the items selected is unimportant. For example, suppose you won two free tickets to a special screening of the latest Hollywood blockbuster and have five good friends each of whom would love to accompany you to the movies. There are $(\binom{5}{2})$ ways to choose who goes with you. Applying Definition, we get

$(\binom{5}{2}) = \frac{5!}{2! (5 - 2)!} = \frac{5!}{2! 3!} = \frac{5 \cdot 4}{2} = 10$

So there are $10$ different ways to distribute those two tickets among five friends. (Some will see it as $10$ ways to decide which three friends have to stay home.) The reader is encouraged to verify this by actually taking the time to list all of the possibilities.

We now state anf prove a theorem which is crucial to the proof of the Binomial Theorem.

Theorem

For natural numbers $n$ and $j$ with $n \geq j$ ,

$(\binom{n}{j - 1}) + (\binom{n}{j}) = (\binom{n + 1}{j})$

The proof of Theorem is purely computational and uses the definition of binomial coefficients, the recursive property of factorials and common denominators.

$\begin{matrix} (\binom{n}{j - 1}) + (\binom{n}{j}) & = & \frac{n!}{(j - 1)! (n - (j - 1))!} + \frac{n!}{j! (n - j)!} \\ = & \frac{n!}{(j - 1)! (n - j + 1)!} + \frac{n!}{j! (n - j)!} \\ = & \frac{n!}{(j - 1)! (n - j + 1) (n - j)!} + \frac{n!}{j (j - 1)! (n - j)!} \\ = & \frac{n! j}{j (j - 1)! (n - j + 1) (n - j)!} + \frac{n! (n - j + 1)}{j (j - 1)! (n - j + 1) (n - j)!} \\ = & \frac{n! j}{j! (n - j + 1)!} + \frac{n! (n - j + 1)}{j! (n - j + 1)!} \\ = & \frac{n! j + n! (n - j + 1)}{j! (n - j + 1)!} \\ = & \frac{n! (j + (n - j + 1))}{j! (n - j + 1)!} \\ = & \frac{(n + 1) n!}{j! (n + 1 - j))!} \\ = & \frac{(n + 1)!}{j! ((n + 1) - j))!} \\ = & (\binom{n + 1}{j}) ✓ \end{matrix}$

We are now in position to state and prove the Binomial Theorem where we see that binomial coefficients are just that - coefficients in the binomial expansion.

Theorem

Binomial Theorem: For nonzero real numbers $a$ and $b$ ,

${(a + b)}^{n} = \sum_{j = 0}^{n} (\binom{n}{j}) a^{n - j} b^{j}$

for all natural numbers $n$ .

To get a feel of what this theorem is saying and how it really isn't as hard to remember as it may first appear, let's consider the specific case of $n equals 4$ . According to the theorem, we have

$\begin{matrix} {(a + b)}^{4} & = & \sum_{j = 0}^{4} (\binom{4}{j}) a^{4 - j} b^{j} \\ = & (\binom{4}{0}) a^{4 - 0} b^{0} + (\binom{4}{1}) a^{4 - 1} b^{1} + (\binom{4}{2}) a^{4 - 2} b^{2} + (\binom{4}{3}) a^{4 - 3} b^{3} + (\binom{4}{4}) a^{4 - 4} b^{4} \\ = & (\binom{4}{0}) a^{4} + (\binom{4}{1}) a^{3} b + (\binom{4}{2}) a^{2} b^{2} + (\binom{4}{3}) a b^{3} + (\binom{4}{4}) b^{4} \end{matrix}$

We forgo the simplification of the coefficients in order to note the pattern in the expansion. First note that in each term, the total of the exponents is $4$ which matched the exponent of the binomial ${(a + b)}^{4}$ . The exponent on $a$ begins at $4$ and decreases by one as we move from one term to the next while the exponent on $b$ starts at $0$ and increases by one each time. Also note that the binomial coefficients themselves have a pattern. The upper number, $4$ , matches the exponent on the binomial ${(a + b)}^{4}$ whereas the lower number changes from term to term and matches the exponent of $b$ in that term. This is no coincidence and corresponds to the kind of counting we discussed earlier. If we think of obtaining ${(a + b)}^{4}$ by multiplying $(a + b) (a + b) (a + b) (a + b)$ , our answer is the sum of all possible products with exactly four factors - some $a$ , some $b$ . If we wish to count, for instance, the number of ways we obtain $1$ factor of $b$ out of a total of $4$ possible factors, thereby forcing the remaining $3$ factors to be $a$ , the answer is $(\binom{4}{1})$ . Hence, the term $(\binom{4}{1}) a^{3} b$ is in the expansion. The other terms which appear cover the remaining cases. While this discussion gives an indication as to why the theorem is true, a formal proof requires Mathematical Induction.⁴

To prove the Binomial Theorem, we let $P (n)$ be the expansion formula given in the statement of the theorem and we note that $P ⁢ open parenthesis 1 close parenthesis$ is true since

$\begin{matrix} {(a + b)}^{1} & \overset{?}{=} & \sum_{j = 0}^{1} (\binom{1}{j}) a^{1 - j} b^{j} \\ a + b & \overset{?}{=} & (\binom{1}{0}) a^{1 - 0} b^{0} + (\binom{1}{1}) a^{1 - 1} b^{1} \\ a + b & = & a + b ✓ \end{matrix}$

Now we assume that $P (k)$ is true. That is, we assume that we can expand ${(a + b)}^{k}$ using the formula given in Theorem and attempt to show that $P ⁢ open parenthesis k plus 1 close parenthesis$ is true.

$\begin{matrix} {(a + b)}^{k + 1} & = & (a + b) {(a + b)}^{k} \\ = & (a + b) \sum_{j = 0}^{k} (\binom{k}{j}) a^{k - j} b^{j} \\ = & a \sum_{j = 0}^{k} (\binom{k}{j}) a^{k - j} b^{j} + b \sum_{j = 0}^{k} (\binom{k}{j}) a^{k - j} b^{j} \\ = & \sum_{j = 0}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j} + \sum_{j = 0}^{k} (\binom{k}{j}) a^{k - j} b^{j + 1} \end{matrix}$

Our goal is to combine as many of the terms as possible within the two summations. As the counter $j$ in the first summation runs from $0$ through $k$ , we get terms involving $a^{k + 1}$ , $a^{k} b$ , $a^{k - 1} b^{2}$ , …, $a b^{k}$ . In the second summation, we get terms involving $a^{k} b$ , $a^{k - 1} b^{2}$ , …, $a b^{k}$ , $b^{k + 1}$ . In other words, apart from the first term in the first summation and the last term in the second summation, we have terms common to both summations. Our next move is to `kick out' the terms which we cannot combine and rewrite the summations so that we can combine them. To that end, we note

$\sum_{j = 0}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j} = a^{k + 1} + \sum_{j = 1}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j}$

and

$\sum_{j = 0}^{k} (\binom{k}{j}) a^{k - j} b^{j + 1} = \sum_{j = 0}^{k ¯ 1} (\binom{k}{j}) a^{k - j} b^{j + 1} + b^{k + 1}$

so that

${(a + b)}^{k + 1} = a^{k + 1} + \sum_{j = 1}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j} + \sum_{j = 0}^{k ¯ 1} (\binom{k}{j}) a^{k - j} b^{j + 1} + b^{k + 1}$

We now wish to write

$\sum_{j = 1}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j} + \sum_{j = 0}^{k ¯ 1} (\binom{k}{j}) a^{k - j} b^{j + 1}$

as a single summation. The wrinkle is that the first summation starts with $j equals 1$ , while the second starts with $j equals 0$ . Even though the sums produce terms with the same powers of $a$ and $b$ , they do so for different values of $j$ . To resolve this, we need to shift the index on the second summation so that the index $j$ starts at $j equals 1$ instead of $j equals 0$ and we make use of Theorem in the process.

$\begin{matrix} \sum_{j = 0}^{k ¯ 1} (\binom{k}{j}) a^{k - j} b^{j + 1} & = & \sum_{j = 0 + 1}^{k ¯ 1 + 1} (\binom{k}{j - 1}) a^{k - (j - 1)} b^{(j - 1) + 1} \\ = & \sum_{j = 1}^{k} (\binom{k}{j - 1}) a^{k + 1 - j} b^{j} \end{matrix}$

We can now combine our two sums using Theorem and simplify using Theorem

$\begin{matrix} \sum_{j = 1}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j} + \sum_{j = 0}^{k ¯ 1} (\binom{k}{j}) a^{k - j} b^{j + 1} & = & \sum_{j = 1}^{k} (\binom{k}{j}) a^{k + 1 - j} b^{j} + \sum_{j = 1}^{k} (\binom{k}{j - 1}) a^{k + 1 - j} b^{j} \\ = & \sum_{j = 1}^{k} [(\binom{k}{j}) + (\binom{k}{j - 1})] a^{k + 1 - j} b^{j} \\ = & \sum_{j = 1}^{k} (\binom{k + 1}{j}) a^{k + 1 - j} b^{j} \end{matrix}$

Using this and the fact that $(\binom{k + 1}{0}) = 1$ and $(\binom{k + 1}{k + 1}) = 1$ , we get

$\begin{matrix} {(a + b)}^{k + 1} & = & a^{k + 1} + \sum_{j = 1}^{k} (\binom{k + 1}{j}) a^{k + 1 - j} b^{j} + b^{k + 1} \\ = & (\binom{k + 1}{0}) a^{k + 1} b^{0} + \sum_{j = 1}^{k} (\binom{k + 1}{j}) a^{k + 1 - j} b^{j} + (\binom{k + 1}{k + 1}) a^{0} b^{k + 1} \\ = & \sum_{j = 0}^{k + 1} (\binom{k + 1}{j}) a^{(k + 1) - j} b^{j} \end{matrix}$

which shows that $P ⁢ open parenthesis k plus 1 close parenthesis$ is true. Hence, by induction, we have established that the Binomial Theorem holds for all natural numbers $n$ .

Example 2

Use the Binomial Theorem to find the following.

The term containing $x^{3}$ in the expansion ${(2 x + y)}^{5}$

Since ${(x - 2)}^{4} = {(x + (- 2))}^{4}$ , we identify $a = x$ , $b = - 2$ and $n equals 4$ and obtain
$\begin{matrix} {(x - 2)}^{4} & = & \sum_{j = 0}^{4} (\binom{4}{j}) x^{4 - j} {(- 2)}^{j} \\ = & (\binom{4}{0}) x^{4 - 0} {(- 2)}^{0} + (\binom{4}{1}) x^{4 - 1} {(- 2)}^{1} + (\binom{4}{2}) x^{4 - 2} {(- 2)}^{2} + (\binom{4}{3}) x^{4 - 3} {(- 2)}^{3} + (\binom{4}{4}) x^{4 - 4} {(- 2)}^{4} \\ = & x^{4} - 8 x^{3} + 24 x^{2} - 32 x + 16 \end{matrix}$
At first this problem seem misplaced, but we can write ${2.1}^{3} = {(2 + 0.1)}^{3}$ . Identifying $a equals 2$ , $b = 0.1 = \frac{1}{10}$ and $n equals 3$ , we get
$\begin{matrix} {(2 + \frac{1}{10})}^{3} & = & \sum_{j = 0}^{3} (\binom{3}{j}) 2^{3 - j} {(\frac{1}{10})}^{j} \\ = & (\binom{3}{0}) 2^{3 - 0} {(\frac{1}{10})}^{0} + (\binom{3}{1}) 2^{3 - 1} {(\frac{1}{10})}^{1} + (\binom{3}{2}) 2^{3 - 2} {(\frac{1}{10})}^{2} + (\binom{3}{3}) 2^{3 - 3} {(\frac{1}{10})}^{3} \\ = & 8 + \frac{12}{10} + \frac{6}{100} + \frac{1}{1000} \\ = & 8 + 1.2 + 0.06 + 0.001 \\ = & 9.261 \end{matrix}$
Identifying $a equals 2 ⁢ x$ , $b = y$ and $n equals 5$ , the Binomial Theorem gives
${(2 x + y)}^{5} = \sum_{j = 0}^{5} (\binom{5}{j}) {(2 x)}^{5 - j} y^{j}$
Since we are concerned with only the term containing $x^{3}$ , there is no need to expand the entire sum. The exponents on each term must add to $5$ and if the exponent on $x$ is $3$ , the exponent on $y$ must be $2$ . Plucking out the term $j equals 2$ , we get
$(\binom{5}{2}) {(2 x)}^{5 - 2} y^{2} = 10 {(2 x)}^{3} y^{2} = 80 x^{3} y^{2}$

We close this section with Pascal's Triangle , named in honor of the mathematician Blaise Pascal . Pascal's Triangle is obtained by arranging the binomial coefficients in the triangular fashion below.

$\begin{matrix} (\binom{0}{0}) \\ (\binom{1}{0}) & (\binom{1}{1}) \\ ↘ ↙ \\ (\binom{2}{0}) & (\binom{2}{1}) & (\binom{2}{2}) \\ ↘ ↙ & ↘ ↙ \\ (\binom{3}{0}) & (\binom{3}{1}) & (\binom{3}{2}) & (\binom{3}{3}) \\ ↘ ↙ & ↘ ↙ & ↘ ↙ \\ (\binom{4}{0}) & (\binom{4}{1}) & (\binom{4}{2}) & (\binom{4}{3}) & (\binom{4}{4}) \\ ⋮ \end{matrix}$

Since $(\binom{n}{0}) = 1$ and $(\binom{n}{n}) = 1$ for all whole numbers $n$ , we get that each row of Pascal's Triangle begins and ends with $1$ . To generate the numbers in the middle of the rows (from the third row onwards), we take advantage of the additive relationship expressed in Theorem. For instance, $(\binom{1}{0}) + (\binom{1}{1}) = (\binom{2}{1})$ , $(\binom{2}{0}) + (\binom{2}{1}) = (\binom{3}{1})$ and so forth. This relationship is indicated by the arrows in the array above. With these two facts in hand, we can quickly generate Pascal's Triangle. We start with the first two rows, $1$ and $1 1$ . From that point on, each successive row begins and ends with $1$ and the middle numbers are generated using Theorem. Below we attempt to demonstrate this building process to generate the first five rows of Pascal's Triangle.

$\begin{matrix} \begin{matrix} 1 \\ 1 & 1 \\ ↘ ↙ \\ 1 & \underline{1 + 1} & 1 \end{matrix} & \overset{}{\to} & \begin{matrix} 1 \\ 1 & 1 \\ 1 & 2 & 1 \end{matrix} \\ \begin{matrix} 1 \\ 1 & 1 \\ 1 & 2 & 1 \\ ↘ ↙ & ↘ ↙ \\ 1 & \underline{1 + 2} & \underline{2 + 1} & 1 \end{matrix} & \overset{}{\to} & \begin{matrix} 1 \\ 1 & 1 \\ 1 & 2 & 1 \\ 1 & 3 & 3 & 1 \end{matrix} \\ \begin{matrix} 1 \\ 1 & 1 \\ 1 & 2 & 1 \\ 1 & 3 & 3 & 1 \\ ↘ ↙ & ↘ ↙ & ↘ ↙ \\ 1 & \underline{1 + 3} & \underline{3 + 3} & \underline{3 + 1} & 1 \end{matrix} & \overset{}{\to} & \begin{matrix} 1 \\ 1 & 1 \\ 1 & 2 & 1 \\ 1 & 3 & 3 & 1 \\ 1 & 4 & 6 & 4 & 1 \end{matrix} \end{matrix}$

To see how we can use Pascal's Triangle to expedite the Binomial Theorem, suppose we wish to expand ${(3 x - y)}^{4}$ . The coefficients we need are $(\binom{4}{j})$ for $j equals 0, 1, 2, 3, 4$ and are the numbers which form the fifth row of Pascal's Triangle. Since we know that the exponent of $3 ⁢ x$ in the first term is $4$ and then decreases by one as we go from left to right while the exponent of $- y$ starts at $0$ in the first term and then increases by one as we move from left to right, we quickly obtain

$\begin{matrix} {(3 x - y)}^{4} & = & (1) {(3 x)}^{4} + (4) {(3 x)}^{3} (- y) + (6) {(3 x)}^{2} {(- y)}^{2} + 4 (3 x) {(- y)}^{3} + 1 {(- y)}^{4} \\ = & 81 x^{4} - 108 x^{3} y + 54 x^{2} y^{2} - 12 x y^{3} + y^{4} \end{matrix}$

We would like to stress that Pascal's Triangle is a very quick method to expand an entire binomial. If only a term (or two or three) is required, then the Binomial Theorem is definitely the way to go.

Exercises

In Exercises -, simplify the given expression.

$open parenthesis 3 ! close parenthesis squared$
$\frac{10!}{7!}$
$\frac{7!}{2^{3} 3!}$
$\frac{9!}{4! 3! 2!}$
$\frac{(n + 1)!}{n!}$ , $n greater than or equal to 0$ .
$\frac{(k - 1)!}{(k + 2)!}$ , $k greater than or equal to 1$ .
$(\binom{8}{3})$
$(\binom{117}{0})$
$(\binom{n}{n - 2})$ , $n greater than or equal to 2$
${(x + 2)}^{5}$
${(2 x - 1)}^{4}$
${(\frac{1}{3} x + y^{2})}^{3}$
${(x - x^{- 1})}^{4}$
${(1 + 2 i)}^{4}$
${(- 1 + i \sqrt{3})}^{3}$
${(\frac{\sqrt{3}}{2} + \frac{1}{2} i)}^{3}$
${(\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2} i)}^{4}$
The term containing $x^{3}$ in the expansion ${(2 x - y)}^{5}$
The term containing $x to the power 117$ in the expansion ${(x + 2)}^{118}$
The term containing $x^{\frac{7}{2}}$ in the expansion ${(\sqrt{x} - 3)}^{8}$
The term containing $x^{- 7}$ in the expansion ${(2 x - x^{- 3})}^{5}$
The constant term in the expansion ${(x + x^{- 1})}^{8}$
Use the Prinicple of Mathematical Induction to prove $n ! greater than 2 to the power n$ for $n greater than or equal to 4$ .
Prove $\sum_{j = 0}^{n} (\binom{n}{j}) = 2^{n}$ for all natural numbers $n$ . (HINT: Use the Binomial Theorem!)
With the help of your classmates, research Patterns and Properties of Pascal's Triangle .
You've just won three tickets to see the new film, ` $8.9 bar$ .' Five of your friends, Albert, Beth, Chuck, Dan, and Eugene, are interested in seeing it with you. With the help of your classmates, list all the possible ways to distribute your two extra tickets among your five friends. Now suppose you've come down with the flu. List all the different ways you can distribute the three tickets among these five friends. How does this compare with the first list you made? What does this have to do with the fact that $(\binom{5}{2}) = (\binom{5}{3})$ ?

In Exercises -, use Pascal's Triangle to expand the given binomial.

In Exercises -, use Pascal's Triangle to simplify the given power of a complex number.

In Exercises -, use the Binomial Theorem to find the indicated term.

Answers

$36$
$720$
$105$
$1260$
$n plus 1$
$\frac{1}{k (k + 1) (k + 2)}$
$56$
$1$
$\frac{n (n - 1)}{2}$
${(x + 2)}^{5} = x^{5} + 10 x^{4} + 40 x^{3} + 80 x^{2} + 80 x + 32$
${(2 x - 1)}^{4} = 16 x^{4} - 32 x^{3} + 24 x^{2} - 8 x + 1$
${(\frac{1}{3} x + y^{2})}^{3} = \frac{1}{27} x^{3} + \frac{1}{3} x^{2} y^{2} + x y^{4} + y^{6}$
${(x - x^{- 1})}^{4} = x^{4} - 4 x^{2} + 6 - 4 x^{- 2} + x^{- 4}$
$- 7 - 24 i$
$8$
$i$
$minus 1$
$80 ⁢ x cubed ⁢ y squared$
$236 ⁢ x to the power 117$
$- 24 x^{\frac{7}{2}}$
$- 40 x^{- 7}$
$70$

It's pretty much the reason Section is in the book. ↩
This fact is far more important than you could ever possibly imagine. ↩
For reference, $\begin{matrix} 50! & = & 30414093201713378043612608166064768844377641568960512000000000000, \\ \frac{50!}{40!} & = & 37276043023296000, and \\ \frac{50!}{40! 10!} & = & 10272278170 \end{matrix}$ ↩
and a fair amount of tenacity and attention to detail. ↩

Adapted from Precalculus, 3rd corrected edition, by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.