You already know how to expand ( 1 + x ) 5 (1 + x)^5 ( 1 + x ) 5 : it’s a polynomial with six terms. But what about ( 1 + x ) − 1 (1 + x)^{-1} ( 1 + x ) − 1 or 1 + x = ( 1 + x ) 1 / 2 \sqrt{1 + x} = (1 + x)^{1/2} 1 + x = ( 1 + x ) 1/2 ? The binomial theorem still works for negative and fractional powers, with one big change: the expansion never stops. It becomes an infinite series , and it’s only valid for small enough x x x . These series give quick, accurate approximations, and they’re a first look at the power series you’ll meet in calculus.
For a positive integer n n n , the binomial expansion of ( 1 + x ) n (1 + x)^n ( 1 + x ) n can be written
( 1 + x ) n = 1 + n x + n ( n − 1 ) 2 ! x 2 + n ( n − 1 ) ( n − 2 ) 3 ! x 3 + … (1 + x)^n = 1 + nx + \frac{n(n - 1)}{2!}x^2 + \frac{n(n - 1)(n - 2)}{3!}x^3 + \dots ( 1 + x ) n = 1 + n x + 2 ! n ( n − 1 ) x 2 + 3 ! n ( n − 1 ) ( n − 2 ) x 3 + …
When n n n is a positive integer, a factor ( n − n ) (n - n) ( n − n ) eventually appears, every later coefficient is 0 0 0 , and the expansion stops after n + 1 n + 1 n + 1 terms. These coefficients are the entries ( n r ) \dbinom{n}{r} ( r n ) of Pascal’s triangle .
The same formula works when n n n is any rational number (n ∈ Q n \in \mathbb{Q} n ∈ Q ), such as n = − 2 n = -2 n = − 2 or n = 1 2 n = \tfrac{1}{2} n = 2 1 . Now no factor is ever zero, so the series goes on forever:
( 1 + x ) n = 1 + n x + n ( n − 1 ) 2 ! x 2 + n ( n − 1 ) ( n − 2 ) 3 ! x 3 + … , ∣ x ∣ < 1 (1 + x)^n = 1 + nx + \frac{n(n - 1)}{2!}x^2 + \frac{n(n - 1)(n - 2)}{3!}x^3 + \dots, \qquad |x| \lt 1 ( 1 + x ) n = 1 + n x + 2 ! n ( n − 1 ) x 2 + 3 ! n ( n − 1 ) ( n − 2 ) x 3 + … , ∣ x ∣ < 1
The coefficient of x r x^r x r is
n ( n − 1 ) ( n − 2 ) ⋯ ( n − r + 1 ) r ! \frac{n(n - 1)(n - 2)\cdots(n - r + 1)}{r!} r ! n ( n − 1 ) ( n − 2 ) ⋯ ( n − r + 1 )
with r r r factors on top. Your GDC’s nCr function usually only accepts whole numbers, so work these coefficients out by hand.
For a negative or fractional n n n , the series only gives the right value (converges) when
∣ x ∣ < 1 , that is, − 1 < x < 1 |x| \lt 1, \quad \text{that is,} \quad -1 \lt x \lt 1 ∣ x ∣ < 1 , that is, − 1 < x < 1
Outside that interval the terms grow instead of shrinking, and adding more of them takes you further from the true value. The graph shows this for ( 1 + x ) − 1 = 1 − x + x 2 − x 3 + … (1 + x)^{-1} = 1 - x + x^2 - x^3 + \dots ( 1 + x ) − 1 = 1 − x + x 2 − x 3 + …
The curve y = 1/(1 + x) with two of its binomial series approximations. Between x = -1 and x = 1 the approximations hug the curve; for x greater than 1 they shoot off upward and downward.
−1
2
3
1
−1
1
2
x = 1
x = −1
series
valid
y = 1/(1 + x)
1 − x + x² − x³ + x⁴
1 − x + x² − x³ + x⁴ − x⁵
Inside − 1 < x < 1 -1 \lt x \lt 1 − 1 < x < 1 the partial sums close in on y = 1 1 + x y = \dfrac{1}{1 + x} y = 1 + x 1 . Outside it, they fly away.
You’ll recognize this particular series: it’s the infinite geometric series with first term 1 1 1 and ratio − x -x − x , which also needs ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 .
The formula needs a 1 1 1 at the front of the bracket. For ( a + b x ) n (a + bx)^n ( a + b x ) n , factor out a a a first:
( a + b x ) n = ( a ( 1 + b x a ) ) n = a n ( 1 + b x a ) n (a + bx)^n = \left(a\left(1 + \frac{bx}{a}\right)\right)^n = a^n\left(1 + \frac{bx}{a}\right)^n ( a + b x ) n = ( a ( 1 + a b x ) ) n = a n ( 1 + a b x ) n
Then expand with b x a \dfrac{bx}{a} a b x in place of x x x . Two things change:
Don’t forget the factor a n a^n a n at the front (for example 4 1 / 2 = 2 4^{1/2} = 2 4 1/2 = 2 or 2 − 3 = 1 8 2^{-3} = \dfrac{1}{8} 2 − 3 = 8 1 ).
The series is valid when ∣ b x a ∣ < 1 \left|\dfrac{bx}{a}\right| \lt 1 a b x < 1 , that is, ∣ x ∣ < ∣ a b ∣ |x| \lt \left|\dfrac{a}{b}\right| ∣ x ∣ < b a .
For ( 1 + b x ) n (1 + bx)^n ( 1 + b x ) n the condition is ∣ b x ∣ < 1 |bx| \lt 1 ∣ b x ∣ < 1 , so ∣ x ∣ < 1 ∣ b ∣ |x| \lt \dfrac{1}{|b|} ∣ x ∣ < ∣ b ∣ 1 . For example, ( 1 − 4 x ) 1 / 2 (1 - 4x)^{1/2} ( 1 − 4 x ) 1/2 is valid for ∣ x ∣ < 1 4 |x| \lt \dfrac{1}{4} ∣ x ∣ < 4 1 .
If x x x is small, the powers x 2 , x 3 , … x^2, x^3, \dots x 2 , x 3 , … get small very fast, so the first few terms give a good approximation. To approximate a number like 1.02 \sqrt{1.02} 1.02 :
Write it as a binomial: 1.02 = ( 1 + 0.02 ) 1 / 2 \sqrt{1.02} = (1 + 0.02)^{1/2} 1.02 = ( 1 + 0.02 ) 1/2 .
Check the value of x x x is inside the interval of validity: ∣ 0.02 ∣ < 1 |0.02| \lt 1 ∣0.02∣ < 1 ✓.
Substitute into the first few terms:
( 1 + x ) 1 / 2 ≈ 1 + 1 2 x − 1 8 x 2 ⇒ 1.02 ≈ 1 + 0.01 − 0.00005 = 1.00995 (1 + x)^{1/2} \approx 1 + \frac{1}{2}x - \frac{1}{8}x^2 \quad\Rightarrow\quad \sqrt{1.02} \approx 1 + 0.01 - 0.00005 = 1.00995 ( 1 + x ) 1/2 ≈ 1 + 2 1 x − 8 1 x 2 ⇒ 1.02 ≈ 1 + 0.01 − 0.00005 = 1.00995
The true value is 1.009950 … 1.009950\ldots 1.009950 … , so three terms already give five correct decimal places. The smaller x x x is, the better the approximation.
These series are examples of power series : infinite polynomials that represent a function on an interval. In calculus you’ll build many more, such as the series for e x e^x e x and ln ( 1 + x ) \ln(1 + x) ln ( 1 + x ) ; see representing functions as power series .
Expand ( 1 + x ) − 2 (1 + x)^{-2} ( 1 + x ) − 2 up to and including the term in x 3 x^3 x 3 , and state the values of x x x for which the expansion is valid.
Solution. Use the formula with n = − 2 n = -2 n = − 2 :
( 1 + x ) − 2 = 1 + ( − 2 ) x + ( − 2 ) ( − 3 ) 2 ! x 2 + ( − 2 ) ( − 3 ) ( − 4 ) 3 ! x 3 + … = 1 − 2 x + 6 2 x 2 − 24 6 x 3 + … = 1 − 2 x + 3 x 2 − 4 x 3 + … \begin{aligned}
(1 + x)^{-2} &= 1 + (-2)x + \frac{(-2)(-3)}{2!}x^2 + \frac{(-2)(-3)(-4)}{3!}x^3 + \dots \\
&= 1 - 2x + \frac{6}{2}x^2 - \frac{24}{6}x^3 + \dots \\
&= 1 - 2x + 3x^2 - 4x^3 + \dots
\end{aligned} ( 1 + x ) − 2 = 1 + ( − 2 ) x + 2 ! ( − 2 ) ( − 3 ) x 2 + 3 ! ( − 2 ) ( − 3 ) ( − 4 ) x 3 + … = 1 − 2 x + 2 6 x 2 − 6 24 x 3 + … = 1 − 2 x + 3 x 2 − 4 x 3 + …
The expansion is valid for ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 .
Check with a small value, x = 0.1 x = 0.1 x = 0.1 : ( 1.1 ) − 2 = 0.826 … (1.1)^{-2} = 0.826\ldots ( 1.1 ) − 2 = 0.826 … , and 1 − 0.2 + 0.03 − 0.004 = 0.826 1 - 0.2 + 0.03 - 0.004 = 0.826 1 − 0.2 + 0.03 − 0.004 = 0.826 ✓.
(a) Expand 1 − 4 x \sqrt{1 - 4x} 1 − 4 x up to and including the term in x 3 x^3 x 3 , and state the interval of validity.
(b) Use your expansion with x = 0.01 x = 0.01 x = 0.01 to approximate 0.96 \sqrt{0.96} 0.96 .
Solution.
(a) 1 − 4 x = ( 1 + ( − 4 x ) ) 1 / 2 \sqrt{1 - 4x} = (1 + (-4x))^{1/2} 1 − 4 x = ( 1 + ( − 4 x ) ) 1/2 , so use n = 1 2 n = \tfrac{1}{2} n = 2 1 with − 4 x -4x − 4 x in place of x x x . Keep − 4 x -4x − 4 x in brackets, because it gets squared and cubed:
( 1 − 4 x ) 1 / 2 = 1 + 1 2 ( − 4 x ) + 1 2 ( − 1 2 ) 2 ! ( − 4 x ) 2 + 1 2 ( − 1 2 ) ( − 3 2 ) 3 ! ( − 4 x ) 3 + … = 1 − 2 x + ( − 1 8 ) ( 16 x 2 ) + ( 1 16 ) ( − 64 x 3 ) + … = 1 − 2 x − 2 x 2 − 4 x 3 + … \begin{aligned}
(1 - 4x)^{1/2} &= 1 + \tfrac{1}{2}(-4x) + \frac{\tfrac{1}{2}\left(-\tfrac{1}{2}\right)}{2!}(-4x)^2 + \frac{\tfrac{1}{2}\left(-\tfrac{1}{2}\right)\left(-\tfrac{3}{2}\right)}{3!}(-4x)^3 + \dots \\
&= 1 - 2x + \left(-\tfrac{1}{8}\right)(16x^2) + \left(\tfrac{1}{16}\right)(-64x^3) + \dots \\
&= 1 - 2x - 2x^2 - 4x^3 + \dots
\end{aligned} ( 1 − 4 x ) 1/2 = 1 + 2 1 ( − 4 x ) + 2 ! 2 1 ( − 2 1 ) ( − 4 x ) 2 + 3 ! 2 1 ( − 2 1 ) ( − 2 3 ) ( − 4 x ) 3 + … = 1 − 2 x + ( − 8 1 ) ( 16 x 2 ) + ( 16 1 ) ( − 64 x 3 ) + … = 1 − 2 x − 2 x 2 − 4 x 3 + …
It’s valid when ∣ − 4 x ∣ < 1 |-4x| \lt 1 ∣ − 4 x ∣ < 1 , that is, ∣ x ∣ < 1 4 |x| \lt \dfrac{1}{4} ∣ x ∣ < 4 1 .
(b) With x = 0.01 x = 0.01 x = 0.01 , 1 − 4 x = 0.96 1 - 4x = 0.96 1 − 4 x = 0.96 , and 0.01 0.01 0.01 is inside the interval of validity:
0.96 ≈ 1 − 2 ( 0.01 ) − 2 ( 0.01 ) 2 − 4 ( 0.01 ) 3 = 1 − 0.02 − 0.0002 − 0.000004 = 0.979796 \sqrt{0.96} \approx 1 - 2(0.01) - 2(0.01)^2 - 4(0.01)^3 = 1 - 0.02 - 0.0002 - 0.000004 = 0.979796 0.96 ≈ 1 − 2 ( 0.01 ) − 2 ( 0.01 ) 2 − 4 ( 0.01 ) 3 = 1 − 0.02 − 0.0002 − 0.000004 = 0.979796
A calculator gives 0.96 = 0.9797959 … \sqrt{0.96} = 0.9797959\ldots 0.96 = 0.9797959 … , so the approximation is correct to 6 6 6 decimal places.
Expand ( 2 + x ) − 3 (2 + x)^{-3} ( 2 + x ) − 3 up to and including the term in x 2 x^2 x 2 . State the interval of validity.
Solution. Factor out 2 2 2 so the bracket starts with 1 1 1 :
( 2 + x ) − 3 = 2 − 3 ( 1 + x 2 ) − 3 = 1 8 ( 1 + x 2 ) − 3 (2 + x)^{-3} = 2^{-3}\left(1 + \frac{x}{2}\right)^{-3} = \frac{1}{8}\left(1 + \frac{x}{2}\right)^{-3} ( 2 + x ) − 3 = 2 − 3 ( 1 + 2 x ) − 3 = 8 1 ( 1 + 2 x ) − 3
Expand with n = − 3 n = -3 n = − 3 and x 2 \dfrac{x}{2} 2 x in place of x x x :
( 1 + x 2 ) − 3 = 1 + ( − 3 ) ( x 2 ) + ( − 3 ) ( − 4 ) 2 ! ( x 2 ) 2 + … = 1 − 3 2 x + 6 ( x 2 4 ) + … = 1 − 3 2 x + 3 2 x 2 + … \begin{aligned}
\left(1 + \frac{x}{2}\right)^{-3} &= 1 + (-3)\left(\frac{x}{2}\right) + \frac{(-3)(-4)}{2!}\left(\frac{x}{2}\right)^2 + \dots \\
&= 1 - \frac{3}{2}x + 6\left(\frac{x^2}{4}\right) + \dots \\
&= 1 - \frac{3}{2}x + \frac{3}{2}x^2 + \dots
\end{aligned} ( 1 + 2 x ) − 3 = 1 + ( − 3 ) ( 2 x ) + 2 ! ( − 3 ) ( − 4 ) ( 2 x ) 2 + … = 1 − 2 3 x + 6 ( 4 x 2 ) + … = 1 − 2 3 x + 2 3 x 2 + …
Multiply by 1 8 \dfrac{1}{8} 8 1 :
( 2 + x ) − 3 = 1 8 − 3 16 x + 3 16 x 2 + … (2 + x)^{-3} = \frac{1}{8} - \frac{3}{16}x + \frac{3}{16}x^2 + \dots ( 2 + x ) − 3 = 8 1 − 16 3 x + 16 3 x 2 + …
It’s valid when ∣ x 2 ∣ < 1 \left|\dfrac{x}{2}\right| \lt 1 2 x < 1 , that is, ∣ x ∣ < 2 |x| \lt 2 ∣ x ∣ < 2 .
Find the coefficient of x 2 x^2 x 2 in the expansion of 3 − x 1 + 2 x \dfrac{3 - x}{\sqrt{1 + 2x}} 1 + 2 x 3 − x , and state when the expansion is valid.
Solution. Write the expression as a product: ( 3 − x ) ( 1 + 2 x ) − 1 / 2 (3 - x)(1 + 2x)^{-1/2} ( 3 − x ) ( 1 + 2 x ) − 1/2 . Expand the second bracket with n = − 1 2 n = -\tfrac{1}{2} n = − 2 1 and 2 x 2x 2 x in place of x x x , up to x 2 x^2 x 2 :
( 1 + 2 x ) − 1 / 2 = 1 + ( − 1 2 ) ( 2 x ) + ( − 1 2 ) ( − 3 2 ) 2 ! ( 2 x ) 2 + … = 1 − x + 3 8 ( 4 x 2 ) + … = 1 − x + 3 2 x 2 + … \begin{aligned}
(1 + 2x)^{-1/2} &= 1 + \left(-\tfrac{1}{2}\right)(2x) + \frac{\left(-\tfrac{1}{2}\right)\left(-\tfrac{3}{2}\right)}{2!}(2x)^2 + \dots \\
&= 1 - x + \tfrac{3}{8}(4x^2) + \dots \\
&= 1 - x + \tfrac{3}{2}x^2 + \dots
\end{aligned} ( 1 + 2 x ) − 1/2 = 1 + ( − 2 1 ) ( 2 x ) + 2 ! ( − 2 1 ) ( − 2 3 ) ( 2 x ) 2 + … = 1 − x + 8 3 ( 4 x 2 ) + … = 1 − x + 2 3 x 2 + …
Now multiply by 3 − x 3 - x 3 − x , collecting only the terms that give x 2 x^2 x 2 :
( 3 − x ) ( 1 − x + 3 2 x 2 + … ) : 3 × 3 2 x 2 + ( − x ) × ( − x ) = 9 2 x 2 + x 2 = 11 2 x 2 (3 - x)\left(1 - x + \tfrac{3}{2}x^2 + \dots\right): \qquad 3 \times \tfrac{3}{2}x^2 + (-x) \times (-x) = \tfrac{9}{2}x^2 + x^2 = \tfrac{11}{2}x^2 ( 3 − x ) ( 1 − x + 2 3 x 2 + … ) : 3 × 2 3 x 2 + ( − x ) × ( − x ) = 2 9 x 2 + x 2 = 2 11 x 2
The coefficient of x 2 x^2 x 2 is 11 2 \dfrac{11}{2} 2 11 . The expansion is valid for ∣ 2 x ∣ < 1 |2x| \lt 1 ∣2 x ∣ < 1 , that is, ∣ x ∣ < 1 2 |x| \lt \dfrac{1}{2} ∣ x ∣ < 2 1 .
Leaving out the interval of validity. For negative or fractional powers, the expansion is only true for some values of x x x . Always state the condition, such as ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 or ∣ x ∣ < 1 4 |x| \lt \dfrac{1}{4} ∣ x ∣ < 4 1 .
Not factoring out a, or forgetting to raise it to the power n. ( 4 − x ) 1 / 2 (4 - x)^{1/2} ( 4 − x ) 1/2 is not 4 ( 1 − x 4 ) 1 / 2 4\left(1 - \dfrac{x}{4}\right)^{1/2} 4 ( 1 − 4 x ) 1/2 . It’s 4 1 / 2 ( 1 − x 4 ) 1 / 2 = 2 ( 1 − x 4 ) 1 / 2 4^{1/2}\left(1 - \dfrac{x}{4}\right)^{1/2} = 2\left(1 - \dfrac{x}{4}\right)^{1/2} 4 1/2 ( 1 − 4 x ) 1/2 = 2 ( 1 − 4 x ) 1/2 .
Not raising the whole term to the power. In ( 1 − 4 x ) 1 / 2 (1 - 4x)^{1/2} ( 1 − 4 x ) 1/2 , the x 2 x^2 x 2 term uses ( − 4 x ) 2 = 16 x 2 (-4x)^2 = 16x^2 ( − 4 x ) 2 = 16 x 2 , not − 4 x 2 -4x^2 − 4 x 2 . Keep the whole term in brackets, including its sign.
Sign slips in the coefficients. With n = − 1 2 n = -\tfrac{1}{2} n = − 2 1 , the factors are − 1 2 -\tfrac{1}{2} − 2 1 , − 3 2 -\tfrac{3}{2} − 2 3 , − 5 2 -\tfrac{5}{2} − 2 5 , and so on: each one is 1 1 1 less than the one before. Write each factor out rather than doing it in your head.
Approximating with an x outside the interval. 3 = ( 1 + 2 ) 1 / 2 \sqrt{3} = (1 + 2)^{1/2} 3 = ( 1 + 2 ) 1/2 looks tempting, but x = 2 x = 2 x = 2 is outside ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 , so the series doesn’t converge to 3 \sqrt{3} 3 at all. Choose a form where x x x is small.
Using the calculator’s nCr button. For fractional or negative n n n , nCr usually gives an error. Work out n ( n − 1 ) ⋯ ( n − r + 1 ) r ! \dfrac{n(n - 1)\cdots(n - r + 1)}{r!} r ! n ( n − 1 ) ⋯ ( n − r + 1 ) by hand.
1. (Warm-up) Expand ( 1 + x ) − 3 (1 + x)^{-3} ( 1 + x ) − 3 up to and including the term in x 3 x^3 x 3 .
Solution ( 1 + x ) − 3 = 1 + ( − 3 ) x + ( − 3 ) ( − 4 ) 2 ! x 2 + ( − 3 ) ( − 4 ) ( − 5 ) 3 ! x 3 + … = 1 − 3 x + 6 x 2 − 10 x 3 + … \begin{aligned}
(1 + x)^{-3} &= 1 + (-3)x + \frac{(-3)(-4)}{2!}x^2 + \frac{(-3)(-4)(-5)}{3!}x^3 + \dots \\
&= 1 - 3x + 6x^2 - 10x^3 + \dots
\end{aligned} ( 1 + x ) − 3 = 1 + ( − 3 ) x + 2 ! ( − 3 ) ( − 4 ) x 2 + 3 ! ( − 3 ) ( − 4 ) ( − 5 ) x 3 + … = 1 − 3 x + 6 x 2 − 10 x 3 + … valid for ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 .
2. (Warm-up) Expand 1 + x 3 \sqrt[3]{1 + x} 3 1 + x up to and including the term in x 2 x^2 x 2 .
Solution Use n = 1 3 n = \tfrac{1}{3} n = 3 1 :
( 1 + x ) 1 / 3 = 1 + 1 3 x + 1 3 ( − 2 3 ) 2 ! x 2 + … = 1 + 1 3 x − 1 9 x 2 + … \begin{aligned}
(1 + x)^{1/3} &= 1 + \tfrac{1}{3}x + \frac{\tfrac{1}{3}\left(-\tfrac{2}{3}\right)}{2!}x^2 + \dots \\
&= 1 + \tfrac{1}{3}x - \tfrac{1}{9}x^2 + \dots
\end{aligned} ( 1 + x ) 1/3 = 1 + 3 1 x + 2 ! 3 1 ( − 3 2 ) x 2 + … = 1 + 3 1 x − 9 1 x 2 + … valid for ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 .
3. (Warm-up) State the values of x x x for which each expansion is valid.
(a) ( 1 − 5 x ) − 2 (1 - 5x)^{-2} ( 1 − 5 x ) − 2
(b) ( 4 + 3 x ) 1 / 2 (4 + 3x)^{1/2} ( 4 + 3 x ) 1/2
Solution (a) Valid when ∣ − 5 x ∣ < 1 |-5x| \lt 1 ∣ − 5 x ∣ < 1 , so ∣ x ∣ < 1 5 |x| \lt \dfrac{1}{5} ∣ x ∣ < 5 1 .
(b) ( 4 + 3 x ) 1 / 2 = 2 ( 1 + 3 x 4 ) 1 / 2 (4 + 3x)^{1/2} = 2\left(1 + \dfrac{3x}{4}\right)^{1/2} ( 4 + 3 x ) 1/2 = 2 ( 1 + 4 3 x ) 1/2 , valid when ∣ 3 x 4 ∣ < 1 \left|\dfrac{3x}{4}\right| \lt 1 4 3 x < 1 , so ∣ x ∣ < 4 3 |x| \lt \dfrac{4}{3} ∣ x ∣ < 3 4 .
4. (Core) Expand 1 1 − 2 x \dfrac{1}{\sqrt{1 - 2x}} 1 − 2 x 1 up to and including the term in x 3 x^3 x 3 , and state the interval of validity.
Solution 1 1 − 2 x = ( 1 + ( − 2 x ) ) − 1 / 2 \dfrac{1}{\sqrt{1 - 2x}} = (1 + (-2x))^{-1/2} 1 − 2 x 1 = ( 1 + ( − 2 x ) ) − 1/2 . Use n = − 1 2 n = -\tfrac{1}{2} n = − 2 1 :
( 1 − 2 x ) − 1 / 2 = 1 + ( − 1 2 ) ( − 2 x ) + ( − 1 2 ) ( − 3 2 ) 2 ! ( − 2 x ) 2 + ( − 1 2 ) ( − 3 2 ) ( − 5 2 ) 3 ! ( − 2 x ) 3 + … = 1 + x + 3 8 ( 4 x 2 ) + ( − 5 16 ) ( − 8 x 3 ) + … = 1 + x + 3 2 x 2 + 5 2 x 3 + … \begin{aligned}
(1 - 2x)^{-1/2} &= 1 + \left(-\tfrac{1}{2}\right)(-2x) + \frac{\left(-\tfrac{1}{2}\right)\left(-\tfrac{3}{2}\right)}{2!}(-2x)^2 + \frac{\left(-\tfrac{1}{2}\right)\left(-\tfrac{3}{2}\right)\left(-\tfrac{5}{2}\right)}{3!}(-2x)^3 + \dots \\
&= 1 + x + \tfrac{3}{8}(4x^2) + \left(-\tfrac{5}{16}\right)(-8x^3) + \dots \\
&= 1 + x + \tfrac{3}{2}x^2 + \tfrac{5}{2}x^3 + \dots
\end{aligned} ( 1 − 2 x ) − 1/2 = 1 + ( − 2 1 ) ( − 2 x ) + 2 ! ( − 2 1 ) ( − 2 3 ) ( − 2 x ) 2 + 3 ! ( − 2 1 ) ( − 2 3 ) ( − 2 5 ) ( − 2 x ) 3 + … = 1 + x + 8 3 ( 4 x 2 ) + ( − 16 5 ) ( − 8 x 3 ) + … = 1 + x + 2 3 x 2 + 2 5 x 3 + … Valid for ∣ − 2 x ∣ < 1 |-2x| \lt 1 ∣ − 2 x ∣ < 1 , that is, ∣ x ∣ < 1 2 |x| \lt \dfrac{1}{2} ∣ x ∣ < 2 1 .
5. (Core)
(a) Expand 4 − x \sqrt{4 - x} 4 − x up to and including the term in x 2 x^2 x 2 , and state the interval of validity.
(b) Use your expansion to approximate 3.96 \sqrt{3.96} 3.96 .
Solution (a) Factor out 4 4 4 :
4 − x = 4 1 / 2 ( 1 − x 4 ) 1 / 2 = 2 ( 1 − x 4 ) 1 / 2 \sqrt{4 - x} = 4^{1/2}\left(1 - \frac{x}{4}\right)^{1/2} = 2\left(1 - \frac{x}{4}\right)^{1/2} 4 − x = 4 1/2 ( 1 − 4 x ) 1/2 = 2 ( 1 − 4 x ) 1/2 ( 1 − x 4 ) 1 / 2 = 1 + 1 2 ( − x 4 ) + 1 2 ( − 1 2 ) 2 ! ( − x 4 ) 2 + … = 1 − x 8 − x 2 128 + … \begin{aligned}
\left(1 - \frac{x}{4}\right)^{1/2} &= 1 + \tfrac{1}{2}\left(-\frac{x}{4}\right) + \frac{\tfrac{1}{2}\left(-\tfrac{1}{2}\right)}{2!}\left(-\frac{x}{4}\right)^2 + \dots \\
&= 1 - \frac{x}{8} - \frac{x^2}{128} + \dots
\end{aligned} ( 1 − 4 x ) 1/2 = 1 + 2 1 ( − 4 x ) + 2 ! 2 1 ( − 2 1 ) ( − 4 x ) 2 + … = 1 − 8 x − 128 x 2 + … So
4 − x = 2 − x 4 − x 2 64 + … , ∣ x ∣ < 4 \sqrt{4 - x} = 2 - \frac{x}{4} - \frac{x^2}{64} + \dots, \qquad |x| \lt 4 4 − x = 2 − 4 x − 64 x 2 + … , ∣ x ∣ < 4 (b) 3.96 = 4 − 0.04 3.96 = 4 - 0.04 3.96 = 4 − 0.04 , so use x = 0.04 x = 0.04 x = 0.04 (inside ∣ x ∣ < 4 |x| \lt 4 ∣ x ∣ < 4 ):
3.96 ≈ 2 − 0.01 − 0.0016 64 = 2 − 0.01 − 0.000025 = 1.989975 \sqrt{3.96} \approx 2 - 0.01 - \frac{0.0016}{64} = 2 - 0.01 - 0.000025 = 1.989975 3.96 ≈ 2 − 0.01 − 64 0.0016 = 2 − 0.01 − 0.000025 = 1.989975 (A calculator gives 1.9899748 … 1.9899748\ldots 1.9899748 … )
6. (Core) Use the first three terms of the expansion of ( 1 + x ) 1 / 2 (1 + x)^{1/2} ( 1 + x ) 1/2 to approximate 1.02 \sqrt{1.02} 1.02 . Hence approximate 102 \sqrt{102} 102 .
Solution ( 1 + x ) 1 / 2 = 1 + 1 2 x − 1 8 x 2 + … (1 + x)^{1/2} = 1 + \tfrac{1}{2}x - \tfrac{1}{8}x^2 + \dots ( 1 + x ) 1/2 = 1 + 2 1 x − 8 1 x 2 + … for ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 . With x = 0.02 x = 0.02 x = 0.02 :
1.02 ≈ 1 + 0.01 − 1 8 ( 0.0004 ) = 1 + 0.01 − 0.00005 = 1.00995 \sqrt{1.02} \approx 1 + 0.01 - \tfrac{1}{8}(0.0004) = 1 + 0.01 - 0.00005 = 1.00995 1.02 ≈ 1 + 0.01 − 8 1 ( 0.0004 ) = 1 + 0.01 − 0.00005 = 1.00995 Since 102 = 100 × 1.02 102 = 100 \times 1.02 102 = 100 × 1.02 ,
102 = 10 1.02 ≈ 10.0995 \sqrt{102} = 10\sqrt{1.02} \approx 10.0995 102 = 10 1.02 ≈ 10.0995 (A calculator gives 10.099505 … 10.099505\ldots 10.099505 … )
7. (Core) Find the term in x 3 x^3 x 3 in the expansion of ( 2 − x ) − 2 (2 - x)^{-2} ( 2 − x ) − 2 .
Solution ( 2 − x ) − 2 = 2 − 2 ( 1 − x 2 ) − 2 = 1 4 ( 1 − x 2 ) − 2 (2 - x)^{-2} = 2^{-2}\left(1 - \frac{x}{2}\right)^{-2} = \frac{1}{4}\left(1 - \frac{x}{2}\right)^{-2} ( 2 − x ) − 2 = 2 − 2 ( 1 − 2 x ) − 2 = 4 1 ( 1 − 2 x ) − 2 The x 3 x^3 x 3 term inside the bracket uses n = − 2 n = -2 n = − 2 , r = 3 r = 3 r = 3 :
( − 2 ) ( − 3 ) ( − 4 ) 3 ! ( − x 2 ) 3 = ( − 4 ) ( − x 3 8 ) = x 3 2 \frac{(-2)(-3)(-4)}{3!}\left(-\frac{x}{2}\right)^3 = (-4)\left(-\frac{x^3}{8}\right) = \frac{x^3}{2} 3 ! ( − 2 ) ( − 3 ) ( − 4 ) ( − 2 x ) 3 = ( − 4 ) ( − 8 x 3 ) = 2 x 3 Multiply by 1 4 \dfrac{1}{4} 4 1 : the term in x 3 x^3 x 3 is 1 8 x 3 \dfrac{1}{8}x^3 8 1 x 3 .
8. (Challenge) The expansion of ( 1 + a x ) n (1 + ax)^n ( 1 + a x ) n begins 1 − 6 x + 27 x 2 + … 1 - 6x + 27x^2 + \dots 1 − 6 x + 27 x 2 + … , where a a a and n n n are constants.
(a) Find a a a and n n n .
(b) Find the coefficient of x 3 x^3 x 3 .
(c) State the interval of validity.
Solution (a) Compare coefficients:
n a = − 6 and n ( n − 1 ) 2 a 2 = 27 na = -6 \qquad\text{and}\qquad \frac{n(n - 1)}{2}a^2 = 27 na = − 6 and 2 n ( n − 1 ) a 2 = 27 From the first, a 2 = 36 n 2 a^2 = \dfrac{36}{n^2} a 2 = n 2 36 . Substitute into the second:
n ( n − 1 ) 2 ⋅ 36 n 2 = 27 18 ( n − 1 ) n = 27 18 n − 18 = 27 n n = − 2 \begin{aligned}
\frac{n(n - 1)}{2} \cdot \frac{36}{n^2} &= 27 \\
\frac{18(n - 1)}{n} &= 27 \\
18n - 18 &= 27n \\
n &= -2
\end{aligned} 2 n ( n − 1 ) ⋅ n 2 36 n 18 ( n − 1 ) 18 n − 18 n = 27 = 27 = 27 n = − 2 Then a = − 6 − 2 = 3 a = \dfrac{-6}{-2} = 3 a = − 2 − 6 = 3 .
(b) With n = − 2 n = -2 n = − 2 and 3 x 3x 3 x in place of x x x :
( − 2 ) ( − 3 ) ( − 4 ) 3 ! ( 3 x ) 3 = ( − 4 ) ( 27 x 3 ) = − 108 x 3 \frac{(-2)(-3)(-4)}{3!}(3x)^3 = (-4)(27x^3) = -108x^3 3 ! ( − 2 ) ( − 3 ) ( − 4 ) ( 3 x ) 3 = ( − 4 ) ( 27 x 3 ) = − 108 x 3 The coefficient of x 3 x^3 x 3 is − 108 -108 − 108 .
(c) Valid for ∣ 3 x ∣ < 1 |3x| \lt 1 ∣3 x ∣ < 1 , that is, ∣ x ∣ < 1 3 |x| \lt \dfrac{1}{3} ∣ x ∣ < 3 1 .
9. (Challenge)
(a) Show that, for small x x x , 1 + x 1 − x ≈ 1 + x + 1 2 x 2 \sqrt{\dfrac{1 + x}{1 - x}} \approx 1 + x + \dfrac{1}{2}x^2 1 − x 1 + x ≈ 1 + x + 2 1 x 2 .
(b) By choosing x = 1 9 x = \dfrac{1}{9} x = 9 1 , use part (a) to find a fraction that approximates 5 \sqrt{5} 5 . How close is it?
Solution (a) Write it as a product of two binomials, both valid for ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 :
1 + x 1 − x = ( 1 + x ) 1 / 2 ( 1 − x ) − 1 / 2 \sqrt{\frac{1 + x}{1 - x}} = (1 + x)^{1/2}(1 - x)^{-1/2} 1 − x 1 + x = ( 1 + x ) 1/2 ( 1 − x ) − 1/2 ( 1 + x ) 1 / 2 = 1 + 1 2 x − 1 8 x 2 + … (1 + x)^{1/2} = 1 + \tfrac{1}{2}x - \tfrac{1}{8}x^2 + \dots ( 1 + x ) 1/2 = 1 + 2 1 x − 8 1 x 2 + … ( 1 − x ) − 1 / 2 = 1 + ( − 1 2 ) ( − x ) + ( − 1 2 ) ( − 3 2 ) 2 ! ( − x ) 2 + ⋯ = 1 + 1 2 x + 3 8 x 2 + … (1 - x)^{-1/2} = 1 + \left(-\tfrac{1}{2}\right)(-x) + \frac{\left(-\tfrac{1}{2}\right)\left(-\tfrac{3}{2}\right)}{2!}(-x)^2 + \dots = 1 + \tfrac{1}{2}x + \tfrac{3}{8}x^2 + \dots ( 1 − x ) − 1/2 = 1 + ( − 2 1 ) ( − x ) + 2 ! ( − 2 1 ) ( − 2 3 ) ( − x ) 2 + ⋯ = 1 + 2 1 x + 8 3 x 2 + … Multiply, keeping terms up to x 2 x^2 x 2 :
1 + ( 1 2 + 1 2 ) x + ( 3 8 + 1 4 − 1 8 ) x 2 = 1 + x + 1 2 x 2 \begin{aligned}
&1 + \left(\tfrac{1}{2} + \tfrac{1}{2}\right)x + \left(\tfrac{3}{8} + \tfrac{1}{4} - \tfrac{1}{8}\right)x^2 \\
&= 1 + x + \tfrac{1}{2}x^2
\end{aligned} 1 + ( 2 1 + 2 1 ) x + ( 8 3 + 4 1 − 8 1 ) x 2 = 1 + x + 2 1 x 2 (b) With x = 1 9 x = \dfrac{1}{9} x = 9 1 :
1 + 1 9 1 − 1 9 = 10 / 9 8 / 9 = 5 4 = 5 2 \sqrt{\frac{1 + \frac{1}{9}}{1 - \frac{1}{9}}} = \sqrt{\frac{10/9}{8/9}} = \sqrt{\frac{5}{4}} = \frac{\sqrt{5}}{2} 1 − 9 1 1 + 9 1 = 8/9 10/9 = 4 5 = 2 5 So
5 2 ≈ 1 + 1 9 + 1 2 ⋅ 1 81 = 162 + 18 + 1 162 = 181 162 \frac{\sqrt{5}}{2} \approx 1 + \frac{1}{9} + \frac{1}{2}\cdot\frac{1}{81} = \frac{162 + 18 + 1}{162} = \frac{181}{162} 2 5 ≈ 1 + 9 1 + 2 1 ⋅ 81 1 = 162 162 + 18 + 1 = 162 181 and 5 ≈ 181 81 = 2.2346 … \sqrt{5} \approx \dfrac{181}{81} = 2.2346\ldots 5 ≈ 81 181 = 2.2346 … The true value is 5 = 2.2361 … \sqrt{5} = 2.2361\ldots 5 = 2.2361 … , so the approximation is out by only about 0.0015 0.0015 0.0015 .