TheoremBase

Proof

Define the secant slope m=f(b)−f(a)b−am=\dfrac{f(b)-f(a)}{b-a} and auxiliary function ϕ(x)=f(x)−mx\phi(x)=f(x)-mx. Then ϕ\phi is continuous on [a,b][a,b] and differentiable on (a,b)(a,b), and ϕ(a)=ϕ(b)\phi(a)=\phi(b). By Rolle's Theorem in One Dimension, there exists c∈(a,b)c\in(a,b) with ϕ′(c)=0\phi'(c)=0. Since ϕ′(x)=f′(x)−m\phi'(x)=f'(x)-m, we get f′(c)=m=f(b)−f(a)b−af'(c)=m=\dfrac{f(b)-f(a)}{b-a}.

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…