3
$\begingroup$

I want to prove the following statement:

Let $f$ and $g$ be two real functions continuous in some interval $[a, b]$ and differentiable in $(a, b)$. If $f' = g'$, then $f(x) = g(x) + c$, where $c$ is a constant.

I thought I could argue like this: Consider $h(x) = f(x) - g(x)$. Knowing that $h' = 0$, we want to prove that $h$ is constant. Pick any $k \in (a,b)$, then $h'(k) = 0$. Therefore (and this is the part I'm not sure about), by Rolle's theorem we can find $d, e \in (a, b)$ such that $d < k < e$ and $h(d) = h(e)$. Since this must be true for any $d, e, k$, $h$ is a constant.

Is this a correct application of Rolle's theorem?

  • 0
    **Hint.** Let $r\in (a,b]$. By the Mean Value Theorem, there exists $c$ in $(a,r)$ such that $f'(c) = (f(r)-f(a))/(r-a)$. Therefore...2012-04-30

2 Answers 2

8

No, this is not correct. That is, the converse of Rolle's theorem does not hold (if this is what you're asking). For instance, let $f(x)=x^3$ on $[-1,1]$. Then $f'(0)=0$ but there are not two points $c$ and $d$ in $[-1,1]$ with $c\ne d$ and $f(c)=f(d)$.

3

As Chris Eagle said. If $x, y \in (a,b)$ by mean value theorem, we have $ 0 = h'(c) = \dfrac{h(x) - f(y)}{x-y}.$ Hence, $ h(x) = h(y)$ and $h$ is a constant.