Trigonometry Products

Geometry Level 2

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

If n n is a prime number larger than 3, then find the value of the expression above.


The answer is 3.0.

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.

4 solutions

Otto Bretscher
Sep 1, 2015

Let w = e 2 π i / n w=e^{2\pi{i}/n} . Now k = 1 n 1 ( 1 + 2 cos ( 2 π k / n ) ) = k = 1 n 1 ( 1 + w k + w k ) \prod_{k=1}^{n-1}(1+2\cos(2\pi{k}/n))=\prod_{k=1}^{n-1} (1+w^k+w^{-k}) = k = 1 n 1 ( w 2 k + w k + 1 ) = k = 1 n 1 ( w 3 k 1 w k 1 ) = \prod_{k=1}^{n-1}(w^{2k}+w^k+1)=\prod_{k=1}^{n-1}\left(\frac{w^{3k}-1}{w^k-1}\right) = k = 1 n 1 ( w 3 k 1 ) k = 1 n 1 ( w k 1 ) = 1 =\frac{\prod_{k=1}^{n-1}(w^{3k}-1)}{\prod_{k=1}^{n-1}(w^k-1)}=1 .

In the last quotient, the products in the numerator and denominator are the same, since both w k w^k and w 3 k w^{3k} run through all n n th roots of unity (other than 1).

Now k = 1 n ( 1 + 2 cos ( 2 π k / n ) ) = 3 \prod_{k=1}^{n}(1+2\cos(2\pi{k}/n))=\boxed{3} since k = n k=n produces the factor 3.

Moderator note:

Very simple solution using the roots of unity!

For the second equality, we actually multiplied each term by ω k \omega ^k , so we have to explain where that went. We use the fact that n n is not even.

For the last equality, that is where we used the fact that n n is not a multiple of 3.

In fact, all that we needed here was n n is coprime to 6. We didn't need for n n to be a prime.

Thanks for the feedback!

The product of all w k w^k is the product of all roots of unity, which is 1 by Viete (for odd n n ).

The result does not hold if n n is divisible by 3; in that case, the product will be 0 since w 3 k 1 = 0 w^{3k}-1=0 for k = n / 3 k=n/3 .

Otto Bretscher - 5 years, 9 months ago

Log in to reply

Oh haha, I saw that as a 2 instead of a 3. The 2 is used for multiplying by w k ( k + 1 ) 2 w^ { \frac{k(k+1)} { 2} } .

Let me update the statement.

Calvin Lin Staff - 5 years, 9 months ago

Log in to reply

Yes, it's fun to think about the various cases. If n n is even and not divisible by 3, then the product is 3 -3 since k = 1 n 1 w k = w n ( n 1 ) / 2 = 1 \prod_{k=1}^{n-1}w^k=w^{n(n-1)/2}=-1 .

Otto Bretscher - 5 years, 9 months ago

@Otto Bretscher I have been waiting for this solution to come up! Upvoted! ; ) ;)

Jessica Wang - 5 years, 9 months ago

it can also be done by multiplying and dividing by (1-2cos(2pi/n))

Deepak Pant - 4 years, 11 months ago

(+1) I haven't yet seen anyone explain how this product relates to Chebyshev polynomials.

James Wilson - 3 years, 4 months ago

The last term of the sum if 3 3 , hence the sum is:

S = 3 k = 1 n 1 ( 1 + 2 cos 2 π k n ) S=3\displaystyle \prod_{k=1}^{n-1}\left(1+2\cos \dfrac{2\pi k}{n}\right)

Now, as Tanishq Varshney says, we use the identity 1 + 2 cos 2 θ = sin 3 θ sin θ 1+2\cos 2\theta=\frac{\sin 3\theta}{\sin \theta} :

S = 3 k = 1 n 1 ( sin 3 π k n sin π k n ) S=3\displaystyle \prod_{k=1}^{n-1}\left(\dfrac{\sin \frac{3\pi k}{n}}{\sin \frac{\pi k}{n}}\right)

Note that the number of negative terms in the denominator is the same than the ones in the denominator. Now, let w = e 2 π i / n w=e^{2 \pi i/n} . Note that also w 3 w^3 is a primitive n n th root of unity. Also 1 w k = 2 sin π k n |1-w^k|=2\left|\sin\dfrac{\pi k}{n}\right|

Now, let P ( x ) = x n 1 x 1 = ( x w ) ( x w 2 ) ( x w n 1 ) = ( x w 3 ) ( x w 6 ) ( x w 3 ( n 1 ) ) P(x)=\dfrac{x^n-1}{x-1}=(x-w)(x-w^2)\cdots(x-w^{n-1})=(x-w^3)(x-w^6)\cdots(x-w^{3(n-1)})

But also, P ( x ) = x n 1 + x n 2 + + x + 1 P(x)=x^{n-1}+x^{n-2}+\cdots+x+1

By letting x = 1 x=1 and applying absolute value to both sides, we obtain:

n = 1 w 1 w 2 1 w n 1 = 1 w 3 1 w 6 1 w 3 ( n 1 ) n=|1-w||1-w^2|\cdots|1-w^{n-1}|=|1-w^3||1-w^6|\cdots|1-w^{3(n-1)}|

Finally, with the identity stated above:

S = 3 × 1 w 3 1 w 6 1 w 3 ( n 1 ) 1 w 1 w 2 1 w n 1 S=3\times\dfrac{|1-w^3||1-w^6|\cdots|1-w^{3(n-1)}|}{|1-w||1-w^2|\cdots|1-w^{n-1}|}

S = 3 S=\boxed{3}

It should be \prod instead of Σ \Sigma right?

Calvin Lin Staff - 5 years, 9 months ago

Log in to reply

Oh yes, fixed, thanks :D

Alan Enrique Ontiveros Salazar - 5 years, 9 months ago

I think I detected a small error: k = 1 n 1 ( 1 w k ) = k = 1 n 1 ( 1 w 3 k ) = n \prod_{k=1}^{n-1}(1-w^{k})=\prod_{k=1}^{n-1}(1-w^{3k})=n , not 1. Fortunately, things cancel out as you divide ;)

Otto Bretscher - 5 years, 9 months ago

Log in to reply

Yes, it was a typo. Fixed.

Alan Enrique Ontiveros Salazar - 5 years, 9 months ago
Luke Limbo
Sep 4, 2015

Use the algebraic expression, then cancel n, since then the remaining numbers are (1+2) therefore, the result is 3.

Arav Bj
Sep 4, 2015

put n=5 as n is any prime number and then use values of cos(pi/5) and cos(2pi/5) and solve

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...