2.7 - Binomial expansion with Pascal's triangle

2.7 - Binomial expansion with Pascal's triangle

Use Pascal's triangle to expand a positive integer power of a two-term expression. You will also work out a single coefficient without expanding everything, then use coefficients to form equations involving an unknown constant.

Where Pascal's triangle comes from

Can you work out the coefficient of x3x^3 in (2−3x)5(2 - 3x)^5 without writing the whole expansion? Five brackets would create a lot of working. By the end, you will pick out just the one term you need.

You already know

Expanding means multiplying every term in one bracket by every term in the other and collecting like terms. A power counts repeated factors: (1+x)3(1 + x)^3 means (1+x)(1+x)(1+x)(1 + x)(1 + x)(1 + x).

Start with (1+x)2=1+2x+x2(1 + x)^2 = 1 + 2x + x^2. The coefficient 22 appears because you can choose the xx from the first bracket or from the second. For (1+x)3(1 + x)^3, there are three ways to choose exactly one xx, three ways to choose exactly two, and one way to choose all three. This gives 1+3x+3x2+x31 + 3x + 3x^2 + x^3.

Binomial and coefficient

A binomial is an expression with two terms, such as 2−3x2 - 3x. A coefficient is the multiplier of a specified power: in 12x212x^2, the coefficient of x2x^2 is 1212, not 12x212x^2. The coefficient can be negative, zero or contain another letter.

The coefficients of (1+x)n(1 + x)^n, written from the constant term upwards, form Pascal's triangle. Start with 11, put 11 at both ends of each new row, and add the two entries immediately above to get an interior entry.

[DIAGRAM: asset_name: Pascal's triangle through power five; asset_slug: l2fm-pascal-triangle; caption: Each interior entry is the sum of the two above it; the row for power five has six entries; description: Pascal's triangle with rows labelled power 0 through power 5. The rows are 1; 1 1; 1 2 1; 1 3 3 1; 1 4 6 4 1; and 1 5 10 10 5 1. The two middle 3 entries in the power 3 row have arrows to the 6 below them in the power 4 row, showing 3 plus 3 equals 6. The power 5 row is lightly highlighted]
Each interior entry is the sum of the two above it

Why does adding work? On multiplying an expansion by one more (1+x)(1 + x), a new xrx^r term comes either from the old xrx^r term times 11, or from the old xr−1x^{r-1} term times xx. Those are two separate contributions, so their coefficients add.

Reading Pascal's triangle

For a positive integer power nn, use the row with n+1n + 1 entries, starting with the single 11 as row 00. Its entries are the coefficients in

(1+x)n=1+⋯+xn(1 + x)^n = 1 + \cdots + x^n

Every interior entry is the sum of the two entries immediately above it. Pascal's triangle is not supplied in the exam.
Not on the formulae sheet: learn it.

There is a useful surprise hiding in each row: its entries add to 2n2^n. For row 55, 1+5+10+10+5+1=32=251 + 5 + 10 + 10 + 5 + 1 = 32 = 2^5. Setting x=1x = 1 in (1+x)n(1 + x)^n explains it, or you can count the two choices from each of the nn brackets.

Key idea

Pascal's numbers count how many ways a term can be formed. The power nn uses n+1n + 1 coefficients, including both end entries.

Use that meaning to distinguish a coefficient from the number of all possible choices.

Expanding a complete binomial power

Pascal's numbers supply the counts, but you must also include the powers of the two actual terms in your bracket.

For a cube, the powers of the first term go down from 33 to 00, while those of the second go up from 00 to 33. Each product therefore uses exactly three factors. This prevents the common mistake of using Pascal's numbers without the powers they multiply.

Binomial expansion for positive integer powers

For real numbers aa, bb and a positive integer power, combine the appropriate Pascal row with descending powers of aa and ascending powers of bb. For example,

(a+b)3=a3+3a2b+3ab2+b3(a+b)4=a4+4a3b+6a2b2+4ab3+b4\begin{aligned} (a + b)^3 &= a^3 + 3a^2b + 3ab^2 + b^3 \\ (a + b)^4 &= a^4 + 4a^3b + 6a^2b^2 + 4ab^3 + b^4 \end{aligned}

For a subtraction, include the negative sign as part of the second term. This finite expansion is for positive integer powers; it is not a rule for expanding a square root or a negative power.
Not on the formulae sheet: learn it.

Write a line with all the powers first. Evaluating the numerical coefficients is a separate, shorter job.

Worked example 1: a scaled constant

Question. Expand and simplify (2+x)3(2 + x)^3.

Plan. Use 1,3,3,11, 3, 3, 1, pairing descending powers of 22 with ascending powers of xx.

(2+x)3=23+3(22)x+3(2)x2+x3Pascal row 3=8+12x+6x2+x3evaluate the coefficients\begin{aligned} (2 + x)^3 &= 2^3 + 3(2^2)x + 3(2)x^2 + x^3 && \text{Pascal row } 3 \\ &= 8 + 12x + 6x^2 + x^3 && \text{evaluate the coefficients} \end{aligned}

Why this step? The x2x^2 term uses two xx factors and one 22, so its coefficient is 3×23 \times 2, not 3×223 \times 2^2.

Answer. 8+12x+6x2+x38 + 12x + 6x^2 + x^3.

Check. At x=1x = 1, both forms give 2727: 33=8+12+6+13^3 = 8 + 12 + 6 + 1.

Worked example 2 changes only the plus sign to a minus sign. Even powers of −x-x are positive; odd powers are negative.

Worked example 2: alternating signs

Question. Expand and simplify (2−x)3(2 - x)^3.

Plan. Use the same row, treating the second term as −x-x throughout.

(2−x)3=23+3(22)(−x)+3(2)(−x)2+(−x)3keep −x together=8−12x+6x2−x3evaluate signed powers\begin{aligned} (2 - x)^3 &= 2^3 + 3(2^2)(-x) + 3(2)(-x)^2 + (-x)^3 && \text{keep } -x \text{ together} \\ &= 8 - 12x + 6x^2 - x^3 && \text{evaluate signed powers} \end{aligned}

Why this step? The sign belongs inside the power: (−x)2=x2(-x)^2 = x^2, whereas (−x)3=−x3(-x)^3 = -x^3.

Answer. 8−12x+6x2−x38 - 12x + 6x^2 - x^3.

Check. At x=1x = 1, the original is 13=11^3 = 1, and 8−12+6−1=18 - 12 + 6 - 1 = 1.

With a−bxa - bx, the signs alternate, but the magnitude bb is raised to a power too. Keep every copy of the multiplier when its square or fourth power is needed.

Watch out

Wrong: (2x)3=2x3(2x)^3 = 2x^3. All three factors are 2x2x, so (2x)3=8x3(2x)^3 = 8x^3. Likewise, (−2x)3=−8x3(-2x)^3 = -8x^3.

The next cube keeps a negative second term and introduces a multiplier on xx. Include that multiplier in every relevant power.

Selecting one coefficient

If the question asks for just one coefficient, select the one Pascal entry and the powers that can produce the requested term.

For an x2x^2 term, choose the xx-containing part from exactly two brackets. From the other brackets, choose the constant. In a fifth power, that leaves three constant factors. Count positions from zero: the first Pascal entry belongs to x0x^0, the second to x1x^1, and so on.

A single term in a binomial expansion

For nonzero real aa and bb, positive integer nn, and integer rr with 0⩽r⩽n0 \leqslant r \leqslant n, the term containing xrx^r in (a+bx)n(a + bx)^n is

Can−r(bx)r=Can−rbrxrC a^{n-r}(bx)^r = C a^{n-r}b^r x^r

Here CC is entry r+1r + 1 of Pascal row nn. The coefficient is Can−rbrCa^{n-r}b^r. If aa or bb is zero, simplify the bracket as a single term instead.
Not on the formulae sheet: learn it.

The formula organises the choices; there is no need to memorise a separate expansion for each power.

Worked example 3: one term from a fifth power

Question. Work out the coefficient of x2x^2 in (2+3x)5(2 + 3x)^5.

Plan. Use the third entry of row 55, then take two 3x3x factors and three 22 factors.

row 5:1, 5, 10, 10, 5, 1the third entry is 10term in x2=10(23)(3x)2three constants, two x factors=10×8×9x2=720x2evaluate\begin{aligned} \text{row }5 &: 1,\ 5,\ 10,\ 10,\ 5,\ 1 && \text{the third entry is }10 \\ \text{term in }x^2 &= 10(2^3)(3x)^2 && \text{three constants, two }x\text{ factors} \\ &= 10 \times 8 \times 9x^2 = 720x^2 && \text{evaluate} \end{aligned}

Why this step? Choosing two 3x3x factors uses two of the five brackets, so exactly three contribute a 22.

Answer. The coefficient is 720720.

Check. Choosing the two xx positions gives 5×4÷2=105 \times 4 \div 2 = 10 choices. Each contributes 23×32=722^3 \times 3^2 = 72, so the total coefficient is 10×72=72010 \times 72 = 720.

Change only +3x+3x to −3x-3x. The requested power remains even, so the coefficient stays positive.

Worked example 4: a negative term raised to an even power

Question. Work out the coefficient of x2x^2 in (2−3x)5(2 - 3x)^5.

Plan. Select the same Pascal entry, retaining the sign inside (−3x)2(-3x)^2.

term in x2=10(23)(−3x)2third entry of row 5=10×8×9x2the square is positive=720x2multiply the coefficients\begin{aligned} \text{term in }x^2 &= 10(2^3)(-3x)^2 && \text{third entry of row }5 \\ &= 10 \times 8 \times 9x^2 && \text{the square is positive} \\ &= 720x^2 && \text{multiply the coefficients} \end{aligned}

Why this step? There are two negative factors, so their signs cancel. A negative sign in the bracket does not make every coefficient negative.

Answer. The coefficient is 720720.

Check. Replacing xx by −x-x in Worked example 3 changes only the odd-powered terms. Its x2x^2 coefficient therefore remains 720720.

We can now answer the opening question by changing the requested power from 22 to 33. The fourth entry is 1010, two constants remain, and the cube of −3-3 is negative:

10(22)(−3x)3=10×4×(−27)x3=−1080x310(2^2)(-3x)^3 = 10 \times 4 \times (-27)x^3 = -1080x^3

Thus the required coefficient is −1080-1080. You have avoided calculating five other terms.

Exam tip

Write the selected term, including all multipliers and powers, before evaluating it. If the question asks for the coefficient of x3x^3, give the multiplier alone; do not leave x3x^3 in the final answer.

Change the constant and the multiplier of xx, keeping an odd requested power. Check the sign before doing the arithmetic.

Forming equations from coefficients

A coefficient may contain an unknown constant, so equating coefficients gives an equation to solve.

Use only the requested terms. The two expansions need not be equal: a question may state that just one pair of their coefficients matches. For example, equal x2x^2 coefficients do not imply equal constant terms.

Worked example 5: a linear equation in the constant

Question. The expansions of (a+2x)4(a + 2x)^4 and (2+x)3(2 + x)^3 have the same coefficient of x3x^3. Work out aa.

Plan. Select the x3x^3 term in each expansion and equate their coefficients.

first x3 term=4(a)(2x)3=32ax3fourth entry of row 4second x3 term=x3last term of the cube32a=1equate coefficientsa=132divide by 32\begin{aligned} \text{first }x^3\text{ term} &= 4(a)(2x)^3 = 32ax^3 && \text{fourth entry of row }4 \\ \text{second }x^3\text{ term} &= x^3 && \text{last term of the cube} \\ 32a &= 1 && \text{equate coefficients} \\ a &= \frac{1}{32} && \text{divide by }32 \end{aligned}

Why this step? A coefficient is the multiplier of x3x^3. The equation is 32a=132a = 1, so there is no xx left to solve for.

Answer. a=132a = \frac{1}{32}.

Check. The first coefficient becomes 32×132=132 \times \frac{1}{32} = 1, matching the second.

Worked example 6 changes only the power being compared, from x3x^3 to x2x^2. The first coefficient now contains a2a^2, so both signs of aa may work.

Worked example 6: two possible constants

Question. The expansions of (a+2x)4(a + 2x)^4 and (2+x)3(2 + x)^3 have the same coefficient of x2x^2. Work out the possible values of aa.

Plan. Select the x2x^2 terms, equate coefficients and solve the resulting square equation.

first x2 term=6a2(2x)2=24a2x2third entry of row 4second x2 term=3(2)x2=6x2third entry of row 324a2=6equate coefficientsa2=14divide by 24a=12 or a=−12both square roots\begin{aligned} \text{first }x^2\text{ term} &= 6a^2(2x)^2 = 24a^2x^2 && \text{third entry of row }4 \\ \text{second }x^2\text{ term} &= 3(2)x^2 = 6x^2 && \text{third entry of row }3 \\ 24a^2 &= 6 && \text{equate coefficients} \\ a^2 &= \frac14 && \text{divide by }24 \\ a &= \frac12 \text{ or } a = -\frac12 && \text{both square roots} \end{aligned}

Why this step? Squaring erases the sign: both 12\frac12 and −12-\frac12 have square 14\frac14. The word “possible” asks you to retain both.

Answer. a=±12a = \pm\frac12.

Check. For either value, 24a2=24×14=624a^2 = 24 \times \frac14 = 6, as required.

The same approach works when a question relates two coefficients within one expansion: work out each coefficient first, then translate the stated relationship. Respect any condition on the constant. For example, if a≠0a \ne 0, then 12a4=48a212a^4 = 48a^2 gives a2=4a^2 = 4, so a=±2a = \pm2. Dividing by a2a^2 is justified by the nonzero condition. Without that condition, a=0a = 0 would also satisfy the original equation.

Watch out

Wrong: equate 24a2x224a^2x^2 to 66. Either equate the complete terms, 24a2x224a^2x^2 and 6x26x^2, or, more simply, equate their coefficients: 24a2=624a^2 = 6. Do not put xx on just one side.

Keep the same requested power with new numerical multipliers. There are again two possible values, so check both signs.

Quick Recap

  • Power nn uses Pascal row nn, with n+1n + 1 entries. The entries add to 2n2^n.
  • Combine the row with descending powers of the first term and ascending powers of the second.
  • Keep a negative sign and any numerical multiplier inside the power.
  • For one coefficient, calculate just its term. For an unknown constant, equate coefficients and retain every allowed solution.

The opening coefficient is 10×22×(−3)3=−108010 \times 2^2 \times (-3)^3 = -1080, without expanding (2−3x)5(2 - 3x)^5 in full.