Maths WorkshopMaths problems with full solutions
Exercise 1955Calculus › Single-variable calculus › Differentiation › Mean Value TheoremL1Added 4 Nov 2026

Second-order Taylor formula

#Taylor#MVT#second order

Statement

Let ff be C2C^2 on [a,b][a,b]. Show that there exists c∈]a,b[c\in]a,b[ with
f(b)=f(a)+f′(a)(b−a)+f′′(c)2(b−a)2.f(b)=f(a)+f'(a)(b-a)+\frac{f''(c)}{2}(b-a)^2.

Hint

Apply Rolle to g(x)=f(b)−f(x)−f′(x)(b−x)−M2(b−x)2g(x)=f(b)-f(x)-f'(x)(b-x)-\frac{M}{2}(b-x)^2 where MM is chosen so that g(a)=0g(a)=0.

Show solutionHide solution

Solution

Setup. Choose M=2[f(b)−f(a)−f′(a)(b−a)](b−a)2M=\frac{2[f(b)-f(a)-f'(a)(b-a)]}{(b-a)^2}, so that g(a)=0g(a)=0.

Rolle on gg. g(b)=0g(b)=0, g(a)=0g(a)=0; there exists c1∈]a,b[c_1\in]a,b[ with g′(c1)=0g'(c_1)=0. Compute g′(x)=−f′′(x)(b−x)+M(b−x)=(b−x)[M−f′′(x)]g'(x)=-f''(x)(b-x)+M(b-x)=(b-x)[M-f''(x)]. Since b−x>0b-x>0 on ]a,b[]a,b[, g′(c1)=0g'(c_1)=0 gives M=f′′(c1)M=f''(c_1).

Conclusion. f(b)=f(a)+f′(a)(b−a)+f′′(c1)2(b−a)2f(b)=f(a)+f'(a)(b-a)+\frac{f''(c_1)}{2}(b-a)^2.