Multivariable calculus
Limit of (x+y)^2/(x^2+y^2) at (0,0) Does Not Exist
The limit of (x + y)^2/(x^2 + y^2) at the origin does not exist. Along y = -x the function is 0 at every point, along y = 0 it is 1, and along y = x it is 2. In polar form it equals 1 + sin(2 theta), so the value is fixed by the direction of approach alone.
The limit does not exist
| Path | Limit along it |
|---|---|
| along y = 0 | 1 |
| along y = x | 2 |
| along y = -x | 0 |
Expand first, then substitute
Expanding the numerator shows what is really going on. The squared terms match the denominator exactly, and the cross term is the troublemaker.
So this function is one plus twice the standard path-dependent quotient. Since ranges over on lines, ranges over .
Any two of those three disagree, so the limit does not exist. The anti-diagonal is the striking one: the numerator is identically zero there while the denominator is not, so the function is flat at zero all the way in.
Polar form and the range of values
Both levels are degree two, so cancels and a trigonometric identity finishes the job.
The value runs from at up to at , and it never depends on how close you are. Every disc around the origin contains points where is and points where is .
This also settles a question students often ask: the function is nonnegative and bounded above by , yet it still has no limit. Nice behaviour of the values says nothing about convergence.
The mistake: cancelling the square with the sum of squares
The tempting move is to write and cancel to get . That identity is false; the missing is precisely the term that makes the limit fail. Squaring a sum is not summing the squares.
A second version is to argue that and , so the answer is and therefore . Both statements are true and the conclusion does not follow. The form tells you only that direct substitution is unavailable.
- Expand any binomial in the numerator before judging the size of terms.
- The cross term is the same order as , so it cannot be dropped.
- Two disagreeing paths beat any amount of algebraic intuition.
Frequently asked questions
What is the limit of (x+y)^2/(x^2+y^2)^2 at the origin?
That one is unbounded rather than path-dependent. In polar form it is , which blows up along every direction except the two that run along the line , namely and , where is zero and the function is identically zero. It also has no limit, but for a different reason.
Can I use the identity to prove the limit fails in one line?
Yes. Since and the quotient is known to have no limit at the origin, adding a constant and scaling cannot create one. Citing the standard example is a legitimate shortcut once you have proved it once.