More fun in 2015, Part 46

Find

S = ω 1729 , S=\sum\omega^{1729},

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


The answer is 12.

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
Jan 1, 2016

Abdelhamid has submitted a fine solution. For the sake of variety, let me show a slightly different approach.

Let c m ( n ) c_m(n) be the sum of all the n n th powers of the primitive m m th roots of unity. Let b m ( n ) b_m(n) be the sum of the n n th powers of all m m th roots of unity. We know that b m ( n ) = m b_m(n)=m if m n m|n and b m ( n ) = 0 b_m(n)=0 otherwise. Since every m m th root of unity is a primitive d d th root of unity for some divisor d d of m m , we find that b m ( n ) = d m c d ( n ) b_m(n)=\sum_{d|m}c_d(n) . Mobius inversion gives c m ( n ) = d m b d ( n ) μ ( m / d ) = d gcd ( m , n ) d × μ ( m / d ) c_m(n)=\sum_{d|m}b_d(n)\mu(m/d)=\sum_{d|\gcd(m,n)}d\times\mu(m/d)

In particular, since gcd ( 2015 , 1729 ) = 13 \gcd(2015,1729)=13 , we have c 2015 ( 1729 ) = d 13 d × μ ( 2015 / d ) = 1 + 13 = 12 c_{2015}(1729)=\sum_{d|13}d\times\mu(2015/d)=-1+13=\boxed{12}

Moderator note:

Great usage of the Mobius Inversion to deal with this problem.

nice solution(+1). this is how the sum of the primitive roots of unity turned out to be möbius function! i was approaching in a similar way but made some errors....

Aareyan Manzoor - 5 years, 5 months ago
Abdelhamid Saadi
Dec 31, 2015

Prime decomposition of 2015 = 5 × 13 × 31 2015 = 5 \times 13 \times 31 and 1729 = 7 × 13 × 19 1729 = 7 \times 13 \times 19

Let ζ q = e 2 π i q \zeta _{q}=e^{\frac {2\pi i}{q}}

We can write w w a primitive root uniquely as (from C 2015 C_{2015} and C 5 × C 13 × C 31 C_{5} \times C_{13} \times C_{31} isomorphism) w = ζ 5 a ζ 13 b ζ 31 c f o r 1 a 4 1 b 12 1 c 30 w = \zeta _{5}^{a} \zeta _{13}^{b} \zeta _{31}^{c} \quad for \quad 1 \le a \le 4 \quad 1 \le b \le 12 \quad 1 \le c \le 30

Then
S = w 1729 = ( 1 a 4 ζ 5 1729 a ) ( 1 b 12 ζ 13 1729 b ) ( 1 c 30 ζ 31 1729 c ) S = \sum w^{1729} = (\sum_{1 \le a \le 4} \zeta _{5}^{1729a}) (\sum_{1 \le b \le 12} \zeta _{13}^{1729b}) (\sum_{1 \le c \le 30} \zeta _{31}^{1729c})

Let η q ( n ) = k = 1 q 1 ζ q k n \eta _{q}(n)=\sum _{k=1}^{q -1}\zeta _{q}^{kn}

Then: S = η 5 ( 1729 ) × η 13 ( 1729 ) × η 31 ( 1729 ) ) S = \eta _{5}(1729) \times \eta _{13}(1729) \times \eta _{31}(1729))

It follows from the identity x q 1 = ( x 1 ) ( x q 1 + x q 2 + . . . + x + 1 ) x^q - 1 = (x - 1)(x^{q-1} + x^{q-2} + ... + x + 1) that for q prime

η q ( n ) = { 1 if q n q 1 if q n \eta _{q}(n)={\begin{cases}-1&\;{\mbox{ if }}q\nmid n\\q-1&\;{\mbox{ if }}q\mid n\\\end{cases}}

S = 1 × 12 × 1 = 12 S = -1 \times 12 \times -1 = 12

Yes, very nice! (+1) You had some "fun in 2015" just before the expiration date ;)

Otto Bretscher - 5 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...