http://www.mathhelpforum.com/math-he...1&d=1210811224

Printable View

- May 14th 2008, 04:27 PMszpengchaointermediate value theorem
- May 14th 2008, 04:53 PMarbolis
- May 14th 2008, 04:55 PMszpengchaooh..
i m actually not meaning the first part...

- May 14th 2008, 05:04 PMarbolis
Ok. Next time be more precise then (Wink). Take a look at Mean value theorem - Wikipedia, the free encyclopedia. You must prove this theorem... called the mean value theorem. (or something very close to it).

- May 14th 2008, 05:10 PMszpengchaodotdot
is there any connection between mean value theorem and the thing we asked to prove ?

i mean the f(b') - f(a') / ... = k - May 14th 2008, 05:19 PMarbolisQuote:

is there any connection between mean value theorem and the thing we asked to prove ?

- May 14th 2008, 06:38 PMszpengchaocant see
i still cant see any obvious connection...

anyone who can do it for me please? - May 14th 2008, 06:42 PMszpengchaobe careful
be careful. hav u seen that f'(a) < k < f'(b)

that is f', not f - May 14th 2008, 07:30 PMThePerfectHacker
The intermediate value theorem for derivatives states that if $\displaystyle f:I\mapsto \mathbb{R}$ is a differenciable function then $\displaystyle f'$ has the intermediate value property on $\displaystyle I$, an open interval. Meaning if $\displaystyle a,b\in I$ with $\displaystyle a<b$ and $\displaystyle c$ lies (strictly) between $\displaystyle f'(a)$ and $\displaystyle f'(b)$ there exists $\displaystyle x_0\in (a,b)$ so that $\displaystyle f'(x_0) = c$.

Without lose of generality we will assume that $\displaystyle f'(a) < c < f'(b)$. Now define the function $\displaystyle g:[a,b]\mapsto \mathbb{R}$ as $\displaystyle g(x) = f(x) - cx$. Since $\displaystyle g$ is continous on $\displaystyle [a,b]$ it assumes a minimum value. We will now show that $\displaystyle g$__does not__take a minimum value at $\displaystyle a$. Note that $\displaystyle g'(a) = f'(a) - c < 0$. But since $\displaystyle g'(a) = \lim_{x\to a^+}\tfrac{g(x)-g(a)}{x-a} < 0$ it follows that $\displaystyle g(x) - g(a)<0$ for $\displaystyle a<x$ sufficiently close to $\displaystyle x$. Thus, there exists $\displaystyle y\in (a,b)$ so that $\displaystyle g(y) - g(a) < 0$, which is means $\displaystyle g(y) < g(a)$, in particular $\displaystyle a$ is not a minimum for $\displaystyle g$. Using a similar argument we can show $\displaystyle b$ is not a minimum for $\displaystyle g$. Thus, $\displaystyle g$ has a minimum on $\displaystyle (a,b)$ and so there is a point $\displaystyle x_0 \in (a,b)$ so that $\displaystyle g'(x_0) = 0\implies f'(x_0) = c$.