Open main menu

Calculus β

Changes

Lagrange mean value theorem

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