Let w = e π i / 2 0 1 5 . Without resorting to trigonometry, find k = 1 ∏ 2 0 1 4 ( w k + w − k ) What trigonometric identity can you derive from this result?
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.
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 = 2 1 ( e i x + e − i x ) that
n = 1 ∏ 2 0 1 5 cos 2 0 1 5 k π = 2 − 2 0 1 4
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 ( n k π ) = 2 n − 1 n ,
which can be proved in a similar manner.
Log in to reply
We could always do k = 1 ∏ 2 0 1 4 ( w k − 2 w − k ) etc... the options are endless.
Exactly! You guys were quick today...thanks!
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.
Log in to reply
Thanks! These beautiful identities have been given their due on Brilliant now. :)
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!
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
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.
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.
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. :)
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.
Problem Loading...
Note Loading...
Set Loading...
We can rewrite this product as
∏ k = 1 2 0 1 4 w k ∏ k = 1 2 0 1 4 ( w 2 k + 1 ) = − k = 1 ∏ 2 0 1 4 ( e 2 0 1 5 i 2 π k + 1 ) ,
since k = 1 ∏ 2 0 1 4 w k = w ∑ k = 1 2 0 1 4 k = w 2 2 0 1 4 ∗ 2 0 1 5 = e i π ∗ 1 0 0 7 = − 1 .
Now since the roots of the equation z 2 0 1 5 − 1 = 0 are of the form e 2 0 1 5 i 2 π k for integers 0 ≤ k ≤ 2 0 1 4 , , we see that
z 2 0 1 5 − 1 = k = 0 ∏ 2 0 1 4 ( z − e 2 0 1 5 i 2 π k ) = ( z − 1 ) k = 1 ∏ 2 0 1 4 ( z − e 2 0 1 5 i 2 π k ) .
Plugging z = − 1 into this equation gives us that
− 2 = − 2 ∗ ( − 1 ) 2 0 1 4 ∗ k = 1 ∏ 2 0 1 4 ( 1 + e 2 0 1 5 i 2 π k ) ⟹ 1 = k = 1 ∏ 2 0 1 4 ( 1 + e 2 0 1 5 i 2 π k ) .
Thus the given expression is simply − 1 .
Now for the trigonometry. Note first that e i k θ + e − i k θ = 2 cos ( k θ ) . So the given product can be written as
2 2 0 1 4 k = 1 ∏ 2 0 1 4 cos ( 2 0 1 5 k π ) = − 1 ⟹ k = 1 ∏ 2 0 1 5 cos ( 2 0 1 5 k π ) = − 2 2 0 1 4 1 .
The general identity is k = 1 ∏ n − 1 cos ( n k π ) = 2 n − 1 sin ( π n / 2 ) .