You have omega equal to the "cube root of unity" which is the cube root of 1, which is 1
No, the n'the root of unity is cos(2pi.i/n) + i sin( 2pi.in) = exp(2pi.i/n). The other roots of unity are then exp(2pi.i.m/n) for m=2,3,....,n, so there's n of them.
1+ω^x+ω^{2x} = 1 + exp(2pi.x.i/n) + exp(4pi.x.i/n)
Therefore, the real and imaginary parts of 1+ω^x+ω^{2x} - x = 0 are
1 + cos(2pi.x.i/n) + cos(4pi.x.i/n) - x = 0
sin(2pi.x.i/n) + sin(4pi.x.i/n) = 0
You can solve the second one to get x is an integer.
The first one then only have to be checked for integers. Since -x is a monotonic decreasing function and cos(2pi.x.i/n) + cos(4pi.x.i/n) is periodic, with absolute modulus less than 2, you only need to check the region between x=-1 and x=+3 (the offset is due to the +1 term). This can be done by hand because you only need to check 5 values of x.
Job done.
excaza
6th July 2008 - 02:21 PM
Hmmm, that's what I get for stopping at differential equations. I never knew that about the roots of unity.
AN is wise