Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Rolle's Theorem and the Mean Value Theorem

Intermediate Value Theorem and Location Principle both apply to provide information about existence of tangent lines or, which is the same, derivatives of functions. What results is two formulations of the Mean Value Theorem of which one is more general but both are equivalent.

Theorem 1 (T1, Rolle's Theorem)

Let, for two real a and b, a < b, a function f be differentiable on a closed interval [a, b] such that f(a) = f(b) = 0. Then there exists a number x0[a, b] such that the line tangent to the graph of f at the point x0 is horizontal, i.e. f'(x0) = 0.

Theorem 2 (T2, Mean Value Theorem)

Let, for two real a and b, a < b, a function f be differentiable on a closed interval [a, b]. Then there exists a number x0[a, b] such that the line tangent to the graph of f at the point x0 is parallel to the chord connecting the two end points of the graph - (a, f(a)) and (b, f(b)).

Clearly T1 is only a special case of T2. However it's interesting that the more general T2 could be deduced from its special case, T1. Introduce a new function

(2)
g(x)= f(x) - (f(a) + (x - a)·(f(b) - f(a))/(b - a)).

Then it follows that g(a) = f(a) - (f(a) + 0) = 0 whereas

(2)
g(b)= f(b) - (f(a) + (b - a)·(f(b) - f(a))/(b - a)
 = f(b) - (f(a) + (f(b) - f(a))
 = 0.

Therefore, g(a)=g(b)=0 and we can apply T1 since g is also continuously differentiable on [a, b]. Therefore, there exists x0[a, b] such that g'(x0) = 0. Written explicitly this says f'(x) - (f(b) - f(a))/(b - a) = 0.

Q.E.D.

(There is a second, more extended, attempt, on this topic that is accompanied by an interactive Java illustration.)

Copyright © 1996-2008 Alexander Bogomolny

28676920Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

product of fractions
Posted by ke_45
3 messages
08:37 AM, May-06-08

Distance to the horizon
Posted by Monty
3 messages
04:38 PM, May-08-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Nim Games - a query
Posted by Akash Kumar
1 messages
08:53 AM, Apr-15-08

A typo in
Posted by alexwajn
1 messages
11:36 PM, Apr-19-08