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?