Get Triggy With It!

Geometry Level 4

z = k = 1 2015 n = 1 k cos ( 2 π n 2 k + 1 ) \large z = \left| \sum _{ k=1 }^{ 2015 }{ \sum _{ n=1 }^{ k }{ \cos { \left( \frac { 2\pi n }{ 2k+1 } \right) } } } \right|

Evaluate z \left\lfloor z \right\rfloor .


Inspired by Surya Prakash


The answer is 1007.

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

Brandon Monsen
Dec 5, 2015

First, let's isolate the sum

n = 1 k cos ( 2 π n 2 k + 1 ) = s \sum _{ n=1 }^{ k }{ \cos { \left( \frac { 2\pi n }{ 2k+1 } \right) } } =s

Then, let's look at a different sum, call it r r

n = 1 2 p + 1 cos ( 2 π n 2 p + 1 ) + i sin ( 2 π n 2 p + 1 ) = r \sum _{ n=1 }^{ 2p+1 }{ \cos { \left( \frac { 2 \pi n }{ 2p+1 } \right) } } +i\sin { \left( \frac { 2 \pi n }{ 2p+1 } \right) } =r

By Euler's Formula we know that the above summation is equal to

n = 1 2 p + 1 e 2 i π n 2 p + 1 = r \Large \sum _{ n=1 }^{ 2p+1 }{ { e }^{ \frac {2i\pi n }{ 2p+1 } } }=r

And so we get that the summation is equal to

ω + ω 2 + ω 3 + ω 4 + ω 5 + ω 6 + . . . + ω k 1 + 1 = r \omega+\omega^{2}+\omega^{3}+\omega^{4}+\omega^{5}+\omega^{6}+...+\omega^{k-1}+1=r

for ω = e 2 i π 2 p + 1 \large \omega= e ^{ \frac {2i\pi }{ 2p+1 }} .

We can see that ω \omega is a solution to the equation x 2 p + 1 1 = 0 x^{2p+1}-1=0 . Since

ω 2 p + 1 1 = ( ω 1 ) ( 1 + ω + ω 2 + ω 3 + ω 4 + . . . + ω 2 p ) \omega^{2p+1}-1=(\omega-1)(1+\omega+\omega^{2}+\omega^{3}+\omega^{4}+...+\omega^{2p})

ω 2 p + 1 1 = ( ω 1 ) ( r ) \omega^{2p+1}-1=(\omega-1)(r)

And we get that r = 0 r=0 .

Now, let's apply some trigonometric identities to our sum r r . We know that cos ( θ ) = cos ( 2 π θ ) \cos(\theta)=\cos(2\pi-\theta) and that sin ( θ ) = sin ( 2 π θ ) \sin(\theta)=-\sin(2\pi-\theta) and so we can cleverly combine some of the terms together to get cancellation.

0 = cos ( 2 π 2 p + 1 ) + i sin ( 2 π 2 p + 1 ) + cos ( 4 π 2 p + 1 ) + i sin ( 4 π 2 p + 1 ) + cos ( 6 π 2 p + 1 ) + i sin ( 6 π 2 p + 1 ) + . . . + cos ( 2 π ) + i sin ( 2 π ) 0=\cos { \left( \frac { 2 \pi }{ 2p+1 } \right) } +i\sin { \left( \frac { 2 \pi }{ 2p+1 } \right) }+\cos { \left( \frac { 4 \pi }{ 2p+1 } \right) } +i\sin { \left( \frac { 4 \pi }{ 2p+1 } \right) }+\cos { \left( \frac { 6 \pi }{ 2p+1 } \right) } +i\sin { \left( \frac { 6 \pi }{ 2p+1 } \right) }+...+\cos { \left( 2\pi \right) } +i\sin { \left( 2\pi \right) }

We know that cos ( 2 π ) + i sin ( 2 π ) = 1 \cos(2\pi)+i\sin(2\pi)=1 , and as for the rest of our sum, for every value i sin ( θ ) i\sin(\theta) there is a value i sin ( 2 π θ ) i\sin(2\pi-\theta) , so all of the imaginary parts cancel out. Also, for every value of cos ( θ ) \cos(\theta) , there is a value of cos ( 2 π θ ) \cos(2\pi-\theta) , and so we get that

r = 2 n = 1 p cos ( 2 π n 2 p + 1 ) + 1 r=2\sum _{ n=1 }^{ p }{ \cos { \left( \frac { 2\pi n }{ 2p+1 } \right) } }+1

r = 2 s + 1 r=2s+1

And so we can conclude that our original sum s = 1 2 s=-\frac{1}{2} for all values of p p .

This means we simply have to evaluate

k = 1 2015 1 2 = 1007.5 = 1007.5 = z \left| \sum_{k=1}^{2015}-\frac{1}{2} \right|=\left| -1007.5 \right|=1007.5=z

Therefore z = 1007 \left\lfloor z \right\rfloor =\boxed{1007}

dont you love it when you have one more try left and you spend 20 minutes getting the answer and then enter 1006 instead of 1007

A Former Brilliant Member - 5 years, 6 months ago

Log in to reply

what you feel if your answer is correct and rather than summit you press discuss solution.

aryan goyat - 5 years, 2 months ago

Log in to reply

yeah but that's no fun

Otto Bretscher
Dec 6, 2015

My solution is analogous to Brandon's; let me write a "compressed' version.

We know that n = 0 2 k cos ( 2 π n 2 k + 1 ) = 0 \sum_{n=0}^{2k}\cos\left(\frac{2\pi n}{2k+1}\right)=0 ; those are just the real parts of the ( 2 k + 1 ) (2k+1) th roots of unity whose sum is zero by Viete. Omitting cos ( 0 ) = 1 \cos(0)=1 from the sum, we have n = 1 2 k cos ( 2 π n 2 k + 1 ) = 1 \sum_{n=1}^{2k}\cos\left(\frac{2\pi n}{2k+1}\right)=-1 . Because of the symmetry cos ( 2 π x ) = cos ( x ) \cos(2\pi-x)=\cos(x) , we can conclude that n = 1 k cos ( 2 π n 2 k + 1 ) = 1 / 2 \sum_{n=1}^{k}\cos\left(\frac{2\pi n}{2k+1}\right)=-1/2 . The sum for k = 1..2015 k=1..2015 comes out to be 2015 2 -\frac{2015}{2} , and the floor of the absolute value is 1007 \boxed{1007} .

those are just the real parts of the (2k+1)th roots of unity whose sum is zero by Viete.

Is this obvious? Or is the proof long-winded?

Pi Han Goh - 5 years, 6 months ago

Log in to reply

The ( 2 k + 1 ) (2k+1) th roots of unity are the solutions of z 2 k + 1 = 1 z^{2k+1}=1 , so that their sum is 0 by Viete since the coefficient of z 2 k z^{2k} is 0. In particular, the sum of their real parts, n = 0 2 k cos ( 2 π n 2 k + 1 ) \sum_{n=0}^{2k}\cos\left(\frac{2\pi n}{2k+1}\right) , is 0.

Otto Bretscher - 5 years, 6 months ago

Log in to reply

Woahhhh! I never thought of that! Thanks Comrade Otto =D =D =D

Pi Han Goh - 5 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...