SOLUTION: Prove that for any n >= 2 , given {{{(sin(pi/n))*(sin(2pi/n))*"..."*(sin((n-1)pi/n)) = n/(2^(n-1) )}}}.

Algebra ->  Trigonometry-basics -> SOLUTION: Prove that for any n >= 2 , given {{{(sin(pi/n))*(sin(2pi/n))*"..."*(sin((n-1)pi/n)) = n/(2^(n-1) )}}}.       Log On


   



Question 452779: Prove that for any n >= 2 , given .

Answer by Edwin McCravy(20056) About Me  (Show Source):
You can put this solution on YOUR website!

Prove: for n%3E=2

.
 
Euler's equation: e%5E%28i%2Atheta%29+=+cis%28theta%29+=+cos%28theta%29+%2B+i%2Asin%28theta%29

From which we can get: 

sin%28theta%29+=+%28e%5E%28i%2Atheta%29+-+e%5E%28-i%2Atheta%29%29%2F%282i%29
 
So each of the factors in the original expression is:
 

 
where k goes from 1 to n-1
 
Factor out the first term:
 

 
The original expression becomes a product of these three things:
 
#1.  
 
#2. 
 
#3. 
 
where k goes from 1 to n-1
 
Adding the exponents in #1.
 
#1.  
 
The sum of the first n-1 integers is %28n-1%29n%2F2, so the
exponent of e becomes
 
%28i%2Api%2A%28n-1%29n%2F2%29%2Fn=i%2Api%2A%28n-1%29n%2F%282n%29=i%2Api%2A%28n-1%29%2F2+
 
and #1 is now 
 
#1. 
 
Since #3  
it gives the product:
 
%281%2F%282i%29%29%5E%28n-1%29+=+%28-i%2F2%29%5E%28n-1%29+

Putting #1 and #3 together:

#1*#3  i%5E%28n-1%29%28-i%2F2%29%5E%28n-1%29=%28-i%5E2%2F2%29%5E%28n-1%29=1%2F%282%5E%28n-1%29%29

Now we look at #2 again.

#2. 

Those factors are all (1 - an nth root of 1 other than 1 itself. To show that

1 = cis(0 + 2k*pi) = e^(2k*pi) 

and by DeMoivre's theorem the n nth roots of unity are 

cis(2k*pi/n) and

that's what the second terms in those parenthetical expressions are.

and we can use any n-1 consecutive even integers for k, so here we are using
the n-1 negative consecutive even integers -2, -4, -6,  -2(n-1). And they
won't include 1 itself because we are not including integers 0 or 2n.

The nth roots of 1 can also be gotten by solving the equation

x%5En+=+1
x%5En+-+1+=+0
%28x-1%29%28x%5E%28n-1%29%2Bx%5E%28n-2%29%2Bx%5E%28n-3%29%2B%22...%22%2B1%29+=+0

The first parentheses give us the root of one which is 1 itself.
The n-1 degree polynomial in the second parentheses has solutions
which are all the n-1 nth roots of 1 other than 1.

Therefore the polynomial

#4. x^(n-1)+x^(n-2)+x^(n-3)+"..."+1 

is equivalent to a polynomial which is like #2 with
x's placed where the 1's are.

#5. 

because they have the same solution and both have leading
coefficient 1.

So when we substitute 1 for x in #5, we get #2 and when
we substitute 1 for x in #4 we get n because there are n terms.
Therefore #2 simplifies to just n
 
Therefore #1*#2*#3 = n%2F2%5E%28n-1%29

Edwin