This is a challenge question:

Let with differentiable

Show there exists distinct points such that .

Moderator edit: Approved Challenge question.

Printable View

- Jul 21st 2010, 07:27 AMDinkydoeSmall Challenge
This is a challenge question:

Let with differentiable

Show there exists distinct points such that .

**Moderator edit: Approved Challenge question.** - Jul 21st 2010, 12:56 PMUnbeatable0
From Lagrange theorem it follows that there exist such that

so we can assume or for all

(otherwise the proof it trivial). Suppose we have and for some .

If then we're done.

If then and thus the existence of such

that is guaranteed by the intermediate value theorem for derivatives and we're done.

Otherwise and so either or . Either

way, using the intermediate value theorem for derivatives we're done again.

Now suppose the previous case is not true. That is, for all or for all

Therefore the function is either monotone increasing or monotone decreasing (by looking at the derivative).

Either way, it means that . But from the conditions on it follows that , a contradiction. - Jul 21st 2010, 04:23 PMDinkydoe
:)

Well done. - Jul 21st 2010, 04:28 PMUnbeatable0Quote:

Originally Posted by**Dinkydoe**

corresponds to the option .

corresponds to the option

I'm interested - what's your solution? - Jul 21st 2010, 04:34 PMDinkydoe
I allready corrected my statement ;p

Didnt expect such fast reply xp - Jul 21st 2010, 04:41 PMDinkydoe
My solution was a little shorter:

We may assume . (otherwise there's nothing to prove).

By the fundamental theorem of calculus we have . Hence we can't have or for all x. (since we also assumed )

But then there exist points such that f'(a)<1 and f'(b)>1 and the intermediate value theorem now gives that f'(x) reaches all points in (f'(a),f'(b)) and trivially we can find p,q in this interval such that pq= 1. - Jul 21st 2010, 04:55 PMUnbeatable0
- Jul 21st 2010, 05:00 PMDinkydoeQuote:

The fundumental theorem of calculus has the assumption that is continuous,

which is not given, and there are example of derivatives which are not continuous, so I think your argument is

not perfectly justified.

Second Fundamental Theorem of Calculus

We don't have to assume f'(x) is continuous. - Jul 21st 2010, 05:12 PMUnbeatable0
- Jul 21st 2010, 05:29 PMDinkydoeQuote:

It still does require to be integrable, which is not always the case (you can google some examples).

- Jul 22nd 2010, 02:05 AMUnbeatable0
That's not the definition.

See here: A differentiable function whose derivative is not integrable - Jul 22nd 2010, 03:53 AMtonio
- Jul 22nd 2010, 03:57 AMUnbeatable0
- Jul 22nd 2010, 04:16 AMDinkydoe
The examples given in your link are of oscillating functions that are unbounded. (at least from what I read) From say, ?

I hope you didn't forget our function is and is by definition bounded.

And I remember that a function can still be integrable, even though it may have a countable set of problem-points.

The second last post gives a function, from where they agree it is integrable....(oscillating but still bounded)

But, maybe we need help of an expert here. - Jul 22nd 2010, 04:23 AMUnbeatable0