Problem:
A th root of unity is any complex number such that .
Let and be two th roots of unity. Prove that is real.
Problem:
A th root of unity is any complex number such that .
Let and be two th roots of unity. Prove that is real.
Solution:
Note that
by pairing the th and th terms. But since and are th roots of unity. Moreover, since and have absolute value , so does , so is in fact its complex conjugate. It follows that their sum is real, thus so is .
This can also be shown geometrically. The argument of (the angle between the vector and the positive -axis) is an integer multiple of , as is the argument of . Since bisects the angle between and , its argument is an integer multiple of . Multiplying this angle by gives a multiple of , so is real.