With the first terms counted from the constant term, Taylor's theorem giveswhere lies between and . Continuous derivatives through order on the joining interval are a sufficient hypothesis for this Taylor theorem with Lagrange remainder. The Taylor remainder measures the error of the finite Taylor polynomial; convergence of the corresponding infinite Taylor series is a separate question.
For , the required derivatives areAt these give , , and . Setting , the three-term Taylor polynomial yieldsBy the Taylor theorem with Lagrange remainder, the signed error isIt is positive, and . ConsequentlyThe last comparison is exact because . Thus the estimate is an underestimate with the required rigorous absolute error bound.
Use the Maclaurin series and . The terms through fourth degree giveIn particular the cubic coefficient cancels; it has not been omitted accidentally.
The Maclaurin series give and . Inverting the latter using the geometric series givesMultiplying the two expansions yieldsThe remainder is because the product already generates an term from .
Articles by others on the same topic
There are currently no matching articles.