From a Series to a Numerical Value
A Taylor series describes a function using an infinite sum, but an approximation uses only finitely many terms. To approximate a requested function value well, you need to make two decisions: which expansion is convenient at that input, and how many terms give an error small enough for the precision you want to report.
The approximation and its error bound play different roles. The polynomial gives a numerical estimate. The bound tells you how far the true value can be from that estimate. A decimal answer is justified only when the bound supports its reported precision.
Choosing a Useful Expansion
For exponential and trigonometric values near zero, Maclaurin series are often convenient. The first terms are
For a logarithm, a substitution can make a series converge more quickly than using an expansion whose input is farther from its center. For \(x>0\), set \(z=(x-1)/(x+1)\). When \(|z|<1\), the logarithmic series gives
For example, when \(x=1.2\), this substitution gives \(z=1/11\), a small input. The powers of \(1/11\) decrease quickly, so just a few terms can give a precise value.
Before calculating, identify the input and the expansion that matches it. Then decide what error bound applies. Taylor’s theorem gives the Lagrange bound \( |R_n(x)|\le M|x-a|^{n+1}/(n+1)!\), provided the \((n+1)\)st derivative exists between the center \(a\) and \(x\) and has absolute value at most \(M\) there. For an alternating series with decreasing term magnitudes tending to zero, the error after a partial sum is at most the magnitude of the first omitted term.
Worked Example: Approximating an Exponential Value
Worked Example: Approximating \(e^{0.2}\)
Use the degree-six Maclaurin polynomial and a Lagrange bound. The polynomial is
Substitute \(x=0.2\), showing each term:
The seventh derivative of \(e^x\) is \(e^x\). On \(0\le x\le0.2\), it is less than \(3\), so the Lagrange bound is
Consequently, \(e^{0.2}\) lies between \(1.2214027479\) and \(1.2214027633\). Both endpoints round to \(1.221403\) to six decimal places, so the justified result is \(e^{0.2}\approx1.221403\) to six decimal places. The check is that this reported value differs from the polynomial estimate by about \(0.0000002444\), which is within the permitted error once rounding is included.
Worked Example: Approximating a Sine Value
Worked Example: Approximating \(\sin(0.4)\)
Use the degree-seven Maclaurin polynomial:
Evaluate every term at \(0.4\):
The sine terms alternate. Their magnitudes decrease here: the ratio of consecutive nonzero magnitudes is \(0.4^2/((2k+2)(2k+3))<1\). Therefore the alternating-series error is no greater than the first omitted term:
Thus the value lies between \(0.3894183408\) and \(0.3894183424\). Every number in this interval rounds to \(0.38941834\) to eight decimal places. Hence \(\sin(0.4)\approx0.38941834\) to eight decimal places. Substitution into the polynomial gives the stated estimate, and the interval check confirms that the omitted terms cannot change those rounded digits.
Worked Example: Approximating a Logarithm
Worked Example: Approximating \(\ln(1.2)\)
For \(x=1.2\), the substitution gives \(z=(1.2-1)/(1.2+1)=0.2/2.2=1/11\). Keep the first four terms, through \(z^7/7\):
All omitted terms are positive. For the tail, the denominators \(9,11,13,\ldots\) are at least \(9\). Bounding each one by \(9\) and summing the resulting geometric series gives
The logarithm therefore lies in an interval from \(S\) to \(S+0.000000000096\). Its endpoints round to \(0.182322\) to six decimal places, so \(\ln(1.2)\approx0.182322\) to six decimal places. The check is that the positive tail is smaller than the displayed error bound; rounding the series sum is not being mistaken for an exact evaluation.
Why the Error Bounds Work
The Lagrange bound follows directly from Taylor’s theorem: the remainder has the form \(f^{(n+1)}(c)(x-a)^{n+1}/(n+1)!\) for some \(c\) between \(a\) and \(x\). Taking absolute values and using \(|f^{(n+1)}(c)|\le M\) gives the stated bound. The important practical step is to find a valid \(M\) on the whole interval, not just evaluate the derivative at the input.
The logarithmic tail estimate uses a different idea. Once \(0<z<1\), the omitted powers are \(z^9,z^{11},z^{13},\ldots\). Replacing each denominator by the smaller denominator \(9\) makes the estimate larger, and the remaining powers sum to \(z^9/(1-z^2)\). This produces a rigorous upper bound without needing to calculate infinitely many terms.
Both arguments turn a finite calculation into a statement about the true function value. A polynomial by itself gives an estimate; the remainder argument explains what conclusions that estimate supports.
Reporting Precision and Common Pitfalls
To justify rounding to \(d\) decimal places, it is not enough to say the error is small. Use the error bound to form an interval containing the true value, then check that the entire interval rounds to the same \(d\)-place number. The examples above use this test explicitly.
Other errors to avoid include using the first omitted term as a bound when the series is not alternating with decreasing term magnitudes, and applying a Lagrange bound without checking the derivative on the entire interval. For logarithms, forgetting the factor \(2\), using a denominator that does not match the power, or treating a positive tail as if it could have either sign can also invalidate the conclusion.
These methods matter whenever a function value must be estimated with controlled precision. The useful result is not simply a string of digits: it is a numerical estimate paired with a reason those digits are reliable.
Check Your Understanding
For each question, identify what expansion or error information you would use, and give a justified conclusion where requested.
- For \(e^{0.1}\), what derivative bound would you use for a degree-four Maclaurin polynomial on the interval from \(0\) to \(0.1\)?
- Write the degree-five Maclaurin polynomial for \(\sin(0.3)\), and identify the first omitted term used in an alternating-series error bound.
- For \(\ln(1.1)\), calculate \(z=(x-1)/(x+1)\). Why is this substitution suitable for the logarithmic series?
- If an estimate is \(0.73642\) with error at most \(0.00003\), is \(0.736\) justified to three decimal places? Explain using an interval.
- State the two conditions needed to use the first omitted term as an alternating-series error bound.