I am trying to prove the following assertion:
If an algebraic number field $K$ contains a complex root of unity, then the norm of every nonzero element of $K$ is positive.
I think this is supposed to be a simple application of the theory of geometry of numbers, but I can't see how to prove it.
Can someone please help me?