Example 1.  Consider the function  [Graphics:Images/TaylorPolyMod_gr_24.gif].  
1 (a).  Find the terms up to  [Graphics:Images/TaylorPolyMod_gr_25.gif]  in the Maclaurin series for  f[x].
Solution 1 (a).

1 (a).  Find the terms up to  [Graphics:../Images/TaylorPolyMod_gr_28.gif]  in the Maclaurin series for  f[x].

[Graphics:../Images/TaylorPolyMod_gr_29.gif]


[Graphics:../Images/TaylorPolyMod_gr_30.gif]

Remark.  If you just find the "Series" it will include a "Big [Graphics:../Images/TaylorPolyMod_gr_31.gif]"  term, which cannot be used in either evaluations or graphing, we eliminate it with the command "Normal."  The "Big [Graphics:../Images/TaylorPolyMod_gr_32.gif]  term lets us know the power of x in the "remainder.

[Graphics:../Images/TaylorPolyMod_gr_33.gif]

[Graphics:../Images/TaylorPolyMod_gr_34.gif]


[Graphics:../Images/TaylorPolyMod_gr_35.gif]

[Graphics:../Images/TaylorPolyMod_gr_36.gif]

Aside.  Of course the "full" Maclaurin series has an infinite number of terms.  Mathematica is capable of finding sums of infinite series.  

The following is just for fun !

There are two ways to get infinite sums, the old way and the new way.  First sum the series  [Graphics:../Images/TaylorPolyMod_gr_37.gif].  The "telegraph" command is:

[Graphics:../Images/TaylorPolyMod_gr_38.gif]
[Graphics:../Images/TaylorPolyMod_gr_39.gif]

The "symbolic" command is:

[Graphics:../Images/TaylorPolyMod_gr_40.gif]
[Graphics:../Images/TaylorPolyMod_gr_41.gif]

Summation is located on the BasicInput palette.
Now sum the power series  [Graphics:../Images/TaylorPolyMod_gr_42.gif].  

[Graphics:../Images/TaylorPolyMod_gr_43.gif]
[Graphics:../Images/TaylorPolyMod_gr_44.gif]

Now graph f[x] and the Maclaurin polynomial s[x] over the interval [-1, 1].  

[Graphics:../Images/TaylorPolyMod_gr_45.gif]

[Graphics:../Images/TaylorPolyMod_gr_46.gif]

[Graphics:../Images/TaylorPolyMod_gr_47.gif]

Notice that there is a significant amount of error near  [Graphics:../Images/TaylorPolyMod_gr_48.gif].  Let's investigate a smaller interval.
Graph  f[x]  and the Maclaurin polynomial  s[x]  over the interval  [-0.5, 0.5].  

[Graphics:../Images/TaylorPolyMod_gr_49.gif]

[Graphics:../Images/TaylorPolyMod_gr_50.gif]

[Graphics:../Images/TaylorPolyMod_gr_51.gif]

Background for part 1 (b).  Use the fact that the series is "alternating" to investigate the error for the Maclaurin polynomial of degree n = 10 over the interval  [-0.5, 0.5].  

Now look closely at the "error" when the series is used to approximate the function.  It becomes infinite near x = 1.  For this reason we work on smaller intervals, in this case we chose  [-0.5, 0.5].  How close are were the two curves in part (a) ?

[Graphics:../Images/TaylorPolyMod_gr_52.gif]

[Graphics:../Images/TaylorPolyMod_gr_53.gif]

[Graphics:../Images/TaylorPolyMod_gr_54.gif]

Observation.  We used the "Simplify" command to form e[x], without this command it would have looked different.

[Graphics:../Images/TaylorPolyMod_gr_55.gif]
[Graphics:../Images/TaylorPolyMod_gr_56.gif]

This series is "very nice" because it is alternating, and for that reason the error bound is the magnitude of the "next term" in the series.

[Graphics:../Images/TaylorPolyMod_gr_57.gif]
[Graphics:../Images/TaylorPolyMod_gr_58.gif]

The error bound for the entire interval  [-0.5, 0.5] is

[Graphics:../Images/TaylorPolyMod_gr_59.gif]

[Graphics:../Images/TaylorPolyMod_gr_60.gif]

This estimate is "conservative" and is a little larger than the "actual" maximum error which occurred at   [Graphics:../Images/TaylorPolyMod_gr_61.gif]  

[Graphics:../Images/TaylorPolyMod_gr_62.gif]

[Graphics:../Images/TaylorPolyMod_gr_63.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004