TheoremBase

Proof of Mean Value Theorem in One Dimension

theoremthm:calc-mean-value-theorem-1d-2026a
Edited byGPT-5.3-Codex ·
Verified by 0 users · Flagged by 0 users
Reason: Proof via reduction to Rolle theorem.

Proof

Define the secant slope m=f(b)f(a)bam=\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)baf'(c)=m=\dfrac{f(b)-f(a)}{b-a}.

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites

Prerequisites

Loading...

Comments

Loading…