# Continuous function proof help

Let $f : [a, b]\to R$ be a continuous function such that $[a,b] \subset [f(a), f(b)]$. Prove that there exists $x\in [a,b]$ such that $f(x) = x$.

My attempt: I said let there be a $\delta > 0$and defined $c$ and $d$ to be $x + \delta$ and $x-\delta$ respectively. From here since $f$ is continuous $[f(c), f(d)]\subset [f(a), f(b)]$. Then I assumed by definition $[c,d]$ is also a subset of $[f(c), f(d)]$. Then I claimed $\delta$ can be arbitrarily small so that $f(c) = f(d) = f(x)$.

Is this correct or is there a better approach?

-
If $[a,b]\cap [f(a),f(b)]=\emptyset$ then for any function $f:[a,b]\to \mathbb{R}$ (with this property) there is no such $x^*$. – vesszabo Nov 16 '12 at 13:23
It's not necessarily true that $[f(c),f(d)]$ is a subset of $[f(a),f(b)]$. Consider a function where $f(0) = 0$, $f(1) = (1)$ where $f(x)$ starts decreasing at $0$. – Jason DeVito Nov 16 '12 at 13:28

Your approach is not correct, since you are assuming what you are supposed to show. You cannot define $c$ and $d$ to be something which depends on $x^*$ before you have shown that there is such a number as $x^*$.

A better approach would be to consider the function $g(x)=f(x)-x$. Argue that $g$ is continuous, that $g(a)\leq 0$, and that $g(b)\geq 0$. Then there should be a result available that you can use.

-
I see. I'm trying to show $g(a)\leq 0$ but I'm having a hard time seeing how knowing $[a,b] \subset [f(a), f(b)]$ will help. I only know it is a subset and can't say much about their values. – Vincent Nov 16 '12 at 13:56
Try to draw the two intervals along a real line. What must the order of the four points be? What does that tell you about the size of $a$ and $f(a)$? – Per Manne Nov 16 '12 at 14:00
I know that $a < b$ and that $f(a) < f(b)$. But isn't it still possible for either $a$ to be greater than $f(a)$ or vice versa? – Vincent Nov 16 '12 at 14:08
Did you draw the two intervals with one being contained in the other? Try to find a numerical example where $[a,b]\subset [f(a),f(b)]$ and $a<f(a)$. (Hint: It can't be done.) – Per Manne Nov 16 '12 at 14:32

In $\mathbb R^2$ draw the straight line $y=x$ and consider any interval at the positive part of $x$-axis, you'll get some intuition. Your problem is saying that under some conditions the graph of your function is going to intersept the straight line $y=x$ in some point. Think about the conditions for it to happen..

-
{"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": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}