# Thread:

1. ## The Derivative

May someone please show me how to proof the following:

Let f be differentiable on I. Show that if f is monotone increasing on I, then
f '(x) >= 0 for all x in I.

Note: >= is greater or equal to.

My idea:
Suppose that f is monotone increasing, that is f(x) <= f(c) for all x such that x<c. ... Then I know that after, we have to somehow say that [f(x)-f(c)]/(x-c) >= 0.
Can someone explain more and do we need any theorem to support the proof?
Thank you .

2. Originally Posted by zxcv
May someone please show me how to proof the following:

Let f be differentiable on I. Show that if f is monotone increasing on I, then
f '(x) >= 0 for all x in I.

Note: >= is greater or equal to.

My idea:
Suppose that f is monotone increasing, that is f(x) <= f(c) for all x such that x<c. ... Then I know that after, we have to somehow say that [f(x)-f(c)]/(x-c) >= 0.
Can someone explain more and do we need any theorem to support the proof?
Thank you .
Suppose that for some $x \in I\ f'(x)<0$.

Let $h>0$ then as $f$ is monotone increasing:

$<br /> \frac{f(x+h)-f(x-h)}{h} \ge 0<br />$

Hence:

$<br /> \lim_{h \to 0}\frac{f(x+h)-f(x-h)}{h} = f'(x) \ge 0<br />$

a contradiction, so there is no such point.

CB

3. Originally Posted by CaptainBlack
Hence:

$<br /> \lim_{h \to 0}\frac{f(x+h)-f(x-h)}{h} = f'(x) \ge 0<br />$

a contradiction, so there is no such point.
Can you explain that a bit more. I'm getting lost in the letters.

4. Originally Posted by HeirToPendragon
Can you explain that a bit more. I'm getting lost in the letters.
If $f'(x)<0$ at some $x$ point in $I$, then at that point (this uses the definition of having a derivative at that point):

$<br /> \lim_{h \to 0}\frac{f(x+h)-f(x-h)}{h} = f'(x) < 0<br />$

but we have just shown that as $h$ approaches $0$ from the left (using the assumption that $f$ is monotone increasing and the existance of the derivative at the point):

$<br /> \lim_{h \to 0}\frac{f(x+h)-f(x-h)}{h} = f'(x) \ge 0<br />$

which is a contradiction.

The only properties it uses are that $f$ is monotone increasing and the definition of a derivative.

CB

5. I understand all that. What I'm confused on is how you know that f'(x) > 0

Is there a theorem out there or a general rule I'm not understanding?

We know that
$\frac{f(x+h)-f(x-h)}{h} \ge 0$

But how does that prove that
$\lim_{h \to 0}\frac{f(x+h)-f(x-h)}{h} = f'(x) \ge 0$
What is the reason that f'(x) can't be < 0 there?

6. Originally Posted by HeirToPendragon
I understand all that. What I'm confused on is how you know that f'(x) > 0

Is there a theorem out there or a general rule I'm not understanding?

We know that
$\frac{f(x+h)-f(x-h)}{h} \ge 0$

But how does that prove that
$\lim_{h \to 0}\frac{f(x+h)-f(x-h)}{h} = f'(x) \ge 0$
What is the reason that f'(x) can't be < 0 there?[/font]

If $f(x)$ is monotone increasing what is the sign of:

$\frac{f(x+h)-f(x-h)}{h}$

when $h>0$ ?

CB

7. What do you mean the sign?

Do you mean is it positive or negative?

It's positive. That makes perfect sense. But what I don't understand is why you know the lim of it is also positive.

If a(x) is positive does that mean that it's lim has to be?

8. Originally Posted by HeirToPendragon
What do you mean the sign?

Do you mean is it positive or negative?

It's positive. That makes perfect sense. But what I don't understand is why you know the lim of it is also positive.

If a(x) is positive does that mean that it's lim has to be?
No it means the limit cannot be negative.

CB

9. Ok so what is the proof/reasoning for that?

I don't mean to sound annoying, but I really want to know why I'm allowed to just say this.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 22, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9618663787841797, "perplexity_flag": "head"}