MathOverflow is a question and answer site for professional mathematicians. 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

Let's say Z is a sum of n-th roots of unity and thus an algebraic integer, and D is a rational integer. If |z+D| is an integer, what can we conclude regarding Z? Can we say |Z| is an integer? Another related question is: For which non-zero D can we conclude that |Z| is an integer if |Z+D| is an integer?

share|cite|improve this question

If $D$ is a nonzero rational number and $R$ is a positive number, the complex numbers $z$ with $|z+D|=R$ form the circle of radius $R$ centred at $-D$. The intersection of this with the circle $|z| = k$ (if nonempty) consists of one or two points satisfying the quadratic $D z^2 + (D^2 + k^2 - R^2) z + k^2 D = 0$. So if $z$ with $|z+D|^2$ rational has degree $> 2$ over the rationals, $|z|^2$ can't be a rational number.

share|cite|improve this answer
So, what is this telling us regarding Z and |Z|?!! – katie Sep 17 '12 at 3:34

Just to give a numerical example, if $\zeta=(1+i\sqrt3)/2$, a 6th root of unity, and $z=1+8\zeta=5+4i\sqrt3$, and $D=6$, then $z$ is a sum of roots of unity, $D$ is a rational integer, $|z+D|=|11+4i\sqrt3|=\sqrt{11^2+3\times4^2}=13$ is an integer, but $|z|=\sqrt{5^2+3\times4^2}=\sqrt{73}$ is not an integer.

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.