How to do a delta-epsilon proof by contradiction?

shawli
Messages
77
Reaction score
0

Homework Statement



Prove that lim x→1 of x2 does not equal 1+10-10. You could use a proof by contradiction.

(It is question 2.b here)

Homework Equations



δ-ε proofs!

The Attempt at a Solution



Given ε > 0, there is some number δ > 0 such that if:

|x - a | < δ
|x - 0 | < δ
|x| < δ

Then:

| f(x) - L | < ε
| x2 - 1+10-10 | < ε...and here's where I get stuck. Delta-epsilon proofs always seemed a bit circular to me, and what confuses me about proving "by contradiction" here is the fact that I should be able to choose some δ and the limit WOULD approach 1+10-10 :s... I'm a bit lost on where to go from here!
 
Last edited:
Physics news on Phys.org
shawli said:

Homework Statement



Prove that lim x→0 of x2 does not equal 1+10-10. You could use a proof by contradiction.

(It is question 2.b here)

Homework Equations



δ-ε proofs!

The Attempt at a Solution



Given ε > 0, there is some number δ > 0 such that if:

|x - a | < δ
|x - 0 | < δ
|x| < δ

Then:

| f(x) - L | < ε
| x2 - 1+10-10 | < ε


...and here's where I get stuck. Delta-epsilon proofs always seemed a bit circular to me, and what confuses me about proving "by contradiction" here is the fact that I should be able to choose some δ and the limit WOULD approach 1+10-10 :s... I'm a bit lost on where to go from here!
So the (sketch of a) proof would go something like this ...
Assume that the limit, L = 1+10-10.

Then pick ε small enough so that no matter how small δ is, it's impossible to find an x for which both of the following are true:
0 < |x - 1| < δ​
and
| x2 - (1+10-10) | < ε​
How small do you suppose ε must be?
 
Is it a matter of picking something that is smaller than 10-10?
 
How about 1/2 of that?
 
One half of that... so 0.5-10 (or 5-11)?
Did you choose this for some specific reason or just arbitrarily?

Another question -- If I'm choosing a specific value of ε here that isn't based on δ (so far as I can tell!), then do I still have to go through those initial steps of simplifying |f(x) - L | < ε to make the left-hand side look like the expression for delta (i.e., | x - 1| < δ )? Or am I missing the point of something here completely... :frown:

Hmm... Because to show that something isn't true, I just need one example that works to disprove it. So I really can just choose a small ε (like, an actual number that isn't in terms of δ) and show that it doesn't work once and that's it?
 
shawli said:
...

Hmm... Because to show that something isn't true, I just need one example that works to disprove it. So I really can just choose a small ε (like, an actual number that isn't in terms of δ) and show that it doesn't work once and that's it?

That's the idea.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top