How can the limit of sqrt(n^2+n)-n be proven using an epsilon-delta definition?

  • Thread starter Thread starter yskim19
  • Start date Start date
  • Tags Tags
    Limits Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving the limit of the expression sqrt(n^2+n)-n as n approaches infinity, specifically using the epsilon-delta definition. The original poster aims to demonstrate that this limit equals 1/2.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore various algebraic manipulations, including multiplying by the conjugate and simplifying expressions. Some suggest rewriting the expression in a different form to facilitate analysis. Others propose inequalities to establish relationships between epsilon and n.

Discussion Status

Several participants have offered alternative approaches to the problem, indicating a productive exploration of different methods. There is recognition of a misunderstanding regarding the limit's formulation, with some participants questioning the original poster's setup and assumptions.

Contextual Notes

There is a noted confusion about the correct expression to analyze, with one participant pointing out that the limit should be framed as |sqrt(n^2+n)-n-1/2|<ε instead of |sqrt(n^2+n)-n|<ε.

yskim19
Messages
1
Reaction score
0

Homework Statement


Prove (using epsilon-delta definition only) that the limit of the following expression:
[itex]sqrt(n^2+n)-n[/itex]
is 1/2, as n tends towards infinity.

Homework Equations


For any ε > 0, there exists some natural number N, such that:
n > N gives|f(n) - L| < ε

The Attempt at a Solution


Multiply by the conjugate pair and simplify to obtain:
[itex]n/[sqrt(n^2+n)+n][/itex]

Taking the expression to be compared against ε
|[itex]n/[sqrt(n^2+n)+n] - 1/2[/itex]| and finding a common denominator gives:

[itex]|2n/2[sqrt(n^2+n)+n] - [sqrt(n^2+n)+n]/2[sqrt(n^2+n)+n]|[/itex]
[itex]|[n-sqrt(n^2+n)] / 2[sqrt(n^2+n)+n]|[/itex]

The numerator is always negative and the denominator is always positive, so the expression can be re-written as:
[itex][sqrt(n^2+n) - n][/itex] / [itex]2[sqrt(n^2+n)+n][/itex]

I chose to split this up into two terms:
[itex]sqrt(n^2+n)[/itex] / [itex]2[sqrt(n^2+n)+n][/itex] minus
[itex]n[/itex] / [itex]2[sqrt(n^2+n)+n][/itex]

I have an expression in the form a/b-c/d. Decreasing "b", decreasing "c" and increasing "d" both increase the value of the expression, thus the expression below is strictly greater than the
expression above.

[itex]sqrt(n^2+n)[/itex] / [itex]2[sqrt(n^2+n)][/itex] minus
[itex]1[/itex] / [itex]2[sqrt(n^2+n^2)+n][/itex]

This simplifies to [itex]1/2[/itex] - [itex]1[/itex] / [itex]n(2sqrt(2)+1)][/itex]

Both terms in this expression are positive. Thus, changing the subtraction to addition will strictly increase the value of the entire quantity.

Thus, comparing
[itex]1/2[/itex] + [itex]1[/itex] / [itex]n(2sqrt(2)+1)[/itex] against ε is enough.

Solving for n results in some mess that results in:
n > (positive constant) / (ε - 1/2)

Clearly, something has gone awry. Consideration of an arbitrarily small ε reveals the RHS to be negative. That would imply that the first term in my sequence is already arbitrarily close to my limit.

Where did I go wrong?
 
Physics news on Phys.org
I'm not sure. Why don't you just take your result n/(sqrt(n^2+1)+n) and write it as n/(n*sqrt(1+1/n^2)+n), cancel the n's and give it a fresh thought.
 
Here's an approach that's simpler, that I think you can use.
You can start with this inequality:
[tex]\sqrt{n^2 + n} - n < \epsilon[/tex]

You don't need absolute values, since the radical expression is always > n for n > 0, hence the expression on the left side above is always positive.

Now, add n to both sides, and then square both sides, the idea being that if a < b, then a^2 < b^2, where a and b are positive.

That gets you to
[tex]n^2 + n < (n + \epsilon)^2[/tex]

After cleaning a bit, you get to
[tex]\epsilon^2 + 2n\epsilon - n > 0[/tex]

That's a quadratic in epsilon, so that should get you a relationship between epsilon and n, from which you can find the number N that you want.
 
Mark44 said:
Here's an approach that's simpler, that I think you can use.
You can start with this inequality:
[tex]\sqrt{n^2 + n} - n < \epsilon[/tex]

You don't need absolute values, since the radical expression is always > n for n > 0, hence the expression on the left side above is always positive.

Now, add n to both sides, and then square both sides, the idea being that if a < b, then a^2 < b^2, where a and b are positive.

That gets you to
[tex]n^2 + n < (n + \epsilon)^2[/tex]


After cleaning a bit, you get to
[tex]\epsilon^2 + 2n\epsilon - n > 0[/tex]

That's a quadratic in epsilon, so that should get you a relationship between epsilon and n, from which you can find the number N that you want.

Uh, you don't want to show |sqrt(n^2+n)-n|<e. It isn't. The limit is 1/2. You want to show |sqrt(n^+n)-n-1/2|<e.
 
Oops! Well, no wonder it was easier. After my first stab got nowhere, I used a clean sheet of paper and omitted that 1/2.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 15 ·
Replies
15
Views
1K
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K