Navigation

Taylor Polynomials

9.6 Error in Taylor polynomials

14 problems · hints, answers and solutions shown beside each one

Stage 1 · Conceptual

Q1Stage 1

Suppose f(x)f(x) is a function that we approximated by F(x)F(x). Further, suppose f(10)=3f(10)=-3, while our approximation was F(10)=5F(10)=5. Let R(x)=f(x)F(x)R(x)=f(x)-F(x).

  1. True or false: R(10)7|R(10)| \leq 7

  2. True or false: R(10)8|R(10)| \leq 8

  3. True or false: R(10)9|R(10)| \leq 9

  4. True or false: R(10)100|R(10)| \leq 100

Hint

R(10)=f(10)F(10)=35R(10)=f(10)-F(10)=-3-5

Answer

(a) False (b) True (c) True (d) True

Full solution

From the given information,

R(10)=f(10)F(10)=35=8=8|R(10)|=|f(10)-F(10)|=|-3-5|=|-8|=8

So, (a) is false (since 8 is not less than or equal to 7), while (b), (c), and (d) are true.

Remark: R(x)R(x) is the error in our approximation. As mentioned in the text, we almost never know RR exactly, but we can give a bound. We don't need the tightest bound–just a reasonable one that is easy to calculate. If we were dealing with real functions and approximations, we might not know that R(10)=8|R(10)|=8, but if we knew it was at most 9, that would be a pretty decent approximation.

Often in this section, we will make simplifying assumptions to get a bound that is easy to calculate. But, don't go overboard! It is a true statement to say that our absolute error is at most 100, but this statement would probably not be very helpful as a bound.

Q2Stage 1

Let f(x)=exf(x)=e^x, and let T3(x)T_3(x) be the third-degree Maclaurin polynomial for f(x)f(x),

T3(x)=1+x+12x2+13!x3T_3(x)=1+x+\frac{1}{2}x^2+\frac{1}{3!}x^3

Use Equation 9.6.5 to give a reasonable bound on the error f(2)T3(2)|f(2)-T_3(2)|. Then, find the error f(2)T3(2)|f(2)-T_3(2)| using a calculator.

Hint

Equation 9.6.5 tells us

f(2)T3(2)=f(4)(c)4!(20)4|f(2)-T_3(2)| = \left|\frac{f^{(4)}(c)}{4!}(2-0)^4\right|

for some cc strictly between 0 and 2.

Answer

Equation 9.6.5 gives us the bound f(2)T3(2)<6|f(2)-T_3(2)|<6. A calculator tells us actually f(2)T3(2)1.056|f(2)-T_3(2)|\approx 1.056.

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=3n=3, a=0a=0, x=2x=2, and f(4)(c)=ecf^{(4)}(c)=e^c, so

f(2)T3(2)=f(4)(c)4!(20)4=244!ec=23ec\begin{align*}|f(2)-T_3(2)| &= \left|\frac{f^{(4)}(c)}{4!}(2-0)^4\right|\\ &=\frac{2^4}{4!}e^c=\frac{2}{3}e^c\end{align*}

Since cc is strictly between 0 and 2, ec<e2e^c < e^2:

23e2\begin{align*}&\leq \frac{2}{3}e^2\end{align*}

but this isn't a number we really know. Indeed: e2e^2 is the very number we're trying to approximate. So, we use the estimation e<3e < 3:

<2332=6\begin{align*}&< \frac{2}{3}\cdot 3^2 =6\end{align*}

We conclude that the error f(2)T3(2)|f(2)-T_3(2)| is less than 6.

Now we'll get a more exact idea of the error using a calculator. (Calculators will also only give approximations of numbers like ee, but they are generally very good approximations.)

f(2)T3(2)=e2(1+2+1222+13!23)=e2(1+2+2+43)=e21931.056\begin{align*} |f(2)-T_3(2)|&=\left|e^2-\left(1+2+\frac{1}{2}\cdot2^2+\frac{1}{3!}\cdot2^3\right)\right|\\ &=\left|e^2-\left(1+2+2+\frac{4}{3}\right)\right|\\ &=\left|e^2-\frac{19}{3}\right| \approx 1.056 \end{align*}

So, our actual answer was only off by about 1.

Remark: 1<61<6, so this does not in any way contradict our bound f(2)T3(2)<6|f(2)-T_3(2)|<6.

Q3Stage 1

Let f(x)=5x324x2+exπ4f(x)= 5x^3-24x^2+ex-\pi^4, and let T5(x)T_5(x) be the fifth-degree Taylor polynomial for f(x)f(x) about x=1x=1. Give the best bound you can on the error f(37)T(37)|f(37)-T(37)|.

Hint

You are approximating a third-degree polynomial with a fifth-degree Taylor polynomial. You should be able to tell how good your approximation will be without a long calculation.

Answer

f(37)T(37)=0|f(37)-T(37)|=0

Full solution

Whenever you approximate a polynomial with a Taylor polynomial of greater or equal degree, your Taylor polynomial is exactly the same as the function you are approximating. So, the error is zero.

Q4Stage 1

You and your friend both want to approximate sin(33)\sin(33). Your friend uses the first-degree Maclaurin polynomial for f(x)=sinxf(x)=\sin x, while you use the zeroth-degree (constant) Maclaurin polynomial for f(x)=sinxf(x)=\sin x. Who has a better approximation, you or your friend?

Hint

Draw a picture–it should be clear how the two approximations behave.

Answer

You do, you clever goose!

Full solution

The constant approximation gives

sin(33)sin(0)=0\begin{align*}\sin(33)&\approx \sin (0)=0\end{align*}

while the linear approximation gives

f(x)f(0)+f(0)xsin(x)sin(0)+cos(0)x=xsin(33)33\begin{align*}f(x)&\approx f(0)+f'(0)x\\ \sin(x)& \approx \sin (0)+\cos(0) x\\&= x\\ \sin(33)&\approx 33\end{align*}

Since 1sin(33)1-1 \leq \sin(33)\leq 1, the constant approximation is better. (But both are a little silly.)

Figure from prob_s3.4.8, line 1

Figure from prob_s3.4.8, line 1

Stage 2 · Procedural

Q5Stage 2

Suppose a function f(x)f(x) has sixth derivative

f(6)(x)=6!(2x5)x+3.f^{(6)}(x)=\dfrac{6!(2x-5)}{x+3}.

Let T5(x)T_5(x) be the 5th-degree Taylor polynomial for f(x)f(x) about x=11x=11.

Give a bound for the error f(11.5)T5(11.5)|f(11.5)-T_5(11.5)|.

Hint

In this case, Equation 9.6.5 tells us that

f(11.5)T5(11.5)=f(6)(c)6!(11.511)6\left|f(11.5)-T_5(11.5)\right| = \left|\dfrac{f^{(6)}(c)}{6!}(11.5-11)^{6}\right|

for some cc strictly between 11 and 11.5.

Answer

f(11.5)T5(11.5)<9726<0.02|f(11.5)-T_5(11.5)|<\dfrac{9}{7\cdot 2^6}<0.02

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=5n=5, a=11a=11, x=11.5x=11.5, and f(6)(c)=6!(2c5)c+3f^{(6)}(c)=\dfrac{6!(2c-5)}{c+3}.

f(11.5)T5(11.5)=16!(6!(2c5)c+3)(11.511)6=2c5c+3126\begin{align*}\left|f(11.5)-T_5(11.5)\right|& = \left|\dfrac{1}{6!}\left(\dfrac{6!(2c-5)}{c+3}\right)(11.5-11)^{6}\right|\\ & = \left|\dfrac{2c-5}{c+3}\right|\cdot\frac{1}{2^6}\end{align*}

for some cc in (11,11.5)(11,11.5). We don't know exactly which cc this is true for, but since we know that cc lies in (11,11.5)(11,11.5), we can provide bounds.

  • 2c5<2(11.5)5=182c-5 < 2(11.5)-5=18

  • c+3>11+3=14c+3 > 11+3=14

  • Therefore, 2c5c+3=2c5c+3<1814=97\left|\dfrac{2c-5}{c+3}\right|=\dfrac{2c-5}{c+3}<\dfrac{18}{14}=\dfrac{9}{7} when c(11,11.5)c \in (11,11.5).

With this bound, we see

f(11.5)T5(11.5)=2c5c+3126<(97)(126)0.0201\begin{align*} |f(11.5)-T_5(11.5)| &= \left|\dfrac{2c-5}{c+3}\right|\cdot\frac{1}{2^6}\\ &<\left(\frac{9}{7}\right)\left(\frac{1}{ 2^6}\right)\approx 0.0201 \end{align*}

Our error is less than 0.02.

Q6Stage 2

Let f(x)=tanxf(x)= \tan x, and let T2(x)T_2(x) be the second-degree Taylor polynomial for f(x)f(x) about x=0x=0. Give a reasonable bound on the error f(0.1)T(0.1)|f(0.1)-T(0.1)| using Equation 9.6.5.

Hint

In this case, Equation 9.6.5 tells us that f(0.1)T2(0.1)=f(3)(c)3!(0.10)3\left|f(0.1)-T_2(0.1)\right| = \left|\dfrac{f^{(3)}(c)}{3!}(0.1-0)^{3}\right| for some cc strictly between 0 and 0.1.

Answer

f(0.1)T2(0.1)<11125\left|f(0.1)-T_2(0.1)\right| < \dfrac{1}{1125}

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=2n=2, a=0a=0, and x=0.1x=0.1, so

f(0.1)T2(0.1)=f(3)(c)3!(0.10)3=f(c)6000\begin{align*}\left|f(0.1)-T_2(0.1)\right| &= \left|\frac{f^{(3)}(c)}{3!}(0.1-0)^{3}\right|\\ &=\frac{\left|f'''(c)\right|}{6000}\end{align*}

for some cc in (0,0.1)(0,0.1).

We will find f(x)f'''(x), and use it to give an upper bound for

f(0.1)T2(0.1)=f(c)6000\left|f(0.1)-T_2(0.1)\right|=\dfrac{\left|f'''(c)\right|}{6000}

when cc is in (0,0.1)(0,0.1).

f(x)=tanxf(x)=sec2xf(x)=2secxsecxtanx=2sec2xtanxf(x)=(2sec2x)sec2x+(4secxsecxtanx)tanx=2sec4x+4sec2xtan2x\begin{align*} f(x)&=\tan x\\ f'(x)&=\sec^2 x\\ f''(x)&=2\sec x \cdot \sec x \tan x\\ &=2\sec^2 x \tan x\\ f'''(x)&=\left(2\sec^2x\right)\sec^2 x+ \left(4\sec x \cdot \sec x \tan x\right)\tan x\\ &=2\sec^4 x + 4 \sec^2 x \tan ^2 x \end{align*}

When 0<c<1100 < c < \dfrac{1}{10}, also 0<c<π60 < c < \dfrac{\pi}{6}, so:

  • tanc<tan(π6)=13\tan c < \tan\left(\dfrac{\pi}{6}\right)=\dfrac{1}{\sqrt{3}}

  • cosc>cos(π6)=32\cos c >\cos\left(\dfrac{\pi}{6}\right)=\dfrac{\sqrt{3}}{2}

  • secc<23\sec c < \dfrac{2}{\sqrt{3}}

With these bounds in mind for secant and tangent, we return to the expression we found for our error.

f(0.1)T2(0.1)=f(c)6000=2sec4x+4sec2xtan2x6000<2(23)4+4(23)2(13)26000=11125\begin{align*} \left|f(0.1)-T_2(0.1)\right| &=\frac{\left|f'''(c)\right|}{6000}= \frac{\left|2\sec^4 x + 4 \sec^2 x \tan ^2 x\right|}{6000}\\ &< \frac{2\left(\frac{2}{\sqrt{3}}\right)^4+4\left(\frac{2}{\sqrt{3}}\right)^2\left(\frac{1}{\sqrt{3}}\right)^2}{6000}\\ &=\frac{1}{1125} \end{align*}

The error is less than 11125\dfrac{1}{1125}.

Q7Stage 2

Let f(x)=log(1x)f(x)=\log (1-x), and let T5(x)T_5(x) be the fifth-degree Maclaurin polynomial for f(x)f(x). Use Equation 9.6.5 to give a bound on the error f(14)T5(14)|f\left(-\frac{1}{4}\right)-T_5\left(-\frac{1}{4}\right)|.

(Remember logx=logex\log x=\log_ex, the natural logarithm of xx.)

Hint

In our case, Equation 9.6.5 tells us

f(14)T5(14)=f(6)(c)6!(140)6\left|f\left(-\dfrac{1}{4}\right)-T_5\left(-\dfrac{1}{4}\right)\right| = \left|\dfrac{f^{(6)}(c)}{6!}\left(-\dfrac{1}{4}-0\right)^6\right|

for some cc between 14-\dfrac{1}{4} and 0.

Answer

f(14)T5(14)<1646<0.00004\left|f\left(-\dfrac{1}{4}\right)-T_5\left(-\dfrac{1}{4}\right)\right| < \dfrac{1}{6\cdot 4^6}<0.00004

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=5n=5, a=0a=0, and x=14x=-\dfrac{1}{4}, so

f(14)T5(14)=f(6)(c)6!(140)6=f(6)(c)6!46\begin{align*}\left|f\left(-\frac{1}{4}\right)-T_5\left(-\frac{1}{4}\right)\right| &= \left|\frac{f^{(6)}(c)}{6!}\left(-\frac{1}{4}-0\right)^6\right|\\ &= \frac{\left|f^{(6)}(c)\right|}{6!\cdot 4^6}\end{align*}

for some cc in (14,0)\left(-\frac{1}{4},0\right). We'll need to know the sixth derivative of f(x)f(x).

f(x)=log(1x)f(x)=(1x)1f(x)=(1x)2f(x)=2(1x)3f(4)(x)=3!(1x)4f(5)(x)=4!(1x)5f(6)(x)=5!(1x)6\begin{align*}f(x)&=\log (1-x)\\ f'(x)&=-(1-x)^{-1}\\ f''(x)&=-(1-x)^{-2}\\ f'''(x)&=-2(1-x)^{-3}\\ f^{(4)}(x)&=-3!(1-x)^{-4}\\ f^{(5)}(x)&=-4!(1-x)^{-5}\\ f^{(6)}(x)&=-5!(1-x)^{-6}\end{align*}

Plugging in f(6)(c)=5!(1c)6\left|f^{(6)}(c)\right|=\dfrac{5!}{(1-c)^{6}}:

f(14)T5(14)=5!6!46(1c)6=1646(1c)6\begin{align*}\left|f\left(-\frac{1}{4}\right)-T_5\left(-\frac{1}{4}\right)\right| &= \frac{5!}{6!\cdot 4^6\cdot(1-c)^6}=\frac{1}{6\cdot 4^6 \cdot (1-c)^6}\end{align*}

for some cc in (14,0)\left(-\frac{1}{4},0\right).

We're interested in an upper bound for the error: we want to know the worst case scenario, so we can say that the error is no worse than that. We need to know what the biggest possible value of 1646(1c)6\dfrac{1}{6\cdot 4^6 \cdot (1-c)^6} is, given 14<c<0-\dfrac{1}{4}<c<0. That means we want to know the biggest possible value of 1(1c)6\dfrac{1}{(1-c)^6}. This corresponds to the smallest possible value of (1c)6(1-c)^6, which in turn corresponds to the smallest absolute value of 1c1-c.

  • Since 14c0-\dfrac{1}{4}\leq c \leq 0, the smallest absolute value of 1c1-c occurs when c=0c=0. In other words, 1c1|1-c| \leq 1.

  • That means the smallest possible value of (1c)6(1-c)^6 is 16=11^6=1.

  • Then the largest possible value of 1(1c)6\dfrac{1}{(1-c)^6} is 1.

  • Then the largest possible value of 16461(1c)6\dfrac{1}{6\cdot 4^6}\cdot\dfrac{1}{(1-c)^6} is 16460.0000407\dfrac{1}{6\cdot 4^6}\approx 0.0000407.

Finally, we conclude

f(14)T5(14)=1646(1c)6<1646<0.00004\left|f\left(-\frac{1}{4}\right)-T_5\left(-\frac{1}{4}\right)\right| =\frac{1}{6\cdot 4^6 \cdot (1-c)^6}< \dfrac{1}{6\cdot 4^6}<0.00004
Q8Stage 2

Let f(x)=x5f(x)=\sqrt[5]{x}, and let T3(x)T_3(x) be the third-degree Taylor polynomial for f(x)f(x) about x=32x=32. Give a bound on the error f(30)T3(30)|f(30)-T_3(30)|.

Hint

In this case, Equation 9.6.5 tells us that f(30)T3(30)=f(4)(c)4!(3032)4\left|f(30)-T_3(30)\right| = \left|\dfrac{f^{(4)}(c)}{4!}(30-32)^{4}\right| for some cc strictly between 30 and 32.

Answer

Your answer may vary. One reasonable answer is
f(30)T3(30)<1457915<0.000002\left|f(30)-T_3(30)\right|<\dfrac{14}{5^7\cdot9\cdot15}<0.000002. Another reasonable answer is
f(30)T3(30)<14579<0.00002\left|f(30)-T_3(30)\right|<\dfrac{14}{5^7\cdot9}<0.00002.

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=3n=3, a=30a=30, and x=32x=32, so

f(30)T3(30)=f(4)(c)4!(3032)4=23f(4)(c)\begin{align*}|f(30)-T_3(30)| &= \left|\frac{f^{(4)}(c)}{4!}(30-32)^{4}\right|\\ &=\frac{2}{3}\left|f^{(4)}(c)\right|\end{align*}

for some cc in (30,32)(30,32).

We will now find f(4)(x)f^{(4)}(x). Then we can give an upper bound on f(30)T3(30)=23f(4)(c)|f(30)-T_3(30)| =\dfrac{2}{3}\left|f^{(4)}(c)\right| when c(30,32)c \in (30,32).

f(x)=x15f(x)=15x45f(x)=452x95f(x)=4953x145f(4)(x)=491454x195\begin{align*} f(x)&=x^{\tfrac{1}{5}}\\ f'(x)&=\frac{1}{5}x^{-\tfrac{4}{5}}\\ f''(x)&=-\frac{4}{5^2}x^{-\tfrac{9}{5}}\\ f'''(x)&=\frac{4\cdot 9}{5^3}x^{-\tfrac{14}{5}}\\ f^{(4)}(x)&=-\frac{4\cdot 9\cdot 14}{5^4}x^{-\tfrac{19}{5}} \end{align*}

Using this,

f(30)T3(30)=23f(4)(c)=23491454c195=33654c195\begin{align*}|f(30)-T_3(30)| &=\frac{2}{3}\left|f^{(4)}(c)\right|\\ &=\frac{2}{3}\left| -\frac{4\cdot 9\cdot 14}{5^4}c^{-\tfrac{19}{5}}\right|\\ &=\frac{336}{5^4\cdot c^{\tfrac{19}{5}}}\end{align*}

Since 30<c<3230 < c< 32,

<3365430195=336543033045=145793045\begin{align*}&< \frac{336}{5^4\cdot 30^{\tfrac{19}{5}}} =\frac{336}{5^4\cdot 30^3 \cdot 30^{\tfrac{4}{5}}}\\ &=\frac{14}{5^7\cdot 9 \cdot 30^{\tfrac{4}{5}}}\end{align*}

This isn't a number we know. We're trying to find the error in our estimation of 305\sqrt[5]{30}, but 305\sqrt[5]{30} shows up in our error. From here, we have to be a little creative to get a bound that actually makes sense to us. There are different ways to go about it. You could simply use 3045>130^{\tfrac{4}{5}}>1. We will be a little more careful, and use the following estimation:

145793045=14301557930<14321557930<14257930<1457915<0.000002\begin{align*}\frac{14}{5^7 \cdot 9 \cdot \textcolor{red}{30^{\tfrac{4}{5}}}}&= \frac{14\cdot \textcolor{red}{30^{\tfrac{1}{5}}}}{5^7 \cdot 9 \cdot \textcolor{red}{30}}\\ &<\frac{14\cdot \textcolor{red}{32^{\tfrac{1}{5}}}}{5^7 \cdot 9 \cdot \textcolor{red}{30}}\\ &<\frac{14\cdot \textcolor{red}{2}}{5^7 \cdot 9 \cdot \textcolor{red}{30}}\\ &<\frac{14}{5^7\cdot 9 \cdot \textcolor{red}{15}}\\ &< 0.000002\end{align*}

We conclude f(30)T3(30)<0.000002\left|f(30)-T_3(30)\right|<0.000002.

Q9Stage 2

Let

f(x)=sin(1x)f(x)= \sin\left(\dfrac{1}{x}\right)

and let T1(x)T_1(x) be the first-degree Taylor polynomial for f(x)f(x) about x=1πx=\dfrac{1}{\pi}. Give a bound on the error f(0.01)T1(0.01)|f(0.01)-T_1(0.01)|, using Equation 9.6.5. You may leave your answer in terms of π\pi.

Then, give a reasonable bound on the error f(0.01)T1(0.01)|f(0.01)-T_1(0.01)|.

Hint

In our case, Equation 9.6.5 tells us
f(0.01)T1(0.01)=f(2)(c)2!(0.011π)2\left|f\left(0.01\right)-T_1\left(0.01\right)\right| = \left|\dfrac{f^{(2)}(c)}{2!}\left(0.01-\frac{1}{\pi}\right)^2\right| for some cc between 0.01 and 1π\dfrac{1}{\pi}.

Answer

Equation 9.6.5 gives the bound f(0.01)Tn(0.01)1002(100π1)2|f(0.01)-T_n(0.01)| \leq 100^2\left(\frac{100}{\pi}-1\right)^2.

A more reasonable bound on the error is that it is less than 5.

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=1n=1, a=1πa=\dfrac{1}{\pi}, and x=0.01x=0.01, so

f(0.01)T1(0.01)=f(c)2(0.011π)2=12(100π100π)2f(c)\begin{align*}|f(0.01)-T_1(0.01)| &= \left|\frac{f''(c)}{2}\left(0.01-\frac{1}{\pi}\right)^{2}\right|\\ &=\frac{1}{2}\left(\frac{100-\pi}{100\pi}\right)^2\cdot\left|f''(c)\right|\end{align*}

for some cc in (1100,1π)\left(\frac{1}{100},\frac{1}{\pi}\right).

Let's find f(x)f''(x).

f(x)=sin(1x)f(x)=cos(1x)1x2=cos(1x)x2f(x)=x2sin(1x)(x2)+cos(1x)(2x)x4=2xcos(1x)sin(1x)x4\begin{align*} f(x)&=\sin\left(\frac{1}{x}\right)\\ f'(x)&=\cos\left(\frac{1}{x}\right)\cdot\frac{-1}{x^2}=\frac{-\cos\left(\frac{1}{x}\right)}{x^2}\\ f''(x)&=\frac{x^2\sin\left(\frac{1}{x}\right)(-x^{-2})+\cos\left(\frac{1}{x}\right)(2x)}{x^4}\\ &=\frac{2x\cos\left(\frac{1}{x}\right)-\sin\left(\frac{1}{x}\right)}{x^4} \end{align*}

Now we can plug in a better expression for f(c)f''(c):

f(0.01)T1(0.01)=12(100π200π)2f(c)=12(100π100π)22ccos(1c)sin(1c)c4\begin{align*}|f(0.01)-T_1(0.01)| &=\frac{1}{2}\left(\frac{100-\pi}{200\pi}\right)^2\cdot\left|f''(c)\right|\\ &=\frac{1}{2}\left(\frac{100-\pi}{100\pi}\right)^2\cdot \frac{\left|2c\cos\left(\frac{1}{c}\right)-\sin\left(\frac{1}{c}\right)\right|}{c^4}\end{align*}

for some cc in (1100,1π)\left(\frac{1}{100},\frac{1}{\pi}\right).

What we want to do now is find an upper bound on this expression containing cc,
$\dfrac{1}{2}\left(\dfrac{100-\pi}{100\pi}\right)^2\cdot \dfrac{\left|2c\cos\left(\frac{1}{c}\right)-\sin\left(\frac{1}{c}\right)\right|}{c^4}$ .

  • Since c1100c \geq \dfrac{1}{100}, it follows that c411004c^4 \geq \dfrac{1}{100^4}, so 1c41004\dfrac{1}{c^4}\leq 100^4.

  • For any value of xx, cosx|\cos x| and sinx|\sin x| are at most 1. Since c<1|c|<1, also ccos(1c)<cos(1c)1|c\cos\left(\frac{1}{c}\right)| <|\cos\left(\frac{1}{c}\right)| \leq 1. So, 2ccos(1c)sin(1c)<3\left|2c\cos\left(\frac{1}{c}\right)-\sin\left(\frac{1}{c}\right)\right| < 3

  • Therefore,

    f(0.01)Tn(0.01)=12(100π100π)21c42ccos(1c)sin(1c)<12(100π100π)210043=310022(100π1)2\begin{align*} |f(0.01)-T_n(0.01)|=&\,\dfrac{1}{2}\left(\dfrac{100-\pi}{100\pi}\right)^2\cdot\frac{1}{c^4}\cdot \left|2c\cos\left(\frac{1}{c}\right)-\sin\left(\frac{1}{c}\right)\right|\\ < &\,\dfrac{1}{2}\left(\dfrac{100-\pi}{100\pi}\right)^2\cdot100^4\cdot3\\ =&\,\frac{3\cdot 100^2}{2}\left(\frac{100}{\pi}-1\right)^2\\ \end{align*}

Equation 9.6.5 gives the bound f(0.01)T1(0.01)310022(100π1)2|f(0.01)-T_1(0.01)| \leq \frac{3\cdot 100^2}{2}\left(\frac{100}{\pi}-1\right)^2.

The bound above works out to approximately fourteen million. One way to understand why the bound is so high is that sin(1x)\sin\left(\frac{1}{x}\right) moves about crazily when xx is near zero–it moves up and down incredibly fast, so a straight line isn't going to approximate it very well at all.

That being said, because sin(1x)\sin\left(\frac{1}{x}\right) is still “sine of something," we know 1f(0.01)1-1 \leq f\left(0.01\right) \leq 1. To get a better bound on the error, let's find T1(x)T_1(x).

f(x)=sin(1x)f(1π)=sin(π)=0f(x)=cos(1x)x2f(1π)=π2cos(π)=π2\begin{align*} f(x)&=\sin\left(\frac{1}{x}\right) & f\left(\frac{1}{\pi}\right)&=\sin(\pi)=0\\ f'(x)&=\frac{-\cos\left(\frac{1}{x}\right)}{x^2} & f'\left(\frac{1}{\pi}\right)&=-\pi^2\cos(\pi)=\pi^2\end{align*}
T1(x)=f(1π)+f(1π)(x1π)=0+π2(x1π)=π2xπT1(0.01)=π2100π\begin{align*} T_1(x)&=f\left(\frac{1}{\pi}\right)+f'\left(\frac{1}{\pi}\right)\left(x-\frac{1}{\pi}\right)\\ &=0+\pi^2\left(x-\frac{1}{\pi}\right)\\&=\pi^2x-\pi\\ T_1\left(0.01\right)& = \frac{\pi^2}{100}-\pi \end{align*}

Now that we know T1(0.01)T_1(0.01), and we know 1f(0.01)1-1 \leq f(0.01) \leq 1, we can give the bound

f(0.01)T1(0.01)f(0.01)+T1(0.01)1+π2100π=1+π1π100<1+π<1+4=5\begin{align*} \left|f(0.01)-T_1(0.01)\right|&\leq \left|f(0.01)\right|+\left|T_1(0.01)\right|\\ &\leq 1 +\left| \frac{\pi^2}{100}-\pi\right|\\ &=1+\pi\left|1-\frac{\pi}{100}\right|\\ &<1+\pi\\ &<1+4=5 \end{align*}

A more reasonable bound on the error is that it is less than 5.

Still more reasonably, we would not use T1(x)T_1(x) to evaluate sin(100)\sin(100) approximately. We would write sin(100)=sin(10032π)\sin(100) = \sin(100-32\pi) and approximate the right hand side, which is roughly sin(π/6)\sin(-\pi/6).

Q10Stage 2

Let f(x)=arcsinxf(x)=\arcsin x, and let T2(x)T_2(x) be the second-degree Maclaurin polynomial for f(x)f(x). Give a reasonable bound on the error f(12)T2(12)\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right| using Equation 9.6.5. What is the exact value of the error f(12)T2(12)\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right|?

Hint

Using Equation 9.6.5, f(12)T2(12)=f(3)(c)3!(120)3\left|f\left(\dfrac{1}{2}\right)-T_2\left(\dfrac{1}{2}\right)\right| = \left|\dfrac{f^{(3)}(c)}{3!}\left(\dfrac{1}{2}-0\right)^{3}\right| for some cc in (0,12)\left(0,\dfrac{1}{2}\right).

Answer

Using Equation 9.6.5,

f(12)T2(12)<110.\begin{align*}\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right|&<\frac{1}{10}.\end{align*}

The actual error is

f(12)T2(12)=π612\begin{align*}\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right|&= \frac{\pi}{6}-\frac{1}{2}\end{align*}

which is about 0.02.

Full solution

Equation 9.6.5 tells us that, when Tn(x)T_n(x) is the nnth degree Taylor polynomial for a function f(x)f(x) about x=ax=a, then

f(x)Tn(x)=f(n+1)(c)(n+1)!(xa)n+1\begin{align*}|f(x)-T_n(x)| &= \left|\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\right|\end{align*}

for some cc strictly between xx and aa. In our case, n=2n=2, a=0a=0, and x=12x=\dfrac{1}{2}, so

f(12)T2(12)=f(3)(c)3!(120)3=f(3)(c)3!23\begin{align*}\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right| &= \left|\frac{f^{(3)}(c)}{3!}\left(\frac{1}{2}-0\right)^{3}\right|\\ &= \frac{\left|f^{(3)}(c)\right|}{3!\cdot2^3}\end{align*}

for some cc in (0,12)\left(0,\frac{1}{2}\right).
The next task that suggests itself is finding f(3)(x)f^{(3)}(x).

f(x)=arcsinxf(x)=11x2=(1x2)12f(x)=12(1x2)32(2x)=x(1x2)32f(x)=x(32)(1x2)52(2x)+(1x2)32=3x2(1x2)52+(1x2)52+1=(1x2)52(3x2+(1x2))=(1x2)52(2x2+1)\begin{align*}f(x)&=\arcsin x\\ f'(x)&=\frac{1}{\sqrt{1-x^2}}=(1-x^2)^{-\tfrac{1}{2}}\\ f''(x)&=-\frac{1}{2}(1-x^2)^{-\tfrac{3}{2}}(-2x)\\ &=x(1-x^2)^{-\tfrac{3}{2}}\\ f'''(x)&=x\left(-\frac{3}{2}\right)(1-x^2)^{-\tfrac{5}{2}}(-2x)+(1-x^2)^{-\tfrac{3}{2}}\\ &=3x^2(1-x^2)^{-\tfrac{5}{2}}+(1-x^2)^{-\tfrac{5}{2}+1}\\ &=(1-x^2)^{-\tfrac{5}{2}}\left(3x^2+(1-x^2)\right)\\ &=(1-x^2)^{-\tfrac{5}{2}}\left(2x^2+1\right)\end{align*}

Since f(12)T2(12)=f(3)(c)3!23\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right| =\dfrac{\left|f^{(3)}(c)\right|}{3!\cdot2^3} for some cc in (0,12)\left(0,\frac{1}{2}\right),

f(12)T2(12)=1+2c2(1c2)53!23=1+2c248(1c2)5\begin{align*}\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right| &=\dfrac{\left|\dfrac{1+2c^2} {\left(\sqrt{1-c^2}\right)^5} \right|}{3!\cdot2^3}= \frac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5}\end{align*}

for some cc in (0,12)\left(0,\frac{1}{2}\right).

We want to know what is the worst case scenario-what's the biggest this expression can be. So, now we find an upper bound on 1+2c248(1c2)5\dfrac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5} when 0c120 \leq c \leq \dfrac{1}{2}. Remember that our bound doesn't have to be exact, but it should be relatively easy to calculate.

  • When 0c120 \leq c \leq\dfrac{1}{2}, the biggest 1+2c21+2c^2 can be is 1+2(12)2=321+2\left(\dfrac{1}{2}\right)^2=\dfrac{3}{2}.
    So, the numerator of 1+2c248(1c2)5\dfrac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5} is at most 32\dfrac{3}{2}.

  • The smallest 1c21-c^2 can be is 1(12)2=341-\left(\dfrac{1}{2}\right)^2=\dfrac{3}{4}.

  • So, the smallest (1c2)5\left(\sqrt{1-c^2}\right)^5 can be is (34)5=(32)5\left(\sqrt{\dfrac{3}{4}}\right)^5=\left(\dfrac{\sqrt{3}}{2}\right)^5.

  • Then smallest possible value for the denominator of 1+2c248(1c2)5\dfrac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5} is 48(32)548\left(\dfrac{\sqrt{3}}{2}\right)^5

  • Then

    1+2c248(1c2)53248(32)5=135=193<110\begin{align*} \dfrac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5} & \leq \frac{\dfrac{3}{2}}{48\left(\dfrac{\sqrt{3}}{2}\right)^5}\\ &=\frac{1}{\sqrt{3}^5}=\frac{1}{9\sqrt{3}}\\ &<\frac{1}{10} \end{align*}

Let's put together these pieces. We found that

f(12)T2(12)=1+2c248(1c2)5\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right| =\frac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5}

for some cc in (0,12)\left(0,\frac{1}{2}\right). We also found that

1+2c248(1c2)5<110\frac{1+2c^2}{48\left(\sqrt{1-c^2}\right)^5}<\frac{1}{10}

when cc is in (0,12)\left(0,\frac{1}{2}\right). We conclude

f(12)T2(12)<110.\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right|<\frac{1}{10}.

For the second part of the question, we need to find f(12)f\left(\frac{1}{2}\right) and T2(12)T_2\left(\frac{1}{2}\right).
Finding f(12)f\left(\frac{1}{2}\right) is not difficult.

f(x)=arcsinxf(12)=arcsin(12)=π6\begin{align*} f(x)&=\arcsin x\\ f\left(\frac{1}{2}\right)&=\arcsin\left(\frac{1}{2}\right)=\frac{\pi}{6} \end{align*}

In order to find T2(12)T_2\left(\frac{1}{2}\right), we need to find T2(x)T_2(x).

T2(x)=f(0)+f(0)x+12f(0)x2\begin{align*}T_2(x)&=f(0)+f'(0)x+\frac{1}{2}f''(0)x^2\end{align*}

Conveniently, we've already found the first few derivatives of f(x)f(x).

T2(x)=arcsin(0)+(1102)x+12(0(102)3)x2=0+x+0=xT2(12)=12\begin{align*}T_2(x)&=\arcsin(0)+\left(\frac{1}{\sqrt{1-0^2}}\right)x+\frac{1}{2}\left(\frac{0}{\left(\sqrt{1-0^2}\right)^3}\right)x^2\\ &=0+x+0\\ &=x\\ T_2\left(\frac{1}{2}\right)&=\frac{1}{2}\end{align*}

So, the actual error is

f(12)T2(12)=π612=π612\begin{align*}\left|f\left(\frac{1}{2}\right)-T_2\left(\frac{1}{2}\right)\right|&=\left| \frac{\pi}{6}-\frac{1}{2}\right|= \frac{\pi}{6}-\frac{1}{2}\end{align*}

A calculator tells us that this is about 0.02.

Stage 3 · Application

Q11Stage 3

Let f(x)=log(x)f(x)=\log(x), and let Tn(x)T_n(x) be the nnth-degree Taylor polynomial for f(x)f(x) about x=1x=1. You use Tn(1.1)T_n(1.1) to estimate log(1.1)\log (1.1). If your estimation needs to have an error of no more than 10410^{-4}, what is an acceptable value of nn to use?

Hint

It helps to have a formula for f(n)(x)f^{(n)}(x). You can figure it out by taking several derivatives and noticing the pattern, but also this has been given previously in the text.

Answer

Any nn greater than or equal to 3.

Full solution

Our error will have the form f(n+1)(c)(n+1)!(x1)n+1\dfrac{f^{(n+1)}(c)}{(n+1)!}(x-1)^{n+1} for some constant cc, so let's find an equation for f(n)(x)f^{(n)}(x). This has been done before in the text, but we'll do it again here: we'll take several derivatives, then notice the pattern.

f(x)=logxf(x)=x1f(x)=x2f(x)=2!x3f(4)(x)=3!x4f(5)(x)=4!x5\begin{align*}f(x)&=\log x\\ f'(x)&=x^{-1}\\ f''(x)&=-x^{-2}\\ f'''(x)&=2!\,x^{-3}\\ f^{(4)}(x)&=-3!\,x^{-4}\\ f^{(5)}(x)&=4!\,x^{-5}\end{align*}

So, when n1n \geq 1,

f(n)(x)=(1)n1(n1)!xn\begin{align*}f^{(n)}(x)&=(-1)^{n-1}(n-1)!\cdot x^{-n}\end{align*}

Now that we know the derivative of f(x)f(x), we have a better idea what the error in our approximation looks like.

f(1.1)Tn(1.1)=f(n+1)(c)(n+1)!(1.11)n+1=f(n+1)(c)0.1n+1(n+1)!=n!cn+1110n+1(n+1)!=1cn+110n+1(n+1)\begin{align*}\left|f(1.1)-T_n(1.1)\right|&=\left|\dfrac{f^{(n+1)}(c)}{(n+1)!}(1.1-1)^{n+1}\right|\\ &=\left|f^{(n+1)}(c)\right|\frac{0.1^{n+1}}{(n+1)!}\\ &=\left|\frac{n!}{c^{n+1}} \right|\frac{1}{10^{n+1}(n+1)!}\\ &=\frac{1}{ |c|^{n+1}\cdot10^{n+1}\cdot(n+1)}\end{align*}

for some cc in (1,1.1)(1,1.1)

<1(n+1)10n+11n+1=1(n+1)10n+1\begin{align*}&<\frac{1}{(n+1)10^{n+1}\cdot 1^{n+1}}\\ &=\frac{1}{(n+1)10^{n+1}}\end{align*}

What we've shown so far is

f(1.1)Tn(1.1)<1(n+1)10n+1\begin{align*}|f(1.1)-T_n(1.1)|&<\dfrac{1}{(n+1)10^{n+1}}\end{align*}

If we can show that 1(n+1)10n+1104\dfrac{1}{(n+1)10^{n+1}}\le10^{-4}, then we'll be able to conclude

f(1.1)Tn(1.1)<1(n+1)10n+1104\begin{align*}|f(1.1)-T_n(1.1)|&<\dfrac{1}{(n+1)10^{n+1}}\le10^{-4}\end{align*}

That is, our error is less than 10410^{-4}.

So, our goal for the problem is to find a value of nn that makes 1(n+1)10n+1104\dfrac{1}{(n+1)10^{n+1}}\le10^{-4}. Certainly, n=3n=3 is such a number. Therefore, any nn greater than or equal to 3 is an acceptable value.

Q12Stage 3

Give an estimation of 22007\sqrt[7]{2200} using a Taylor polynomial. Your estimation should have an error of less than 0.001.

Hint

You can approximate the function f(x)=x17f(x)=x^{\tfrac{1}{7}}.
It's a good bit of trivia to know 37=21873^7=2187.
A low-degree Taylor approximation will give you a good enough estimation. If you guess a degree, and take that Taylor polynomial, the error will probably be less than 0.001 (but you still need to check).

Answer

$\sqrt[7]{2200}\approx3+\dfrac{13}{7\cdot 3^6} \approx 3.00255$

Full solution

We will approximate f(x)=x17f(x)=x^{\tfrac{1}{7}} using a Taylor polynomial. Since 37=21873^7=2187, we will use x=2187x=2187 as our centre.

We need to figure out which degree Taylor polynomial will result in a small-enough error.

If we use the nnth Taylor polynomial, our error will be

f(2200)Tn(2200)=f(n+1)(c)(n+1)!(22002187)n+1=f(n+1)(c)13n+1(n+1)!\begin{align*}\left|f(2200)-T_n(2200)\right|&=\left|\frac{f^{(n+1)}(c)}{(n+1)!}(2200-2187)^{n+1}\right|\\ &=\left|f^{(n+1)}(c)\right|\cdot\frac{13^{n+1}}{(n+1)!}\end{align*}

for some cc in (2187,2200)(2187,2200). In order for this to be less than 0.001, we need

f(n+1)(c)13n+1(n+1)!<0.001f(n+1)(c)<(n+1)!100013n+1\begin{align*}\left|f^{(n+1)}(c)\right|\cdot\frac{13^{n+1}}{(n+1)!}&<0.001\\ \left|f^{(n+1)}(c)\right|&<\frac{ (n+1)!}{1000\cdot13^{n+1}}\end{align*}

It's a tricky thing to figure out which nn makes this true. Let's make a table. We won't show all the work of filling it in, but the work is standard.

n(n+1)!100013n+1f(n+1)(c)Is f(n+1)(c)<(n+1)!100013n+1?      01100013f(c)=17c6/7<1736      121000132f(c)=672c137<672313Yes!\begin{equation*} \begin{array}{c|c|c|c} n & \dfrac{(n+1)!}{1000\cdot 13^{n+1}} & \left|f^{(n+1)}(c)\right| & \textup{Is }\left|f^{(n+1)}(c)\right|<\dfrac{ (n+1)!}{1000\cdot13^{n+1}}\textup{?} \\~&~&~\\ \hline ~&~&~\\ 0&\dfrac{1}{1000\cdot 13}&|f'(c)|=\dfrac{1}{7c^{6/7}}<\dfrac{1}{7\cdot 3^6}& \\~&~&~\\ \hline ~&~&~\\ 1&\dfrac{2}{1000\cdot 13^2}&|f''(c)|=\dfrac{6}{7^2\cdot c^{\tfrac{13}{7}}}<\dfrac{6}{7^2\cdot 3^{13}}&\textup{Yes!} \end{array}\end{equation*}

That is: if we use the first-degree Taylor polynomial, then for some cc between 21872187 and 22002200,

f(2200)T1(2200)=f(c)1322!=672c1371322<6723131322=3132723130.0000065\begin{align*} |f(2200)-T_1(2200)|&=\left|f''(c)\right|\cdot\frac{13^2}{2!}\\ &=\frac{6}{7^2\cdot c^{\tfrac{13}{7}}}\cdot\frac{13^2}{2}\\ &<\dfrac{6}{7^2\cdot 3^{13}}\cdot\dfrac{13^2}{2}\\ &=\dfrac{3\cdot 13^2}{7^2 \cdot 3^{13}}\approx 0.0000065 \end{align*}

So, actually, the linear Taylor polynomial (or any higher-degree Taylor polynomial) will result in an approximation that is much more accurate than required. (We don't know, however, that the constant approximation will be accurate enough–so we'd better stick with n1n \geq 1.)

Now that we know we can take the first-degree Taylor polynomial, let's compute T1(x)T_1(x). Recall we are taking the Taylor polynomial for f(x)=x17f(x)=x^{\tfrac{1}{7}} about x=2187x=2187.

f(2187)=218717=3f(x)=17x67f(2187)=17218776=1736T1(x)=f(2187)+f(2187)(x2187)=3+x2187736T1(2200)=3+22002187736=3+137363.00255\begin{align*} f(2187)&=2187^{\tfrac{1}{7}}=3\\ f'(x)&=\frac{1}{7}x^{-\tfrac{6}{7}}\\ f'(2187)&=\frac{1}{7\sqrt[7]{2187}^6}=\frac{1}{7\cdot3^6}\\ T_1(x)&=f(2187)+f'(2187)(x-2187)\\ &=3+\frac{x-2187}{7\cdot3^6}\\ T_1(2200)&=3+\frac{2200-2187}{7\cdot3^6}\\ &=3+\frac{13}{7\cdot 3^6}\\ &\approx 3.00255 \end{align*}

We conclude 220073.00255\sqrt[7]{2200}\approx 3.00255.

Q13Stage 3

Use Equation 9.6.5 to show that

42415040sin(1)42435040\frac{4241}{5040}\leq\sin(1) \leq\frac{4243}{5040}
Hint

Use the 6th-degree Maclaurin approximation for f(x)=sinxf(x)=\sin x.

Answer

If we're going to use Equation 9.6.5, then we'll probably be taking a Taylor polynomial. Using Example 9.5.5, the 6th-degree Maclaurin polynomial for sinx\sin x is

T6(x)=T5(x)=xx33!+x55!T_6(x)=T_5(x)=x-\frac{x^3}{3!}+\frac{x^5}{5!}

so let's play with this a bit. Equation 9.6.5 tells us that the error will depend on the seventh derivative of f(x)f(x), which is cosx-\cos x:

f(1)T6(1)=f(7)(c)177!sin(1)(113!+15!)=cosc7!sin(1)1015!=cosc7!sin(1)=4242cosc7!\begin{align*}f(1)-T_6(1)&=f^{(7)}(c)\frac{1^7}{7!}\\ \sin(1)-\left(1-\frac{1}{3!}+\frac{1}{5!}\right)&=\frac{-\cos c}{7!}\\ \sin(1)-\frac{101}{5!}&=\frac{-\cos c}{7!}\\ \sin(1)&=\frac{4242-\cos c}{7!}\end{align*}

for some cc between 0 and 1. Since 1cosc1-1 \leq \cos c \leq 1,

424217!sin(1)4242+17!42417!sin(1)42437!42415040sin(1)42435040\begin{align*}\frac{4242-1}{7!}\leq \sin(1)&\leq \frac{4242+1}{7!}\\ \frac{4241}{7!}\leq \sin(1)&\leq \frac{4243}{7!}\\ \frac{4241}{5040}\leq \sin(1)&\leq \frac{4243}{5040}\end{align*}

Remark: there are lots of ways to play with this idea to get better estimates. One way is to take a higher-degree Maclaurin polynomial. Another is to note that, since 0<c<1<π30<c<1<\dfrac{\pi}{3}, then 12<cosc<1\dfrac{1}{2}<\cos c < 1, so

424217!<sin(1)<4242127!42415040<sin(1)<848310080<42435040\begin{align*} \dfrac{4242-1}{7!}<\sin(1)<\dfrac{4242-\frac{1}{2}}{7!}\\ \dfrac{4241}{5040}<\sin(1)<\dfrac{8483}{10080}<\frac{4243}{5040} \end{align*}

If you got tighter bounds than asked for in the problem, congratulations!

Full solution

If we're going to use Equation 9.6.5, then we'll probably be taking a Taylor polynomial. Using Example 9.5.5, the 6th-degree Maclaurin polynomial for sinx\sin x is

T6(x)=T5(x)=xx33!+x55!T_6(x)=T_5(x)=x-\frac{x^3}{3!}+\frac{x^5}{5!}

so let's play with this a bit. Equation 9.6.5 tells us that the error will depend on the seventh derivative of f(x)f(x), which is cosx-\cos x:

f(1)T6(1)=f(7)(c)177!sin(1)(113!+15!)=cosc7!sin(1)1015!=cosc7!sin(1)=4242cosc7!\begin{align*}f(1)-T_6(1)&=f^{(7)}(c)\frac{1^7}{7!}\\ \sin(1)-\left(1-\frac{1}{3!}+\frac{1}{5!}\right)&=\frac{-\cos c}{7!}\\ \sin(1)-\frac{101}{5!}&=\frac{-\cos c}{7!}\\ \sin(1)&=\frac{4242-\cos c}{7!}\end{align*}

for some cc between 0 and 1. Since 1cosc1-1 \leq \cos c \leq 1,

424217!sin(1)4242+17!42417!sin(1)42437!42415040sin(1)42435040\begin{align*}\frac{4242-1}{7!}\leq \sin(1)&\leq \frac{4242+1}{7!}\\ \frac{4241}{7!}\leq \sin(1)&\leq \frac{4243}{7!}\\ \frac{4241}{5040}\leq \sin(1)&\leq \frac{4243}{5040}\end{align*}

Remark: there are lots of ways to play with this idea to get better estimates. One way is to take a higher-degree Maclaurin polynomial. Another is to note that, since 0<c<1<π30<c<1<\dfrac{\pi}{3}, then 12<cosc<1\dfrac{1}{2}<\cos c < 1, so

424217!<sin(1)<4242127!42415040<sin(1)<848310080<42435040\begin{align*} \dfrac{4242-1}{7!}<\sin(1)<\dfrac{4242-\frac{1}{2}}{7!}\\ \dfrac{4241}{5040}<\sin(1)<\dfrac{8483}{10080}<\frac{4243}{5040} \end{align*}

If you got tighter bounds than asked for in the problem, congratulations!

Q14Stage 3

In this question, we use the remainder of a Maclaurin polynomial to approximate ee.

  1. Write out the 4th degree Maclaurin polynomial T4(x)T_4(x) of the function exe^x.

  2. Compute T4(1)T_4(1).

  3. Use your answer from (b) to conclude 326120<e<325119\dfrac{326}{120}<e<\dfrac{325}{119}.

Hint

For part (c), after you plug in the appropriate values to Equation 9.6.5, simplify the upper and lower bounds for ee separately. In particular, for the upper bound, you'll have to solve for ee.

Answer

(a) T4(x)=n=04xnn!T_4(x)=\sum_{n=0}^4\frac{x^n}{n!} (b) T4(1)=6524T_4(1)=\frac{65}{24} (c) See the solution.

Full solution

(a) For every whole number nn, the nnth derivative of exe^x is exe^x. So:

T4(x)=n=04e0n!xn=n=04xnn!T_4(x)=\sum_{n=0}^4\frac{e^0}{n!}x^n =\sum_{n=0}^4\frac{x^n}{n!}

(b)

T4(1)=n=041nn!=n=041n!=10!+11!+12!+13!+14!=11+11+12+16+124=6524\begin{align*} T_4(1)&=\sum_{n=0}^4\frac{1^n}{n!}=\sum_{n=0}^4\frac{1}{n!}\\ &=\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+\frac{1}{3!}+\frac{1}{4!}\\ &=\frac{1}{1}+\frac{1}{1}+\frac{1}{2}+\frac{1}{6}+\frac{1}{24}\\ &=\frac{65}{24} \end{align*}

(c) Using Equation 9.6.5,

e1T4(1)=15!ecfor some c strictly between 0 and 1. So,e6524=ec120e=6524+ec120\begin{align*}e^1-T_4(1)&=\frac{1}{5!}e^c\qquad\text{for some }c\text{ strictly between 0 and 1. So,}\\ e-\frac{65}{24}&=\frac{e^c}{120}\\ e&=\frac{65}{24} +\frac{e^c}{120}\end{align*}

Since exe^x is a strictly increasing function, and 0<c<10<c<1, we conclude e0<ec<e1e^0<e^c<e^1:

6524+1120<e<6524+e120\begin{align*}\frac{65}{24} +\frac{1}{120}& <e<\frac{65}{24} +\frac{e}{120}\end{align*}

Simplifying the left inequality, we see

326120<e\begin{align*}\frac{326}{120}&<e\end{align*}

From the right inequality, we see

e<6524+e120ee120<6524e119120<6524e<6524120119=325119\begin{align*}e&<\frac{65}{24}+\frac{e}{120}\\ e-\frac{e}{120}&<\frac{65}{24}\\ e\cdot \frac{119}{120}&<\frac{65}{24}\\ e&<\frac{65}{24}\cdot \frac{120}{119}=\frac{325}{119}\end{align*}

So, we conclude

326120<e<325119,\begin{align*}\frac{326}{120}&<e<\frac{325}{119},\end{align*}

as desired.

Remark: 3261202.717\dfrac{326}{120}\approx 2.717, and 3251192.731\dfrac{325}{119}\approx 2.731.

From the UBC Math 100 open textbook project, © Joel Feldman, Andrew Rechnitzer, Elyse Yeager and others. Licensed CC BY-NC-SA 4.0; this HTML adaptation is released under the same licence. Full attribution.