How to Prove a Limit in Calculus

  • Thread starter Thread starter djh101
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving a limit in calculus, specifically the limit as x approaches 9 of the function √(x-5), which is claimed to equal 2. Participants express uncertainty about the process of proving limits and seek clarification on the necessary steps.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the formal definition of limits involving ε and δ, with attempts to establish the relationship needed to prove the limit. Some participants question how to determine an appropriate δ based on a given ε. Others explore the implications of their inequalities and the conditions under which they hold true.

Discussion Status

There is an ongoing exploration of the relationship between ε and δ, with some participants suggesting specific forms for δ based on their calculations. While some guidance has been offered regarding the steps to take, there is no explicit consensus on the final approach or solution yet.

Contextual Notes

Participants note that the original problem statement lacks detail, which contributes to their uncertainty. There is also mention of the need to work backwards from their exploratory arguments to validate their claims about the limit.

djh101
Messages
158
Reaction score
5

Homework Statement


Prove the limit. I'm not entirely sure how to prove limits, the book doesn't go into much detail.


Homework Equations


Lim x→9 √(x-5) = 2


The Attempt at a Solution


Prove |x - 9| < δ

|√(x-5) - 2| < ε
2 - ε < √(x - 5) < 2 + ε
ε2 - 4ε + 4 < x - 5 < ε2 + 4ε + 4
ε2 - 4ε < x - 9 < ε2 + 4ε
δ = ε2 + 4ε
 
Physics news on Phys.org
djh101 said:
Lim x→9 √(x-5) = 2

For proving limits, you need to show that, for all [itex]\varepsilon > 0[/itex], there exists a [itex]\delta > 0[/itex] such that

[itex]|x - 9| < \delta \implies |\sqrt{x - 5} - 2| < \varepsilon[/itex]

So to begin, choose an [itex]\varepsilon > 0[/itex]. Then you need to choose a [itex]\delta > 0[/itex] such that the above implication is true.
 
djh101 said:

Homework Statement


Prove the limit. I'm not entirely sure how to prove limits, the book doesn't go into much detail.

Homework Equations


Lim x→9 √(x-5) = 2

The Attempt at a Solution


Prove |x - 9| < δ
No, that isn't what you are trying to prove. The problem is to figure out a δ > 0 that will make your next inequality true if 0 < |x - 9| < δ.

|√(x-5) - 2| < ε
You can tell by looking that if x is close to 9 then |√(x-5) - 2| will be close to zero, but how close x needs to be to 9 depends on how small ε is. The next few steps might be called an exploratory argument

2 - ε < √(x - 5) < 2 + ε
ε2 - 4ε + 4 < x - 5 < ε2 + 4ε + 4
ε2 - 4ε < x - 9 < ε2 + 4ε
δ = ε2 + 4ε

Without multiplying those squares out you have

(2-ε)2 - 4 < x - 9 < (2+ε)2 - 4

Notice that the left side is negative (at least if ε < 2) and the right side is positive, so this is almost n the form

-δ < x - 9 < δ

but the δ on the left would be 4 - (2-ε)2 and the δ on the right is (2+ε)2 - 4

Figure out which of those is the smaller and use it for δ. Then you can reverse your argument like this:

Given ε > 0 let δ = [your minimum value here]. Then if |x - 9| < δ [work your steps backwards here to end up with |√(x-5) - 2| < ε.
 
Last edited:
Okay, so I've come down to δ1 = -ε2 + 4ε and δ2 = ε2. δ1 will be smaller so δ = -ε2 + 4ε.

So, [itex]\forall[/itex] ε > 0, [itex]\exists[/itex] δ = -ε2 + 4ε > 0 such that |[itex]\sqrt{x - 5}[/itex] - 2| < ε whenever |x - 9| < δ, therefore Lim x→4 (9-x) = 5.

Am I on the right track?
 
djh101 said:
Okay, so I've come down to δ1 = -ε2 + 4ε and δ2 = ε2. δ1 will be smaller so δ = -ε2 + 4ε.

So, [itex]\forall[/itex] ε > 0, [itex]\exists[/itex] δ = -ε2 + 4ε > 0 such that |[itex]\sqrt{x - 5}[/itex] - 2| < ε whenever |x - 9| < δ, therefore Lim x→4 (9-x) = 5.

Am I on the right track?

Word it like this. Given ε > 0, let δ = -ε2 + 4ε. (People will think WOW! Where did that come from because you aren't going to show them that scratch paper with the exploratory argument.) But at this point, you can't just assert |[itex]\sqrt{x - 5}[/itex] - 2| < ε whenever |x - 9| < δ because why would anyone believe you? You have to show the steps working backwards in your exploratory argument. So the next step would be to show, explaining how you know, that if |x - 9| < δ then

(2-ε)2 - 4 < x - 9 < (2+ε)2 - 4

so you can proceed working backwards to your conclusion:
|[itex]\sqrt{x - 5}[/itex] - 2| < ε
 
Okay, I think I get it. Thanks you.
 

Similar threads

Replies
7
Views
4K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
14
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
7
Views
5K
  • · Replies 5 ·
Replies
5
Views
3K