Normed Linear Space: Why does $\|x_n\|\to 0$ imply $x_n \to 0$?

I can prove the contrapositive:

$x_n$ does not tend to $0$ implies either:

1. $x_n$ diverges (does not converge), in which case neither does $\|x_n\|$, or
2. $x_n$ converges to $x \neq 0$ which implies $\|x_n\|$ converges to $\|x\|\neq 0$.

Okay, but is there a simpler way to do this?

-
Write down what it means to have $x_n \to 0$! – Dylan Moreland May 30 '12 at 18:27
In some works, $\|x_n\| \to 0$ would be the definition of $x_n \to 0$. What is your definition of $x_n \to 0$? – Nate Eldredge May 30 '12 at 18:27
Also, your statement 1 is wrong. It is possible that $x_n$ diverges but $\|x_n\|$ converges. Consider, in $\mathbb{R}$, the sequence $x_n = (-1)^n$. – Nate Eldredge May 30 '12 at 18:28
Or worse, $x_n=e^{in}$ as a sequence of complex numbers... – Asaf Karagila May 30 '12 at 18:30
Statement 1 should be "In which case ||x_n|| does not tend to 0" obviously – Adam Rubinson May 30 '12 at 18:49

Recall that $x_n\to x$ if for every $\epsilon>0$ there is some $n_0$ such that for all $n>n_0$ we have $\|x_n-x\|<\epsilon$.
If $\|x_n\|\to 0$ this means that $\|x_n-0\|$ tends to zero and therefore $x_n$ converges to $0$.