Earlier we studied products of polynomials, and in particular we found expanded forms for powers of binomials such as \((a+b)^2\) and \((a+b)^3\text{.}\) The amount of work involved in expanding such powers increases as the exponent gets larger. In this section we will learn how to raise a binomial to any positive integer power, without having to perform the polynomial products.
Investigation9.4.Powers of Binomials.
In this investigation we will look for patterns in the expansion of \((a+b)^n\text{.}\) We begin by computing several such powers.
Expand each power and fill in the blanks. Arrange the terms in each expansion in descending powers of \(a\text{.}\)
Do you see a relationship between the exponent \(n\) and the number of terms in the expansion of \((a+b)^n\text{?}\) (Notice that for \(n=0\) we have \((a+b)^0=1\text{,}\) which has one term.) Fill in the table below.
\(n\)
Number of terms in \((a+b)^n\)
\(0\)
\(\hphantom{0000}\)
\(1\)
\(\hphantom{0000}\)
\(2\)
\(\hphantom{0000}\)
\(3\)
\(\hphantom{0000}\)
\(4\)
\(\hphantom{0000}\)
\(5\)
\(\hphantom{0000}\)
First observation: In general, the expansion of \((a+b)^n\) has terms.
Next we’ll consider the exponents on \(a\) and \(b\) in each term of the expansions. Refer to your expanded powers in parts 1-5, and fill in the next table.
\(n\)
First term of \((a+b)^n\)
Last term of \((a+b)^n\)
Sum of exponents on \(a\) and \(b\) in each term
\(0\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(1\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(2\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(3\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(4\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(5\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Second observation: In any term of the expansion of \((a+b)^n\text{,}\) the sum of the exponents on \(a\) and on \(b\) is
In fact, we can be more specific in describing the exponents in the expansions. We will use \(k\) to label the terms in the expansion of \((a+b)^n\text{,}\) starting with \(k=0\text{.}\) For example, for \(n=2\) we label the terms as follows: .
We can make a table showing the exponents on \(a\) and \(b\) in each term of \((a+b)^2\text{:}\)
Case \(n=2\text{:}\)
\(k\)
\(0\)
\(1\)
\(2\)
Exponent on \(a\)
\(2\)
\(1\)
\(0\)
Exponent on \(b\)
\(0\)
\(1\)
\(2\)
Complete the tables shown below for the cases \(n=3,~ n=4\) and \(n=5\text{.}\)
Case \(n=3\text{:}\)
\(k\)
\(0\)
\(1\)
\(2\)
\(3\)
Exponent on \(a\)
\(3\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Exponent on \(b\)
\(0\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Case \(n=4\text{:}\)
\(k\)
\(0\)
\(1\)
\(2\)
\(3\)
\(4\)
Exponent on \(a\)
\(4\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Exponent on \(b\)
\(0\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Case \(n=5\text{:}\)
\(k\)
\(0\)
\(1\)
\(2\)
\(3\)
\(4\)
\(5\)
Exponent on \(a\)
\(4\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Exponent on \(b\)
\(0\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
\(\hphantom{0000}\)
Third observation: The variable factors of the \(k^{\text{th}}\) term in the expansion of \((a+b)^n\) may be expressed as . (Fill in the correct powers in terms of \(k\) and \(n\) for \(a\) and \(b\text{.}\))
In the next investigation we will look for patterns in the coefficients of the terms of the expansions.
SubsectionPowers of Other Binomials
We can use what we learned from the Investigation to raise other binomials to powers.
Now we continue our study of powers of binomials. What should the expansion of \((a+b)^6\) look like? From the Iinvestigation we know that it should have 7 terms, with the exponents on \(a\) decreasing from 6 down to 0, and the exponents on \(b\) increasing from 0 up to 6.
But what about the numerical coefficients of the terms? We will use the notation \(_nC_k \) for the coefficient of the \(k^{\text{th}}\) term in the expansion of \((a+b)^n\text{.}\) For example, in the expansion of \((a+b)^6\) above,
the coefficient of \(a^6\) is denoted by \(_6C_0\text{,}\)
the coefficient of \(a^5b^1\) is \(_6C_1 \text{,}\)
the coefficient of \(a^4b^2\) is \(_6C_2 \text{,}\)
and so on. Note that the 6 in front of the \(C\) indicates that \(n=6\text{,}\) and the number following \(C\) corresponds to the exponent on \(b\text{.}\) The symbol \(~_nC_k~\) is called the binomial coefficient.
The Binomial Coefficient.
The binomial coefficient \(~_nC_k~\) is the coefficient of the term containing \(~b^k~\) in the expansion of \((a+b)^n\text{.}\)
Example9.70.
Use your expansions from the Investigation to evaluate the following binomial coefficients.
\(\displaystyle _4C_3 \)
\(\displaystyle _5C_2 \)
Solution.
\(_4C_3\) is the coefficient of the term containing \(b^3\) in the expansion of \((a+b)^4\text{.}\) Referring to Step 5 in the Investigation, we see that the coefficient of the term \(4ab^3\) is 4. Thus, \(_4C_3 = 4\text{.}\)
\(_5C_2\) is the coefficient of the term containing \(b^2\) in the expansion of \((a+b)^5\text{.}\) Referring to Step 6 in the Investigation, we see that the coefficient of the term \(10a^3b^2\) is 10. Thus, \(_5C_2 = 10\text{.}\)
Checkpoint9.71.Practice 2.
Evaluate the binomial coefficients.
\(\displaystyle _5C_4 \)
\(\displaystyle _5C_0 \)
Solution.
5
1
Investigation9.5.Pascal’s Triangle.
To get a clearer picture of the binomial coefficients, consider again the expansions of \((a+b)^n\) you calculated in the last Investigation, but this time look only at the numerical coefficients of each term:
This triangular array of numbers is known as Pascal’s triangle. It has many interesting and surprising properties that have been extensively studied. We might first make the following observations.
Each row of Pascal’s triangle begins with the number and ends with the number .
The second number and the next-to-last number in the \(n^{\text{th}}\) row are .
There is an interesting pattern for the rest of the numbers in each row. Pick any number in the row \(n=4\text{,}\) and look at the two closest numbers in the previous row. (For example, if you picked 6, the two closest numbers in the previous row are 3 and 3.) Do you see a relationship between the numbers? Try the same thing with several numbers in row \(n=5\) to test your theory.
Starting with the row \(n=2\text{,}\) any number in the triangle (except the first and last 1’s in each row) can be found by .
Using your answer to question #3, continue Pascal’s triangle to include the row for \(n=6\text{.}\)
The numbers in Pascal’s triangle are the binomial coefficients we have been looking for. Specifically, the number in the \(k^{\text{th}}\) position (starting with \(k=0\)) of the \(n^{\text{th}}\) row of the triangle is \(~_nC_k~\text{.}\) Thus, we can use the numbers in Pascal’s triangle to expand \((a+b)^n\text{.}\)
Use Pascal’s triangle to find the binomial coefficient \(~_6C_4~\text{.}\)
Expand: \((a+b)^6\text{:}\)
Expand: \((x-2)^6\text{:}\) . (Hint: Use your answer to #6, replacing \(a\) by \(x\) and \(b\) by \(-2\text{.}\))
Continue Pascal’s triangle to include the row for \(n=7\text{.}\)
SubsectionUsing Pascal’s Triangle
We can now write the expanded form of any binomial power without having to perform the multiplication.
Example9.72.
Find the expanded form of \((3r-q)^6\) without performing the multiplication.
Finding binomial coefficients from Pascal’s triangle is tedious for large values of \(n\text{.}\) It would be convenient to have a formula for calculating the coefficients directly. For this formula we need a new symbol, \(n!\) (read "\(n\) factorial"), which is defined as follows:
Note that both \(1!\) and \(0!\) are equal to \(1\text{.}\)
SubsectionThe Binomial Coefficient in Factorial Notation
Earlier we introduced the notation \(~_nC_k~\) for the numerical coefficients in the expansion of \((a+b)^n\text{.}\) These binomial coefficients, which are given by Pascal’s triangle, can also be expressed using factorial notation as follows.
so the formula correctly gives us the coefficient of \(a^n\) in the expansion of \((a+b)^n\text{.}\)
We now have two methods for computing the binomial coefficient \(~_nC_k~\) : Pascal’s triangle and our formula using factorials. When \(n\) is small, especially if all the coefficients of the binomial expansion are needed, Pascal’s triangle is often the easier choice. But when \(n\) is large or if only one coefficient is required, the factorial formula for \(~_nC_k~\) is probably quicker than Pascal’s triangle.
Example9.85.
Find the coefficient of \(m^{11}n^3\) in the expansion of \((m+n)^{14}\text{.}\)
Solution.
We are simply replacing \(a\) with \(m\) and \(b\) with \(n\) in the expansion of \((a+b)^{14}\text{,}\) so the term containing \(m^{11}n^3\) has \(n=14\) and \(k=3\text{,}\) and its coefficient is \(~_{14}C_3~\text{.}\)
Notice that the sigma notation indicates terms for \(k=0\) to \(k=6\text{,}\) so there are 7 terms in the expansion, as there should be. Also note that the sum of the exponents on \(a\) and \(b\) is \((6-k)+k = 6\text{.}\)
The equation above is a special case of the binomial theorem, which uses everything we have learned to write the expanded form of a power of a binomial in the most compact form possible. We can write the general form of the theorem, for positive integers \(n\text{,}\) as follows.
The binomial coefficient \(~_nC_k~ \) is the coefficient of the term containing \(b^k\) in the expansion of \((a+b)^n\text{.}\)
The numbers in Pascal’s triangle are the binomial coefficients. Specifically, the number in the \(k^{\text{th}}\) position (starting with \(k=0\)) of the \(n^{\text{th}}\) row of the triangle is \(~_nC_k~ \text{.}\)
Explain how to use Pascal’s triangle when expanding a power of a binomial.
What is factorial notation?
State a formula for the binomial coefficients in factorial notation.
Explain how to use the binomial theorem to expand \((a+b)^7\text{.}\)
SubsubsectionSKILLS
Practice each skill in the Homework Problems listed.
Expand powers of binomials: #1–22, 33–34
Simplify factorial notation: #23–24
Evaluate binomial coefficients: #25–26
Find specific terms of binomial expansions: #28–32, #35-42
Use Pascal’s triangle: #43–44
ExercisesHomework 9.5
Exercise Group.
For Problems 1–4, answer the questions without expanding the power.
1.
How many terms are in the expansion of \((a+b)^{50}\text{?}\) In the expansion of \((2x+3y)^{100}\text{?}\)
2.
How many terms are in the expansion of \((a+b)^{75}\text{?}\) In the expansion of \((5x-7y)^{200}\text{?}\)
3.
What is the sum of the exponents on \(x\) and \(y\) in each term of the expansion of \((x+y)^{100}\text{?}\) In the expansion of \((8x-7y)^{50}\text{?}\)
4.
What is the sum of the exponents on \(x\) and \(y\) in each term of the expansion of \((x+y)^{200}\text{?}\) In the expansion of \((9x+4y)^{75}\text{?}\)
5.
Write down the portion of Pascal’s triangle corresponding to rows from \(n=0\) to \(n=10\text{.}\) How many rows are involved?
6.
Write down the portion of Pascal’s triangle corresponding to rows from \(n=0\) to \(n=12\text{.}\) How many rows are involved?
Exercise Group.
For Problems 7–18, write the power in expanded form.
7.
\((x+3)^5\)
8.
\((2x+y)^4\)
9.
\((z-3)^4\)
10.
\((2w-1)^5\)
11.
\(\left(2x-\dfrac{y}{2}\right)^3\)
12.
\(\left(\dfrac{x}{3}+3\right)^6\)
13.
\((x^2-3)^7\)
14.
\(\left(1-y^2\right)^5\)
15.
\((x+y)^5\)
16.
\((x-y)^6\)
17.
\((p-2q)^4\)
18.
\((m+3n)^8\)
19.
Simplify \((1+5t)^3 + (1-5t)^3\text{.}\)
20.
Simplify \((3+2a)^4 + (3-2a)^4.\)
21.
Write \(\left(z-\dfrac{1}{z}\right)^5\) in descending powers of \(z\text{.}\)
22.
Write \(\left(v+\dfrac{1}{v}\right)^4\) in descending powers of \(v\text{.}\)
Exercise Group.
Write the expressions in Problems 23–24 in expanded form and simplify.
23.
\(\displaystyle 5!\)
\(\displaystyle \dfrac{9!}{7!}\)
\(\displaystyle \dfrac{5!~7!}{12!}\)
\(\displaystyle \dfrac{8!}{2!(8-2)!}\)
24.
\(\displaystyle 7!\)
\(\displaystyle \dfrac{12!}{11!}\)
\(\displaystyle \dfrac{12!~4!}{16!}\)
\(\displaystyle \dfrac{10!}{4!(10-4)!}\)
Exercise Group.
In Problems 25–26, evaluate the binomial coefficient.
25.
\(\displaystyle ~_9C_6~ \)
\(\displaystyle ~_{12}C_3~ \)
\(\displaystyle ~_{20}C_{18}~ \)
\(\displaystyle ~_{14}C_9~ \)
26.
\(\displaystyle ~_8C_5~ \)
\(\displaystyle ~_{13}C_4~ \)
\(\displaystyle ~_{18}C_{16}~ \)
\(\displaystyle ~_{16}C_7~ \)
27.
Find in ascending powers of \(x\) the first three terms in the expansions of
\(\displaystyle (1-2x)^7\)
\(\displaystyle (2-x)^6\)
28.
Find in descending powers of \(y\) the first three terms in the expansions of
\(\displaystyle (5y-2)^4\)
\(\displaystyle (3y+1)^5\)
29.
Find in descending powers of \(u\) the first three non-zero terms of \((4u-1)^5-(4u+1)^5\text{.}\)
30.
Find in ascending powers of \(t\) the first three non-zero terms of \((1-3t)^6-(1+3t)^6\text{.}\)
For Problems 35–42, find the coefficient of the indicated term.
35.
\((x+y)^{20};~~ x^{13}y^7\)
36.
\((x+y)^{15};~~ x^{12}y^3\)
37.
\((a-2b)^{12};~~ a^5b^7\)
38.
\((2a-b)^{12};~~ a^8b^4\)
39.
\(\left(x-\sqrt{2}\right)^{10};~~ x^4\)
40.
\(\left(x-\dfrac{1}{2}\right)^8;~~ x^5\)
41.
\(\left(a^3-b^3\right)^9;~~ a^{18}b^9\)
42.
\(\left(x^2-y^2\right)^7;~~ x^{10}y^4 \)
Exercise Group.
For Problems 43–44, refer to Pascal’s triangle to answer the questions.
43.
Write out the terms of the sequence \(11^n\) for \(n = 0, 1, 2, 3, 4\text{.}\) How are these related to the rows of Pascal’s triangle? Can you explain why? (Hint: Rewrite \(11\) as \(10+1\text{.}\))
44.
Write out the terms of the sequence \(1.1^n\) for \(n = 0, 1, 2, 3, 4\text{.}\) How are these related to the rows of Pascal’s triangle? Can you explain why? (Hint: Rewrite \(1.1\) as \(1+0.1\text{.}\))