More fun in 2015, Part 43

Algebra Level 5

Find S = 1 1 ω S=\sum\frac{1}{1-\omega}

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


The answer is 720.

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

Tran Hieu
Dec 26, 2015

We have if ω \omega is a primitive 201 5 th 2015^\text{th} root of unity then ω ˉ \bar\omega is also a primitive 201 5 th 2015^\text{th} root of unity

We have 1 1 ω = 1 ω ω ˉ ω = 1 ω ( 1 ω ˉ ) = ω ˉ 1 ω ˉ \frac{1}{1-\omega} = \frac{1}{\omega*\bar{\omega} - \omega} = \frac{-1}{\omega*(1-\bar{\omega})} = \frac{-\bar{\omega}}{1-\bar{\omega}}

so every two item of the sum will "cancel" out and have the sum of 1.

We also know that the number of primitive roots of unity of n n is ϕ ( n ) \phi(n) , so the sum in our case is ϕ ( 2015 ) 2 = 720 \frac{\phi(2015)}{2} = \boxed{720}

nice and easy solution. mine was tedious. i will be writing that now(+1).

Aareyan Manzoor - 5 years, 5 months ago

Yes, exactly (+1)... that's what I had in mind!

Otto Bretscher - 5 years, 5 months ago

Log in to reply

Hi man!What's up these days?Let us enjoy life.Why only solve problems all the time?Do visit me some day.We both will play some outdoor games and enjoy life.Ok bye.

Asad Bhai - 5 years, 5 months ago

Log in to reply

For some of us, doing math is part of enjoying life ;)

My wife says that she agrees with you, though...

Otto Bretscher - 5 years, 5 months ago
Aareyan Manzoor
Dec 26, 2015

the primitive nth roots of unity are roots of the cytplomatic polynomial Φ n ( x ) \Phi_n(x) .read this .we know Φ 2015 ( x ) = ( x ω ) \Phi_{2015}(x)=\prod (x-\omega) take log and differentiate both sides Φ 2015 ( x ) Φ 2015 ( x ) = 1 x ω \dfrac{\Phi_{2015}'(x)}{\Phi_{2015}(x)}=\sum \dfrac{1}{x-\omega} great. all we need to do is find Φ 2015 ( 1 ) Φ 2015 ( 1 ) \dfrac{\Phi_{2015}'(1)}{\Phi_{2015}(1)} . we know that x n 1 = d n Φ d ( x ) . x^n-1 = \prod_{d \mid n} \Phi_d(x). divide both sides by Φ 1 ( x ) = x 1 \Phi_1(x)=x-1 to find x n 1 + x n 2 + . . . + x + 1 = d n , d > 1 Φ d ( x ) x^{n-1}+x^{n-2}+...+x+1=\prod_{d \mid n,d>1} \Phi_d(x) take log and differentiate both sides ( n 1 ) x n 2 + . . . + 2 x + 1 x n 1 + x n 2 + . . . + x + 1 = d n , d > 1 Φ d ( x ) Φ d ( x ) \dfrac{(n-1)x^{n-2}+...+2x+1}{x^{n-1}+x^{n-2}+...+x+1}=\sum_{d \mid n,d>1} \dfrac{\Phi_{d}'(x)}{\Phi_{d}(x)} put x=1 to simplify: n 1 2 = d n , d > 1 Φ d ( 1 ) Φ d ( 1 ) = d n , d > 1 Φ d ( 1 ) Φ d ( 1 ) u ( n d ) \dfrac{n-1}{2}=\sum_{d \mid n,d>1} \dfrac{\Phi_{d}'(1)}{\Phi_{d}(1)}=\sum_{d \mid n,d>1} \dfrac{\Phi_{d}'(1)}{\Phi_{d}(1)}u(\dfrac{n}{d}) use möbius inversion: Φ n ( 1 ) Φ n ( 1 ) = d n μ ( n d ) d 1 2 = 1 2 d n ( μ ( n d ) d ) 1 2 d n ( μ ( n d ) ) \dfrac{\Phi_{n}'(1)}{\Phi_{n}(1)}=\sum_{d \mid n}\mu(\dfrac{n}{d})\dfrac{d-1}{2}=\frac{1}{2}\sum_{d \mid n}\left(\mu(\dfrac{n}{d})d\right)-\dfrac{1}{2}\sum_{d \mid n}\left(\mu(\dfrac{n}{d})\right) the first summation is equal to ϕ ( n ) \phi(n) , from one of otto sirs trig problem, and the 2nd is zero, as μ \mu is the dirichlet inverse of u(unit function). (note, we are assuming n≠1). this all evaluates to Φ n ( 1 ) Φ n ( 1 ) = ϕ ( n ) 2 \dfrac{\Phi_{n}'(1)}{\Phi_{n}(1)}=\dfrac{\phi(n)}{2} put 2015 to get 720 \boxed{720} .

i am confused wether or not it was legal to use möbius inversion due to d>1 in the subscript. can you help me @Otto Bretscher ?

Aareyan Manzoor - 5 years, 5 months ago

Log in to reply

Yes, this approach is legitimate. Just introduce a function f ( d ) f(d) with f ( 1 ) = 0 f(1)=0 and f ( d ) = ϕ d ( 1 ) ϕ d ( 1 ) f(d)=\frac{\phi_d'(1)}{\phi_d(1)} for d > 1 d>1 , write n 1 2 = d n f ( d ) \frac{n-1}{2}=\sum_{d|n}f(d) , and find the Dirichlet inverse of f f .

Otto Bretscher - 5 years, 5 months ago

You are taking the long road, but we get to see a lot of interesting stuff along the way (+1)

Otto Bretscher - 5 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...