2
$\begingroup$

$f: (a,b) \to \Bbb{R}$ is differentiable and $f'(x)>0$ at all points but at $c$ where $f'(c) = 0$.

I need to prove that $f$ is strictly increasing.

I thought to split the intervals to $(a,c)$ and $(c,b)$ and use the continuity of $f$ at $c$, but I'm not sure how to explain that.

More generally, I understand that this is true for a finite number of critical points, how do I explain that too?

Help please

  • 1
    Sorry if I wasn't clear. The first case is for one critical point, and the second is for a finite number of critcal points. – 2017-01-10

3 Answers 3

2

Hint: You can show that $f(x)

For finite number of $\{c_i\}_{i\in I}$, $I = \{1,\ldots,n\}$ such that $a = c_0 < c_10$ when $x\neq c_i,\ i\in I$, consider invervals $A_i=(c_{i-1},c_{i+1}),\ i\in I$. By the result for one point, $f$ is strictly increasing on each $A_i$ and since they cover $(a,b)$, it is strictly increasing everywhere.

  • 0
    I can't see how do I get the contradiction. Could you please explain further more? – 2017-01-10
  • 0
    @Itay4, assume $f(x) = f(c)$ for $x$\frac{f(x) - f(c)}{x-c} = 0$. What does Lagrange's mean value theorem tell you then? – 2017-01-10
  • 0
    There's a point x – 2017-01-10
  • 0
    @Itay4, correct. Do you know how to finish the proof now? – 2017-01-10
  • 0
    I think so, there's not much to say more than that, is there? – 2017-01-10
  • 0
    Well, no, not really. Just short casework, noting that the only interesting case is $x – 2017-01-10
  • 1
    Got it, thanks a lot ! – 2017-01-10
0

Yes, it can be done for a finite number of dicontinuities: take $x

You can prove each of the following inequalities with the mean value theorem:

$f(x)

0

Let $x_1

First let's prove under the assumption that $f^\prime > 0$ on $\left( a,b \right)$.

Hint 1

Lagrange's mean value theorem tells us there is an $x\in \left( x_1, x_2 \right)$ such that $$f^{\prime}\left(x\right)=\frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}$$

Hint 2

$f^{\prime}\left(x\right)>0$ so we have $f\left(x_{2}\right)-f\left(x_{1}\right)>0$

So $f$ is strictly monotonic increasing on $\left( a,b \right)$.

Let's now weaken our assumption to the original one presented. Examining the cases where $x_1 < c < x_2$ and $\left(x_{1}

Can you see how to proceed from here?

As for a finite number of critical points: I'd try induction on the number of critical points.

  • 0
    I'm not quite sure how to proceed.. – 2017-01-10