Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I had a problem with this I could prove it by contradiction but, I wonder if you can do only algebraically can be done only with inequality? $$\left( {a_n } \right)^2 \to 0 \qquad\Longrightarrow \qquad \left( {a_n } \right) \to 0 $$ Thanks!

share|cite|improve this question
...and $a_n$ is? – J. M. Jul 24 '11 at 17:09
any sequence with values in the real numbers – Daniel Jul 24 '11 at 17:11
Can be done by contradiction too - suppose the sequence doesn't tend to zero, what does that imply about the squares (there must be elements of the sequence bounded away from zero). – Mark Bennet Jul 24 '11 at 20:55
up vote 11 down vote accepted

Here's an elementary proof:

By definition, $x_n \to 0$ iff for any $\epsilon > 0$ there exists an $m$ such that $|x_n| < \epsilon$ whenever $n > m$.

Assume $(a_n)^2 \to 0$. Then for any $\epsilon > 0$, we know that $\epsilon^2 > 0$, and thus there exists an $m$ such that $|(a_n)^2| < \epsilon^2$ whenever $n > m$.

But, since $|(a_n)^2| = |a_n|^2$, we can take square roots to see that $|(a_n)^2| < \epsilon^2 \implies |a_n| < \epsilon$.

Thus we have shown that, for any $\epsilon > 0$, there exists an $m$ such that $|a_n| < \epsilon$ whenever $n > m$, and so $a_n \to 0$. $\square$

share|cite|improve this answer

Hint: First, $a_n\rightarrow 0$ if and only if $|a_n|\rightarrow 0$. Then use the continuity of the square root function on $[0,\infty)$.

share|cite|improve this answer
Sorry to ask: What about this hint is "doing it algebraically and only with inequality"? :) Honestly, I don't think using continuity of the square root is very appropriate here. – t.b. Jul 24 '11 at 22:26

Very similar, in fact equivalent, to Ilmari's answer (and probably his is better didactically), but ..

If {$a_n$} doesn't tend to zero then for some sufficiently small constant $m > 0$ we have $m < |a_n|$ for all $n > N$; but then $0 < |a_n| = |a_n^2 / a_n| < a_n^2 / m$, whereas the RHS tends to zero, which is a contradiction.

share|cite|improve this answer
Dear John, If $a_n$ does not tend to $0$, it need not be that $|a_n| > m$ for all $n > N$; rather, this needs to hold just for (some $m > 0$ and) infinitely many values of $n$. Regards, – Matt E Jul 24 '11 at 21:58
@John R Ramsden: It is good to avoid division if possible, since it can be a treacherous operation. For example, $a_n^2$ could be $0$ when $n$ is even, making $a_n^2/a_n$ meaningless. We could in this problem deal with such $n$ separately, but that is a complication. – André Nicolas Jul 24 '11 at 23:34

The following tools are useful for proving the result:

  • $a_n\to 0$ if and only if $|a_n|\to 0$
  • If $f$ is continuous on the interval $[x,y]$ (where continuity on a closed interval means one sided continuity at the endpoints), and if $a_n\in [x,y]$ for sufficiently large $n$, then $\lim f(a_n)=f(\lim a_n)$.

The first statement is easily proved with an $\epsilon-\delta$ proof (essentially, it is just the definition of convergence). The second statement is a strengthening of the standard result that if $f(x)$ is continuous at $L$ and $a_n\to L$, then $f(a_n)\to f(L)$. Having the stronger statement is necessary if you want to apply the square root function to a sequence (as you need to know that the sequence is positive for things to make sense, and you need to know that having one sided continuity at $0$ doesn't cause problems).

Using the tools, we have that $$a_n^2\to 0 \Leftrightarrow |a_n|\to 0 \Leftrightarrow a_n\to 0.$$

share|cite|improve this answer

If you mean the squeeze theorem when you ask about doing it by inequalities, that does not work. The problem is that $|a_n^2| < |a_n|$ when $|a_n| < 1$, and if $(a_n^2)$ goes to $0$ then $|a_n|$ will in fact be less than $1$ after some point. So you cannot prove the inequality necessary to use the squeeze theorem, which would be $|a_n| < |a_n^2|$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.