Prerequisites
Derivatives through third order, factorials, and absolute-value inequalities.
A quadratic Taylor polynomial at a is f(a) + f'(a)(x-a) + f''(a)(x-a)^2/2. If |f'''| <= M throughout the segment from a to x, the absolute remainder is at most M|x-a|^3/6. The bound is not the actual error.
Worked example
For f(x)=x^3 at a=1, P2(1+h)=1+3h+3h^2. The exact remainder is h^3, which also meets the third-derivative bound with M=6.
Model and Assumptions
Approximate f(x)=ln(1+x) about a=0 for 0 <= x <= 0.2. Its derivatives at zero are f(0)=0, f'(0)=1, f''(0)=-1. On this interval f'''(x)=2/(1+x)^3 is positive and at most 2.
Further inquiry
Derive P2 and its remainder bound. Repeat the bound on [-0.2,0], choosing a valid derivative maximum there, and explain both the changed bound and the sign of the remainder.
Review criteria
- Use a bound valid on the whole segment, not just at zero.
- Obtain M=125/32 and an endpoint bound of 1/192 on the negative interval.
- Distinguish a signed remainder from its absolute bound.