Let S = ∑ ω 4 8 0
where the sum is taken over all primitive 2 0 1 6 th roots of unity ω . Enter 8 S as your answer.
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.
nice problem. let c m ( n ) be the sum of the nth power of the mth roots of unity.if you dont know about them see this awesome wiki .
from the wiki we see that c m ( n ) = { 0 m , m ∣ n , m ∣ n . let r m ( n )
be the nth powers of the primitive mth roots of unity.
note that every nth root of unity is a dth primitive root of unity for d dividing n.
for example,lets look at the 4th roots of unity: 1 , − 1 , i , − i . the i , − i are primitive 4th roots of unity, − 1 is a primitive 2nd root of unity and finally 1 is a primitive 1st root of unity.assuming this elucidated the earlier statement, lets move on.
we can say that the sum of the nth power of the mth roots of unity are the sum of the primitive dth roots of unity such that d ∣ n . or c m ( n ) = ∑ d ∣ n ( r d ( n ) ) .
written in Dirichlet convolution form this is c = r ∗ u . convoluting both sides with μ we get c ∗ μ = r ∗ I = r or r m ( n ) = ∑ d ∣ m c d ( n ) μ ( d m ) .
we remember c d ( n ) "dissapears" for d ∣ n .so basically we want d|n and d|m. from this we want a common divisor of n,m or we want d ∣ g c d ( m , n ) .
so the summation turns into r m ( n ) = ∑ d ∣ g c d ( m , n ) d μ ( d m ) .
put m,n=2016,480. their greatest common is 9 6 = 2 5 ∗ 3 .
remember that μ dissapears over non-squarefree integers. 2 0 1 6 = 2 5 ∗ 3 2 ∗ 7 . for d 2 0 1 5 to be square free, power of 2 atleast 4 and power of 3 atleast 1. so the possible d are 2 4 ∗ 3 = 4 8 and 2 5 ∗ 3 = 9 6 .
put this in to get − 4 8 + 9 6 = 4 8 . divide by 8 to get 6 .
Yes, a perfect solution with a perfect answer, 6 (+1) It's gonna be a perfect year!
A few small things:
"we can say that the sum of the nth power of the mth roots of unity are the sum of the dth roots of unity such that " should be something like ... "is the sum of the nth powers of the dth primitive roots of unity..."
"let r m ( n ) be the nth powers of the primitive mth roots of unity." should be "...be the sum of the nth powers of the dth primitive..."
Log in to reply
now i get why divide by 8.. because 6 is the smallest perfect number.
Log in to reply
You got it....same thing in "Perfect Welcome to 2016, part 1"
I'm impressed how quickly you understand these new topics... you really have an amazing talent (and enthusiasm) for maths, Comrade Aareyan!
Log in to reply
thanks a lot. i really am able to learn this because of practice from you awesome problems! thank you again.
Problem Loading...
Note Loading...
Set Loading...
Aareyan has written a fine solution. For the sake of variety, let's look at another approach:
Let c m ( n ) be the sum of the n th powers of the primitive m th roots of unity. There is a useful formula, due to Otto Hölder: c m ( n ) = ϕ ( r ) ϕ ( m ) μ ( r ) where r = g cd ( m , n ) m . To prove this formula, first observe that both sides are multiplicative functions in m . The verification for a prime power m = p k is a bit tedious but straightforward.
In our case we have n = 4 8 0 , m = 2 0 1 6 and d = 2 1 , so that S = ϕ ( 2 1 ) ϕ ( 2 0 1 6 ) μ ( 2 1 ) = 4 8 . The answer we seek is 6 ... a perfect number... a perfect year.