# Thread:

1. ## proof: working with derivatives, possibly mean value theorem?

Let f:R-->R be differentiable for all x. Suppose that f'(x)>1 for all x. Show that the graph of y=f(x) can intersect the graph of y=x no more than once.

I have no idea where to even begin... any ideas?

2. Originally Posted by sfspitfire23
Let f:R-->R be differentiable for all x. Suppose that f'(x)>1 for all x. Show that the graph of y=f(x) can intersect the graph of y=x no more than once.

I have no idea where to even begin... any ideas?
First you need to realize what the question is asking.

If $\Gamma_f$ (the graph) intersects $\Delta=\left\{(x,x):x\in\mathbb{R}\right\}$ then that means that $(x,f(x))=(x,x)\implies f(x)=x$. So, why can't we have that $f(x)=x,f(x')=x'$ for $x\ne x'$?

3. Isn't x' just going to be zero, though, seeing as x is any real number?

4. Originally Posted by sfspitfire23
Isn't x' just going to be zero, though, seeing as x is any real number?
I have no idea what you mean. This is much, much simpler than you're making it. The question is asking why a function whose derivative which is strictly greater than one can't have two fixed points. To see this suppose that it did, call them $x_1,x_2,\text{ }x_1<x_2$. Then, what does the MVT say about the derivative of $f$ on $[x_1,x_2]$?

5. Oh I see now. So if we suppose towards contradiction that f has two fixed points: x_1 and x_2 with x_1< x_2, then we would have f(x_1)= x_1 and f(x_2)= x_2. Then, by the Mean Value Theorem, we would have for some c in the interval (x_1, x_2):
f'(c) = f(x_2) - f(x_1) / x_2 - x_1 = (x_2 - x_1)/(x_2 - x_1) = 0
which contradicts the assumption that f'(x)>1 for all x...?

6. Originally Posted by sfspitfire23
Oh I see now. So if we suppose towards contradiction that f has two fixed points: x_1 and x_2 with x_1< x_2, then we would have f(x_1)= x_1 and f(x_2)= x_2. Then, by the Mean Value Theorem, we would have for some c in the interval (x_1, x_2):
f'(c) = f(x_2) - f(x_1) / x_2 - x_1 = (x_2 - x_1)/(x_2 - x_1) = $\color{red}1$
which contradicts the assumption that f'(x)>1 for all x...?
Yes, except I'm sure you meant what I changed above

7. In more general terms, given $f'(x)\neq 1$, you can have at most one fixed point. But if you also have $|f'(x)|\leq A<1$, then you know for sure that there exists a fixed points, and hence it is unique. To show this, take the sequence defined by $x_{n+1}=f(x_n)$ and show it is convergent to the unique fixed points.

#### Search Tags

View Tag Cloud

Copyright © 2005-2013 Math Help Forum. All rights reserved.
{"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": 12, "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": 5, "enable": false}, "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.959771454334259, "perplexity_flag": "head"}