Pure 4.1 - Binomial expansion
A bracket raised to a power can hide a long polynomial, a square root or a reciprocal. You will use binomial coefficients to uncover its terms, extend the method to rational powers, and decide when a truncated expansion gives a sensible approximation. You will also combine expansions after partial-fraction decomposition.
Positive integer powers and coefficients
How can a few fractions give a useful approximation to ? We will get there by first understanding something simpler: why does expanding produce ?
You already know
Multiplying brackets means choosing one term from each bracket and adding the resulting products. Index laws give , including the sign of .
In three brackets, there are three ways to choose exactly one , and three ways to choose exactly two. Those counts create the two coefficients .
Binomial coefficient
For integers and ,
counts the ways to choose objects from . Here and . For example, ; is outside this counting definition.
The same count appears in binomial probability: it counts which of trials are successes. In algebra, it counts which brackets supply the second term. Pascal's triangle builds these counts without factorials.
| Coefficients of | |
|---|---|
Each inner entry is the sum of the two above it: . Choosing objects is equivalent to choosing the objects left out, so . This explains the symmetry.
Positive integer binomial expansion
For a positive integer ,
The sum means add the terms for . It stops after terms and is valid for every real .
In the formula booklet.
An unexpected consequence is that the entries in row add to : put . The row therefore totals , not an accidental pattern.
Worked example 1: keeping the negative term in brackets
Question. Expand .
Plan. Use the fourth Pascal row, keeping together in every power.
Why this step? Bracketing the whole negative term makes the signs alternate correctly.
Answer. .
Check. At , the bracket gives , and the polynomial gives .
Change only the sign of the second term. The coefficients have the same magnitudes, but all the terms are now positive.
Worked example 2: a positive second term
Question. Expand .
Plan. Use the same row with in place of .
Why this step? The coefficient of includes , as well as the Pascal entry .
Answer. .
Check. At , the coefficients total .
The Pascal row counts choices; it does not replace the powers of the bracket's terms.
Watch out
The line is wrong. Each coefficient also needs the appropriate powers of and .
Try the same expansion with a new second coefficient.
Finding a particular term efficiently
If you want one coefficient, expanding everything creates unnecessary work. For example, in , only the choice of three second terms can produce .
A specified term
For positive integer , the term containing in is
Its coefficient is . This is the corresponding term of the supplied binomial theorem.
In the formula booklet.
Term numbers start at , while powers start at . The fourth term contains , not .
Worked example 3: finding a term without expanding
Question. Find the term in in .
Plan. Set in the general term.
Why this step? Choosing selects three factors containing .
Answer. The term is ; its coefficient is .
Check. An odd power of makes the coefficient negative.
Now change only the requested power. This also changes which power of remains.
Worked example 4: changing the requested coefficient
Question. Find the coefficient of in .
Plan. Use , then omit from the final coefficient.
Why this step? A coefficient is the numerical multiplier, so the final answer does not include .
Answer. .
Check. The powers chosen from the brackets total .
The same method lets you form an equation if a coefficient contains an unknown parameter.
Watch out
Using for the term in selects the wrong power. The fifth term uses , because the constant is the first term.
Keep the requested power fixed and change the bracket's numbers.
Rational powers and infinite series
A square root cannot usually equal a finite polynomial. Instead, begins , with further terms continuing indefinitely.
Rational binomial expansion
For rational outside the non-negative integers,
Use this expansion when . This sufficient range is the one required here; endpoint behaviour needs separate analysis and is not assumed.
In the formula booklet.
To expand about , first write . Take for a real non-integer power, so this factorisation stays on the usual real branch. A negative integer power needs . The whole inner expression replaces .
Worked example 5: factoring before a square-root expansion
Question. Expand through .
Plan. Factor out , then use and .
Why this step? The supplied series starts with inside the bracket, so the outside factor is essential.
Answer. , for .
Check. Squaring the displayed polynomial gives with zero coefficients of and , as required.
Change only the exponent, from to . The outer factor and the signs must both be recomputed.
Worked example 6: a reciprocal square root
Question. Expand through .
Plan. Use and the coefficients .
Why this step? The sign belongs to as well as to the coefficient , so the linear term is positive.
Answer. , for .
Check. Multiplying this series by the square-root series in Example 5 gives constant and zero coefficients of , and , as reciprocal factors should.
The coefficient of is ; it is not .
Watch out
Factoring gives an outside factor , not . Apply the original exponent to the constant too.
Use new constants with the same reciprocal-root exponent.
Validity and approximation
For , choosing produces the in our opening question. Here the small quantity is , not ; that distinction makes the approximation work.
Validity after factoring
For the infinite binomial expansion about , write
with the real-power conditions stated above. Its required validity condition is
For , this gives . The general condition is supplied; you must identify yourself.
Not in the formula booklet: learn it.
Validity and accuracy are different. Inside the interval, the full series represents the function; a short truncation is still only approximate. Smaller usually makes the first few terms more useful. A positive integer power gives an exact finite polynomial, with no convergence restriction. For exponent , the expression is the constant wherever the original power is defined; it does not require an infinite expansion.
Worked example 7: approximating a square root
Question. Use the first four terms of to approximate .
Plan. Expand in powers of , check , then substitute.
Why this step? , so the substitution lies within .
Answer. using the stated truncation.
Check. The calculator value is ; the absolute error is about .
Change only the target, from to . The inner quantity is now smaller, so expect a better approximation from the same number of terms.
Worked example 8: a smaller substitution
Question. Use the same four terms to approximate .
Plan. Set and check the inner expression.
Why this step? We solve ; using would approximate a different root.
Answer. .
Check. The calculator gives , an error of about .
A calculator check measures this particular error; it does not prove a general error bound.
Watch out
The equation is false in general. Use after omitting the remaining terms, or retain for the full series.
Choose another target, and justify the substitution before calculating.
Expanding rational functions after decomposition
A complicated denominator may hide two easy reciprocal expansions. Partial fractions expose them. Both expansions must be valid at the chosen , so their validity intervals must overlap.
You already know
For distinct linear factors, . Multiplying through by the denominator gives an identity you can use to find and .
The exponent is a rational exponent. Its binomial series is , valid for .
Worked example 9: decomposing before expanding
Question. Expand through , and state its validity interval.
Plan. Decompose, expand each reciprocal, then intersect the ranges.
Why this step? A product denominator does not permit adding separate reciprocal expansions until the partial-fraction identity has been established.
Answer. Adding like powers gives
Check. At , the function gives , matching the constant term. Recombining the partial fractions gives the original numerator.
Change only the numerator. The two denominators, and hence the common validity interval, stay the same.
Worked example 10: the same poles with new coefficients
Question. Expand through , stating the interval.
Plan. Find new partial-fraction constants, using the same reciprocal series.
Why this step? A new numerator changes the coefficients, but the two unchanged inner expressions still impose and .
Answer. , for .
Check. Multiplying the truncated series by gives with zero coefficient.
The narrower interval controls the combined expansion.
Watch out
Combining and gives , not . Both component series must converge at once.
Keep the denominators and change the numerator again.
Choosing the expansion and its validity range
Choosing the right expansion includes choosing which restrictions belong to which factor. In a product, a finite polynomial contributes no convergence restriction; an infinite series does. Terms of the same final degree can come from different factors, so collect every contribution.
| Expression | Useful first step | Required range |
|---|---|---|
| , non-negative integer | finite theorem or one general term | all real for positive ; original domain for |
| , rational outside the non-negative integers | factor to | $ |
| sum of partial fractions | expand each simple fraction | common interval |
| polynomial times an infinite series | retain all products of the requested degree | the infinite factor's interval |
Worked example 11: combining a polynomial and an infinite expansion
Question. Find the coefficient of in , and state the validity interval.
Plan. Expand each factor only through and collect products of total degree two.
Why this step? Multiplying just the two terms would produce , not .
Answer. The coefficient is , for .
Check. The constant is , and the linear coefficient is , consistent with multiplying the first two terms.
Change only the coefficient inside the finite bracket. The rational-power expansion and its range stay fixed.
Worked example 12: collecting cross terms
Question. Find the coefficient of in , and state the interval.
Plan. Replace the polynomial by .
Why this step? The cross product is a separate contribution to the requested coefficient.
Answer. , with .
Check. Increasing the bracket coefficient from to increases the coefficient by , matching the extra cross and quadratic contributions.
We can now answer the opening question: factoring turns the square root into a series in a small quantity. The first four terms give for , and the validity check explains why that substitution is legitimate.
Exam tip
Show the inner expression and its inequality. Writing only “valid for small ” does not give the requested interval, and a truncated polynomial is an approximation rather than an exact identity.
Try one last change to the finite bracket.
Quick Recap
- Binomial coefficients count choices; Pascal's triangle gives their symmetry and adjacent-sum pattern.
- A specified coefficient uses the general term, with power in term .
- For a rational power, factor to , keep the outside factor, and require .
- Combine validity intervals and collect every product of the requested degree.
- Truncating an infinite expansion gives an approximation.
The opening square root is accessible because ; four terms give .