# Changes

## Lagrange mean value theorem

, 20:19, 20 October 2011
Proof
| 4 || $g$ is differentiable on $(a,b)$ || Fact (2) || $f$ is differentiable on $(a,b)$ || Steps (1), (2) || <toggledisplay>By Step (2), $g = f - h$. By Step (1), $h$ is linear and hence differentiable on $(a,b)$. Thus, by Fact (1), $g = f - h$, being the difference of two differentiable functions, is differentiable on $(a,b)$.</toggledisplay>
|-
| 5 || $\!g(a) = g(b) = 0$ || || || Steps (1), (2) || <toggledisplay>$h(a) = f(a)$ yields $g(a) = 0$. $h(b) = f(b)$ yields $g(b) = 0$.</toggledisplay>
|-
| 6 || There exists $c \in (a,b)$ such that $\!g'(c) = 0$. || Fact (3) || || Steps (3), (4), (5) || <toggledisplay>Steps (3), (4), (5) together show that $g$ satisfies the conditions of Rolle's theorem on the interval $[a,b]$, hence we get the conclusion of the theorem.</toggledisplay>
3,033
edits