Proving 1-x≤e^-x for 0≤x≤1 by Calculus: Simple Inequality Proof

[soopo]

Homework Statement

Prove $$1 - x \leq e^{-x}$$ for $$0 \leq x \leq 1$$ by calculus.

The Attempt at a Solution

Sketching shows that the statement seems to be true.

Let's assume that
$$f(x) = x + e^{-x} -1$$, and
$$f(x) \geq 0$$.

If the function is continuous and increasing, then the function gets all the
values between the interval [0, $$e^{-1}$$], by Boltzmann's Min-Max theorem.
Thus, the initial assumptions are true.

Please, point out any mistakes.

 

[HallsofIvy]

Homework Statement

Prove $$1 - x \leq e^{-x}$$ for $$0 \leq x \leq 1$$ by calculus.

The Attempt at a Solution

Sketching shows that the statement seems to be true.

Let's assume that
$$f(x) = x + e^{-x} -1$$, and
$$f(x) \geq 0$$.

Here's your basic mistake- you are assuming what you want to prove!
$$f(x)\ge 0$$ is the same as [tex]x+ e^{-x}- 1\ge 0[/itex] which is the same as $$x- 1\ge -e^{-x}$$ and, multiplying both sides by -1, the same as $$1- x\le e^{-x}$$ <br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> If the function is continuous and increasing, then the function gets all the<br /> values between the interval [0, $$e^{-1}$$], by Boltzmann's Min-Max theorem.<br /> Thus, the initial assumptions are true.<br /> <br /> Please, point out any mistakes. </div> </div> </blockquote> You need to learn that your whole concept here is WRONG! You <b>cannot</b> assume the conclusion and then prove that the assumptions are true.[/tex]

 

[soopo]

You need to learn that your whole concept here is WRONG! You cannot assume the conclusion and then prove that the assumptions are true.

I changed the proof.

The Attempt at a Solution

We can write that
$$f(x) = x + e^{-x} -1$$.

We want to prove that
$$f(x) \geq 0$$.

If the function is continuous and increasing, then the function gets all the
values between the interval [0, $$e^{-1}$$], by Boltzmann's Min-Max theorem.

Thus, the statement is true if we can prove the continuity and the fact the
function increases.

The function is continuous.

Proof:
At any point $$c \in \Re, f(c)$$ is defined.
The limit of $$f(x)$$ exists as $$x$$ approaches $$c$$
either from the left or from the right, and it equals $$f(c)$$.

The function is clearly increasing, since $$f(0) < f(1)$$, and any point $$k$$ in the
interval [0, 1] is less or equal to f(1) that is $$f(k) \leq f(1)$$.

Thus, the statement must be true.

Please, point out any mistakes.

 

[epenguin]

The function is clearly increasing, since $$f(0) < f(1)$$, and any point $$k$$ in the
interval [0, 1] is less or equal to f(1) that is $$f(k) \leq f(1)$$.

Thus, the statement must be true.

You have not proved that as far as I can see.

You were asked to prove it by calculus.

You have not used any, but doing so would make it easy.

 

[HallsofIvy]

I changed the proof.

The Attempt at a Solution

We can write that
$$f(x) = x + e^{-x} -1$$.

We want to prove that
$$f(x) \geq 0$$.

If the function is continuous and increasing, then the function gets all the
values between the interval [0, $$e^{-1}$$], by Boltzmann's Min-Max theorem.

Thus, the statement is true if we can prove the continuity and the fact the
function increases.

The function is continuous.

Proof:
At any point $$c \in \Re, f(c)$$ is defined.
The limit of $$f(x)$$ exists as $$x$$ approaches $$c$$
either from the left or from the right, and it equals $$f(c)$$.

Have you proved that limit? It might be that you are allowed to assert that e^x is continuous and so f(x) is continuous. If not, you wil have to give a more detailed proof than simply stating that the limit is the value of the function. What, exactly, are you allowed to assume about e^x for this problem?

The function is clearly increasing, since $$f(0) < f(1)$$, and any point $$k$$ in the
interval [0, 1] is less or equal to f(1) that is $$f(k) \leq f(1)$$.

Again, you cannot simply assert that "any point $$k$$ in the interval [0, 1] is less or equal to f(1) that is $$f(k) \leq f(1)$$" Nor would proving that statement tell you anything useful; f might start out at f(0)= 0 drop below 0 before going back up to $e^{-1}$. Simply showing that "f(0)< f(1) and f(x)< f(1) for all x in [0, 1]" does NOT show that the function is increasing.

What is f'(x)? What is true about f'(x) for x between 0 and 1? What does that tell you?

Thus, the statement must be true.

Please, point out any mistakes.

 

[soopo]

What is f'(x)? What is true about f'(x) for x between 0 and 1? What does that tell you?

I get
$$f'(x) = 1 - e^{-x}$$

I see that
$$f'(0) = 0$$ and

$$f'(1) = 1 - e^{-1}$$,
which is greater than 0.

I note that f'(x) is the interval (0, 1] greater than zero.
This suggests me that the function is increasing.
(Is it this enough to prove that the function increases?)

Have you proved that limit? It might be that you are allowed to assert that ex is continuous and so f(x) is continuous. If not, you wil have to give a more detailed proof than simply stating that the limit is the value of the function.

It seems to be hard to prove for the general event.
I will try nevertheless.

We have a problem
$$lim_{x -> c} f(x)$$,
where $$c$$ is a real number and belongs to the interval [0, 1].

Proof:

Let $$\epsilon > 0$$.
We need to find $$\delta > 0$$ such that
$$0 < |x - c| < \delta => |(x + e^{-x} -1) - C| < \epsilon$$,
where $$f(c) = C$$.

The choice is of $$\delta$$ is hard because we have a general proof.
Perhaps, we should prove first that the minimum point has a limit.
Then, we could similarly say that the maximum point has a limit.
Thus, it may be possible to say that each point in the interval has a limit.

Please, pinpoint my mistakes.

 

[epenguin]

I note that f'(x) is the interval (0, 1] greater than zero.
This suggests me that the function is increasing.
(Is it this enough to prove that the function increases?)

In a word, yes.
At least as long as the function exists and is continuous in the interval of interest.

Something starts as 0 and increases ever after, it must be > 0 ever after surely QED? - I cannot see your problems unless it is that you have to express that simple idea in some difficult language, in which case I have butted in, but I hope the difficult language does not stop you seeing the simple ideas.

 

[soopo]

I cannot see your problems unless it is that you have to express that simple idea in some difficult language - -.

Please, let me know how I should do the proof correctly.
Do I need to use epsilon and delta in the proof of the limit?

 

[epenguin]

Please, let me know how I should do the proof correctly.
Do I need to use epsilon and delta in the proof of the limit?

I don't see you need epsilon, delta, or limit!
You are only trying to prove something is bigger than 0. If something increases it gets bigger.

Say your proof in your own words. If those are not the words you are supposed to say let your Prof. or someone here correct them.