6
$\begingroup$

i need someone to verify if i'm doing anything wrong on proving the following theorem (i'm new to real analysis and formal proofs). Also, suggestions on how to write it better would be appreciated.

$f: I\rightarrow R$ differentiable. Beteween two consecutives roots of $f'$ there is at most one root of $f$

I think i can see why this is true.

Informal Attempt: Let $g$ be a constraint of $f$ to the interval $[a,b]$, $a<b$, $g: [a,b]\rightarrow R$. if $f'(a)=g'(a)$ and $f'(b)=g'(b)$ are consecutive zeros of $f'$, they are the sole zeros of $g'$. By the Weierstrass extreme value theorem, since $g$ is continuous and $[a,b]$ is a compact set, we know $g$ obtains its extreme values. Since the only two zeroes of $g'$ are, by its very definition, $a$ and $b$, they must be these extreme values.

From this point on, i know that, by "looking" at the graph of $g$, it must intersect the $x$ axis at most once, otherwise there would be other $g'(x)=0$. How can i write this down formally? Have i missed anything? After proving that result for $g$, I intended to apply it to $f$ and get to the final result.

Thanks for your attention.

$\endgroup$
  • 2
    $\begingroup$ It would be one of the implications of Rolle's theorem. If $f$ is continuous over $[a,b]$ and differentiable over $(a,b), f(a) = 0,$ and $f(b) = 0$ then there exists a $c$ in $(a,b)$ such that $f'(c) = 0$ The contrapositive would say that if $f'(x) \ne 0$ for all $x \in (a,b)$ then there is at most one $0$ in [a,b] $\endgroup$ – Doug M Jul 19 '17 at 20:15
6
$\begingroup$

Assume there are $2$ or more roots of $f$ in between the $2$ consecutive roots of $f'$. Rolle's theorem says there must be another stationary point between $2$ of those roots of $f$ which leads to a contradiction.


Depending on context, you may need to prove Rolle's theorem, of course.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.