Application of Rolle's Theorem

Click For Summary

Homework Help Overview

The discussion revolves around the application of Rolle's Theorem to prove properties of even functions that are differentiable on the real line. The original poster presents two statements regarding the existence of solutions to the equation f'(x)=0 and the value of f'(0) for even functions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the function being even and differentiable, suggesting the application of Rolle's Theorem. They discuss the limits involved in the definition of differentiability at zero and how they relate to the symmetry of the function.

Discussion Status

There is an ongoing exploration of the mathematical reasoning behind the statements made by the original poster. Some participants provide guidance on applying Rolle's Theorem and analyzing limits, while others seek clarification on the correctness of the original poster's reasoning.

Contextual Notes

Participants note the importance of the function being even and differentiable, as well as the continuity of the derivative at zero, which are central to the discussion. There is an emphasis on the definitions and properties of even functions in relation to their derivatives.

mtayab1994
Messages
584
Reaction score
0

Homework Statement



1) Prove that if f is an even function and is differentiable on R then the equation f'(x)=0 has at least a solution in R.

2) Conclude that if f is an even and differentiable function on R and f' is continuous at 0 than f'(0)=0.



The Attempt at a Solution



1)We know that f is an even function so that means that f(x)=f(-x) and it's differentiable on R. So that means that there exists either an Mam or a min value in R such that f'(m)=0 or f'(M)=0, and by substituting x for m we get f'(x)=0.

2)We know that f is even and differentiable on R so f has an axis of symmetry or a point of symmetry at the point 0. So f'(0)=0. Can someone tell me if this correct? If not what can i do to fix it. Thank you .
 
Physics news on Phys.org
"Max" or "min" is not relevant. If f is an even function, then f(1)= f(-1). Now apply Rolle's theorem.

For 2, you can go back to the definition of "differentiable".

If f is differentiable at 0, [itex]f'(0)= \lim_{h\to 0} (f(h)- f(0))/h[/itex]. Now look at the limits "from above" and "from below". From below, [itex]\lim_{h\to 0^-} (f(h)- f(0))/h[/itex]. Let h= -h' and that becomes [itex]\lim_{h'\to 0^+}(f(h')- f(0))/h= \lim_{h\to 0^+} (f(-h)- f(0))/(-h)[/itex]. Because f is even, that is the same as [itex]\lim_{h\to 0^+}(f(h)- f(0)/(-h)= -\lim_{h\to 0}(f(h)- f(0))/h[/itex]. Now compare that with the limit from above.
 
HallsofIvy said:
"Max" or "min" is not relevant. If f is an even function, then f(1)= f(-1). Now apply Rolle's theorem.

For 2, you can go back to the definition of "differentiable".

If f is differentiable at 0, [itex]f'(0)= \lim_{h\to 0} (f(h)- f(0))/h[/itex]. Now look at the limits "from above" and "from below". From below, [itex]\lim_{h\to 0^-} (f(h)- f(0))/h[/itex]. Let h= -h' and that becomes [itex]\lim_{h'\to 0^+}(f(h')- f(0))/h= \lim_{h\to 0^+} (f(-h)- f(0))/(-h)[/itex]. Because f is even, that is the same as [itex]\lim_{h\to 0^+}(f(h)- f(0)/(-h)= -\lim_{h\to 0}(f(h)- f(0))/h[/itex]. Now compare that with the limit from above.

If f is continuous and differentiable on R then it's differentiable on [-1,1] so we get f(1)=f(-1) like you said. And rolle's theorem states that if f is continuous on [-1,1] and is differentiable on the open interval (-1,1) than there exists a c in (-1,1) such that f'(c)=0. Correct right?
 
HallsofIvy said:
"Max" or "min" is not relevant. If f is an even function, then f(1)= f(-1). Now apply Rolle's theorem.

For 2, you can go back to the definition of "differentiable".

If f is differentiable at 0, [itex]f'(0)= \lim_{h\to 0} (f(h)- f(0))/h[/itex]. Now look at the limits "from above" and "from below". From below, [itex]\lim_{h\to 0^-} (f(h)- f(0))/h[/itex]. Let h= -h' and that becomes [itex]\lim_{h'\to 0^+}(f(h')- f(0))/h= \lim_{h\to 0^+} (f(-h)- f(0))/(-h)[/itex]. Because f is even, that is the same as [itex]\lim_{h\to 0^+}(f(h)- f(0)/(-h)= -\lim_{h\to 0}(f(h)- f(0))/h[/itex]. Now compare that with the limit from above.

[tex]\lim_{h\rightarrow0^{-}}\frac{f(h)-f(0)}{h}=\lim_{h'\rightarrow0^{+}}\frac{f(h)-f(0)}{-h}=-\lim_{h'\rightarrow0^{+}}\frac{f(h)-f(0)}{h}[/tex]

and [tex]f'(0)=\lim_{h\rightarrow0}\frac{f(h)-f(0)}{h}=-\lim_{h'\rightarrow0^{+}}\frac{f(h)-f(0)}{h}[/tex]
and those two are equal because we said h=-h' so the negative from h' will go away with the negative from the limit and we will get that the limit equals the limit. So therefore f'(0)=0
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
8
Views
2K