Akki Rolles Theorem
Akki Rolles Theorem
Akki Rolles Theorem
done. By tilting the picture, we have reduced the statement to a special case which is important by itself: Rolles theorem: If f (a) = f (b) and f is dierentiable, then there exists a critical point p of f in the interval (a, b).
fb fa
Here is the proof: If it were not true, then f (x) = 0 and we would have f (x) > 0 everywhere or f (x) < 0 everywhere. The monotonicity would mean however that f (b) > f (a) or f (b) < f (a).
b a
Here are a few examples which illustrate the theorem:
Here is a second proof: Fermats theorem assures that there is a local maximum or local minimum of f in (a, b). At this point the derivative is zero. This means f (x) = 0. We have also seen a related fact that if f is continuous and f (a) = f (b) then there is a local maximum or local minimum in the interval (a, b). This fact is more general and applies to every continuous function. The derivative does not need to exist.
1 2 3
Verify with the mean value theorem that the function f (x) = x2 + 4 sin(x) + 5 has a point where the derivative is 1. Solution. Since f (0) = 5 and f (1) = 6 we see that (f (1) f (0))/(1 0) = 5. Verify that the function f (x) = 4 arctan(x)/ cos(x) has a point where the derivative is 3. Solution. We have f (0) = 1 and f (1) = 2. Apply the mean value theorem.
5 6
There is a point in [0, 1] where f (x) = 0 with f (x) = x(1 x2 )(1 sin(x)). Solution: We have f (0) = f (1) = 0. Use Rolles theorem. Show that the function f (x) = sin(x) + x( x) has a critical point [0, ]. Solution: The function is nonnegative and zero at 0, .It is also dierentiable and so by Rolles theorem there is a critical point. Remark. We can not use Rolles theorem to show that there is a local maximum even so the extremal value theorem assures us that this exist. Verify that the function f (x) = 2x3 + 3x2 + 6x + 1 has only one real root. Solution: There is at least one real root by the intermediate value theorem: f (1) = 4, f (1) = 12. Assume there would be two roots. Then by Rolles theorem there would be a value x where g (x) = f (x) = 6x2 + 6x + 6 = 0. But there is no root of g . [The graph of g minimum at g (x) = 6 + 12x = 0 which is 1/2 where g (1/2) = 21/2 > 0.]
A biker drives with velocity f (t) at position f (b) at time b and at position a at time a. The value f (b) f (a) is the distance traveled. The fraction [f (b) f (a)]/(b a) is the average speed. The theorem tells that there was a time when the bike had exactly the average speed. 4 The function f (x) = 1 x2 has a graph on (1, 1) on which every possible slope is taken. Solution: We can see this with the intermediate value theorem because f (x) = x/ 1 x2 gets arbitrary large near x = 1 or x = 1. The mean value theorem shows this too because we can take intervals [a, b] = [1, 1 + c] for which [f (b) f (a)]/(b a) = f (1 + c)/ci c/c = 1/ c gets arbitrary large. Why is the theorem true? The function h(x) = f (a) + cx, where c = (f (b) f (a)/(b a) also connects the beginning and end point. The function g (x) = f (x) h(x) has now the property that g (a) = g (b). If we can show that for such a function, there exists x with g (x) = 0, then we are
1
Who was the rst to nd the mean value theorem? It is not so clear. Joseph Louis Lagrange is one candidate. Also Augustin Louis Cauchy (1789-1857) is credited for a modern formulation of the theorem.
Homework
1 2 3
The function f (x) = 1 |x| satises f (1) = f (1) = 0 but there is no point where f (x) = 0. Is this a counter example to Rolles theorem? Use Rolles theorem and the intermediate value theorem to show that the function f (x) = x3 + 3x + 1 has exactly one root. You do not have to nd the root. We look at the function f (x) = log |x| + sin(x) on the positive real line a) Use the mean value theorem to assure the there is a p where f (p) = 1000. b) Use the intermediate value theorem applied to the function f (x) to assure the same. Cauchys mean value theorem states that for any two dierentiable function and any interval (a, b), there exists c for which (f (b) f (a))g (c) = (g (b) g (a))f (c). We want to prove this here. Dene the function h(x) = (f (b) f (a))(g (x) g (a)) (g (b) g (a))(f (x) f (a)). a) Verify that h(a) = h(b) = 0. b) Compute h (x). c) Use Rolles theorem to verify that there is a c for which h (c) = 0.
4
Joseph Louis Lagrange, 1736-1813. Augustin Louis Cauchy, 1789-1857.
What about Michel Rolle? He lived from 1652 to 1719, mostly in Paris. No picture of him seems available. Rolle also introduced the nth root notation like when writing the cube root as 3 x.
Given the function f (x) = x sin(x) and the function g (x) = cos(x). Verify (using Cauchys mean value theorem from the previous problem) that there is a point p (0, /2) for which f (p)/g (p) = /2. You do not have to nd the point.