Compute S = ∑ ( 1 − ω ) 2 0 1 5 1
where the sum is taken over all 2 0 1 5 th roots of unity ω with ω = 1 .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Good observation of these complex conjugates. What happens in a year?
In an even year, the conjugate pairs will no longer cancel out.
After multiplying with conjugate complex and application of some addition theorem we write for kth root: 1 − w 1 = 2 1 ( 1 + i c o t ( 2 0 1 5 k π ) ) Now we determine that pairs of roots (1st/2014th, 2nd/2013th etc.) lead to conjugate complex sum members:
( ∣ z ∣ e i ϕ ) 2 0 1 5 + ( ∣ z ∣ e − i ϕ ) 2 0 1 5 = 2 ∣ z ∣ 2 0 1 5 c o s ( 2 0 1 5 ϕ )
So we get: ∑ k = 1 1 0 0 7 1 + c o t 2 ( 2 0 1 5 k π ) 2 0 1 5 c o s [ 2 0 1 5 a r c t a n ( c o t ( 2 0 1 5 k π ) ) ]
For the last term we may write: c o s [ s g n ( t a n ( 2 0 1 5 k π ) ) 2 π 2 0 1 5 − k π ]
Since the argument of cos is an odd multiple of 2 π for all k the result of the sum is 0.
Jawohl, this has the ring of truth! (+1) Looking at complex conjugates is certainly the right approach.
Problem Loading...
Note Loading...
Set Loading...
( 1 − ω ) 2 0 1 5 = ( ω ( ω ˉ − 1 ) ) 2 0 1 5 = ω 2 0 1 5 ( ω ˉ − 1 ) 2 0 1 5 = − ( 1 − ω ˉ ) 2 0 1 5 . Thus the summands of S cancel out in conjugate pairs, ( 1 − ω ) 2 0 1 5 1 + ( 1 − ω ˉ ) 2 0 1 5 1 = 0 , and S = 0 .