Using the Binomial Theorem
When we expand \({(x+y)}^n\) by multiplying, the result is called a binomial expansion, and it includes binomial coefficients. If we wanted to expand \({(x+y)}^{52}\), we might multiply \((x+y)\) by itself fifty-two times. This could take hours! If we examine some simple binomial expansions, we can find patterns that will lead us to a shortcut for finding more complicated binomial expansions.
\[\begin{align*} {(x+y)}^2 &= x^2+2xy+y^2 \\[4pt] {(x+y)}^3 &= x^3+3x^2y+3xy^2+y^3 \\[4pt] {(x+y)}^4 &= x^4+4x^3y+6x^2y^2+4xy^3+y^4 \end{align*}\]
First, let’s examine the exponents. With each successive term, the exponent for \(x\) decreases and the exponent for \(y\) increases. The sum of the two exponents is \(n\) for each term.
Next, let’s examine the coefficients. Notice that the coefficients increase and then decrease in a symmetrical pattern. The coefficients follow a pattern:
\(\dbinom{n}{0}\), \(\dbinom{n}{1}\), \(\dbinom{n}{2}\),..., \(\dbinom{n}{n}.\)
These patterns lead us to the Binomial Theorem, which can be used to expand any binomial.
\[\begin{align*} {(x+y)}^n&=\sum_{k=0}^{n}\dbinom{n}{k}x^{n−k}y^k \\[4pt] &=x^n+\dbinom{n}{1}x^{n−1}y+\dbinom{n}{2}x^{n−2}y^2+...+\dbinom{n}{n−1}xy^{n−1}+y^n \end{align*}\]
Another way to see the coefficients is to examine the expansion of a binomial in general form, \(x+y\), to successive powers \(1\), \(2\), \(3\), and \(4\).
\[\begin{align*} {(x+y)}^1 &= x+y \\ {(x+y)}^2 &= x^2+2xy+y^2 \\ {(x+y)}^3 &= x^3+3x^2y+3xy^2+y^3 \\ {(x+y)}^4 &= x^4+4x^3y+6x^2y^2+4xy^3+y^4 \end{align*}\]
Can you guess the next expansion for the binomial \({(x+y)}^5\)?
Figure \(\PageIndex{1}\)
See Figure \(\PageIndex{1}\), which illustrates the following:
- There are \(n+1\) terms in the expansion of \({(x+y)}^n\).
- The degree (or sum of the exponents) for each term is \(n\).
- The powers on \(x\) begin with \(n\) and decrease to \(0\).
- The powers on \(y\) begin with \(0\) and increase to \(n\).
- The coefficients are symmetric.
To determine the expansion on \({(x+y)}^5\), we see \(n=5\), thus, there will be \(5+1=6\) terms. Each term has a combined degree of \(5\). In descending order for powers of \(x\), the pattern is as follows:
- Introduce \(x^5\), and then for each successive term reduce the exponent on \(x\) by \(1\) until \(x^0=1\) is reached.
- Introduce \(y^0=1\), and then increase the exponent on yy by 1 until \(y^5\) is reached.
\(x^5, x^4y, x^3y^2, x^2y^3, xy^4, y^5\)
The next expansion would be
\({(x+y)}^5=x^5+5x^4y+10x^3y^2+10x^2y^3+5xy^4+y^5\)
But where do those coefficients come from? The binomial coefficients are symmetric. We can see these coefficients in an array known as Pascal's Triangle, shown in Figure \(\PageIndex{2}\).
Figure \(\PageIndex{2}\)
To generate Pascal’s Triangle, we start by writing a \(1\). In the row below, row 2, we write two \(1’s\). In the 3rd row, flank the ends of the rows with \(1’s\), and add \(1+1\) to find the middle number, \(2\). In the \(n^{th}\) row, flank the ends of the row with \(1’s\). Each element in the triangle is the sum of the two elements immediately above it.
To see the connection between Pascal’s Triangle and binomial coefficients, let us revisit the expansion of the binomials in general form.
THE BINOMIAL THEOREM
The Binomial Theorem is a formula that can be used to expand any binomial.
\[ {(x+y)}^n = \sum_{k=0}^{n}\dbinom{n}{k}x^{n−k}y^k = x^n+\dbinom{n}{1}x^{n−1}y+\dbinom{n}{2}x^{n−2}y^2+...+\dbinom{n}{n−1}xy^{n−1}+y^n \]