A curious identity, Part 2

Algebra Level 5

Let w = e π i / 2015 . w=e^{\pi{i}/2015}. Without resorting to trigonometry, find k = 1 2014 ( w k + w k ) \prod_{k=1}^{2014}(w^k+w^{-k}) What trigonometric identity can you derive from this result?


The answer is -1.

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.

1 solution

We can rewrite this product as

k = 1 2014 ( w 2 k + 1 ) k = 1 2014 w k = k = 1 2014 ( e i 2 π k 2015 + 1 ) , \displaystyle\dfrac{\prod_{k=1}^{2014}(w^{2k} + 1)}{\prod_{k=1}^{2014}w^{k}} = -\large\prod_{k=1}^{2014} (e^{\frac{i2\pi k}{2015}} + 1),

since k = 1 2014 w k = w k = 1 2014 k = w 2014 2015 2 = e i π 1007 = 1. \large\displaystyle\prod_{k=1}^{2014} w^{k} = w^{\sum_{k=1}^{2014} k} = w^{\frac{2014*2015}{2}} = e^{i\pi*1007} = -1.

Now since the roots of the equation z 2015 1 = 0 z^{2015} - 1 = 0 are of the form e i 2 π k 2015 \large e^{\frac{i2\pi k}{2015}} for integers 0 k 2014 , 0 \le k \le 2014, , we see that

z 2015 1 = k = 0 2014 ( z e i 2 π k 2015 ) = ( z 1 ) k = 1 2014 ( z e i 2 π k 2015 ) . z^{2015} - 1 = \large\displaystyle\prod_{k=0}^{2014} (z - e^{\frac{i2\pi k}{2015}}) = (z - 1)\prod_{k=1}^{2014} (z - e^{\frac{i2\pi k}{2015}}).

Plugging z = 1 z = -1 into this equation gives us that

2 = 2 ( 1 ) 2014 k = 1 2014 ( 1 + e i 2 π k 2015 ) 1 = k = 1 2014 ( 1 + e i 2 π k 2015 ) . -2 = -2 * (-1)^{2014} * \large\displaystyle\prod_{k=1}^{2014} (1 + e^{\frac{i2\pi k}{2015}}) \Longrightarrow 1 = \prod_{k=1}^{2014} (1 + e^{\frac{i2\pi k}{2015}}).

Thus the given expression is simply 1 . \boxed{-1}.

Now for the trigonometry. Note first that e i k θ + e i k θ = 2 cos ( k θ ) . e^{ik\theta} + e^{-ik\theta} = 2\cos(k\theta). So the given product can be written as

2 2014 k = 1 2014 cos ( k π 2015 ) = 1 k = 1 2015 cos ( k π 2015 ) = 1 2 2014 . 2^{2014} \displaystyle\prod_{k=1}^{2014} \cos\left(\dfrac{k\pi}{2015}\right) = -1 \Longrightarrow \prod_{k=1}^{2015} \cos\left(\dfrac{k\pi}{2015}\right) = -\dfrac{1}{2^{2014}}.

The general identity is k = 1 n 1 cos ( k π n ) = sin ( π n / 2 ) 2 n 1 . \displaystyle\prod_{k=1}^{n-1} \cos\left(\dfrac{k\pi}{n}\right) = \dfrac{\sin(\pi n/2)}{2^{n-1}}.

I was going to post my solution, but it seems that's not needed :)

Also, the line after "Now since the roots... we see that" has a mistake; the upper limit of the limit should be 2014, not 2015.

It follows immediately from the result and the identity cos x = 1 2 ( e i x + e i x ) \cos x = \frac{1}{2}(e^{ix}+e^{-ix}) that

n = 1 2015 cos k π 2015 = 2 2014 \prod_{n=1}^{2015} \cos \frac{k\pi}{2015} = 2^{-2014}

Jake Lai - 6 years, 1 month ago

Log in to reply

Thanks for catching the typo; this was a tedious solution to LaTeX. :P I didn't see your note until after I had finished the trig edit to my original post, so we were writing the short trig solution at the same time. The general formula is quite a beautiful result, along with its companion

k = 1 n 1 sin ( k π n ) = n 2 n 1 , \displaystyle\prod_{k=1}^{n-1} \sin\left(\dfrac{k\pi}{n}\right) = \dfrac{n}{2^{n-1}},

which can be proved in a similar manner.

Brian Charlesworth - 6 years, 1 month ago

Log in to reply

We could always do k = 1 2014 ( w k 2 w k ) \prod_{k=1}^{2014}(w^k-2w^{-k}) etc... the options are endless.

Otto Bretscher - 6 years, 1 month ago

Exactly! You guys were quick today...thanks!

Otto Bretscher - 6 years, 1 month ago

This looks like a page from Euler... this is probably about as clear and simple as one can make it! Thanks! I think these "curious identities" and their proofs, for sin, cosine , and tan, are crystal clear now.

Otto Bretscher - 6 years, 1 month ago

Log in to reply

Thanks! These beautiful identities have been given their due on Brilliant now. :)

Brian Charlesworth - 6 years, 1 month ago

Log in to reply

True....time to move on... thanks for the cooperation! I love it when things become crystal clear at the end...math at its best!

Otto Bretscher - 6 years, 1 month ago

Nice solution as always :)

Btw , just to give you a heads up if you don't know about it already , you are the winner of a newly started competition .

It's not officially declared , but it's pretty obvious and just so you know, I can predict the future :P

A Former Brilliant Member - 6 years, 1 month ago

Log in to reply

Thanks! And thanks also for letting me know about the contest; I appreciate your kind words in your comment there. :) Despite your ability to predict the future, I suspect Chew-Seong Cheong will come out on top; he has written the most solutions and they are of very high quality. I'm just glad to see that my name has been put forward by yourself and others.

Brian Charlesworth - 6 years, 1 month ago

Log in to reply

Brian, to solidify your position as the "King of the Solution Writers", why not do my problems "A little bit..." and "Ellipses"... those are tricky to write up... I'm not sure I could do it myself.

Otto Bretscher - 6 years, 1 month ago

Log in to reply

@Otto Bretscher They are both tricky. I used an "intuitive" approach for each of them, (i.e., educated guesses), but I need to develop more rigorous solution methods before posting anything. They're nice problems, in any event. :)

Brian Charlesworth - 6 years, 1 month ago

Log in to reply

@Brian Charlesworth I understand what you mean... we probably used similar methods. I do have a rigorous argument up my sleeve in both cases, but, as I said, I don't have the patience and the writing skills to make myself understood.

Otto Bretscher - 6 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...