considering x is an element of the real numbers and x^3 < 3
prove that there exists a real number 'alpha' such that
'alpha'^3 = 3

Apr 15th 2009, 02:20 PM

Showcase_22

What does the first part ave to do with the proof?

Here's what I did:

Define .

By algebra of continuity, f(x) is continuous. You can prove this using the delta-epsilon definition.

By the intermediate value theorem s.t .

You can prove that is unique using the mean value theorem. It does not mention in the question that this is the case so I have no included it in my answer.

Hope this helps!

Apr 15th 2009, 02:24 PM

Jhevon

Quote:

Originally Posted by Showcase_22

What does the first part ave to do with the proof?

i believe, based on the way the question was presented, that they want you to use the concept of "supremum". you have a set of real numbers that is bounded above. so by the completeness axiom....

Apr 15th 2009, 02:33 PM

Showcase_22

I've never done it this way before. Is it like that?

Apr 15th 2009, 02:48 PM

Jhevon

Quote:

Originally Posted by Showcase_22

I've never done it this way before. Is it like that?

yes. just say that the completeness axiom tells us we have a supremum, call it and claim that so that , as desired. then you go on to show, as you did (stating that ), that , proving the claim

indeed, for this type of problem, what you did (using the intermediate value theorem) is more conventional. but it can also be done by the above method, in the first part of a beginning analysis class, before IVT even comes on the scene