More Fun in 2015, Part 40

Algebra Level 4

Compute S = 1 ( 1 ω ) 2015 S=\sum\frac{1}{(1-\omega)^{2015}}

where the sum is taken over all 201 5 th 2015^\text{th} roots of unity ω \omega with ω 1 \omega\neq 1 .


Inspiration .

Enjoy it while it lasts; this problem will become a lot harder next year!


The answer is 0.

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.

2 solutions

Otto Bretscher
Dec 26, 2015

( 1 ω ) 2015 = ( ω ( ω ˉ 1 ) ) 2015 = ω 2015 ( ω ˉ 1 ) 2015 = ( 1 ω ˉ ) 2015 (1-\omega)^{2015}=(\omega(\bar{\omega}-1))^{2015}=\omega^{2015}(\bar{\omega}-1)^{2015}=-(1-\bar{\omega})^{2015} . Thus the summands of S S cancel out in conjugate pairs, 1 ( 1 ω ) 2015 + 1 ( 1 ω ˉ ) 2015 = 0 \frac{1}{(1-\omega)^{2015}}+\frac{1}{(1-\bar{\omega})^{2015}}=0 , and S = 0 S=\boxed{0} .

Moderator note:

Good observation of these complex conjugates. What happens in a year?

In an even year, the conjugate pairs will no longer cancel out.

Otto Bretscher - 5 years, 5 months ago
Andreas Wendler
Dec 26, 2015

After multiplying with conjugate complex and application of some addition theorem we write for kth root: 1 1 w = 1 2 ( 1 + i c o t ( k π 2015 ) ) \frac{1}{1-w}=\frac{1}{2}(1+icot(\frac{k\pi}{2015})) Now we determine that pairs of roots (1st/2014th, 2nd/2013th etc.) lead to conjugate complex sum members:

( z e i ϕ ) 2015 + ( z e i ϕ ) 2015 = 2 z 2015 c o s ( 2015 ϕ ) (|z|e^{i\phi})^{2015}+(|z|e^{-i\phi})^{2015}=2|z|^{2015}cos(2015\phi)

So we get: k = 1 1007 1 + c o t 2 ( k π 2015 ) 2015 c o s [ 2015 a r c t a n ( c o t ( k π 2015 ) ) ] \sum_{k=1}^{1007}\sqrt{1+cot^{2}(\frac{k\pi}{2015})}^{2015}cos[2015arctan(cot(\frac{k\pi}{2015}))]

For the last term we may write: c o s [ s g n ( t a n ( k π 2015 ) ) π 2 2015 k π ] cos[sgn(tan(\frac{k\pi}{2015}))\frac{\pi}{2}2015-k\pi]

Since the argument of cos is an odd multiple of π 2 \frac{\pi}{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.

Otto Bretscher - 5 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...