# Tagged Questions

78 views

### Showing $\sin{\frac{\pi}{13}} \cdot \sin{\frac{2\pi}{13}} \cdot \sin{\frac{3\pi}{13}} \cdots \sin{\frac{6\pi}{13}} = \frac{\sqrt{13}}{64}$

I would like to show that $$\sin{\frac{\pi}{13}} \cdot \sin{\frac{2\pi}{13}} \cdot \sin{\frac{3\pi}{13}} \cdots \sin{\frac{6\pi}{13}} = \frac{\sqrt{13}}{64}$$ I've been working on this for a few ...
37 views

### Product of $1-\operatorname{cis}(2k\pi/n)$

I'm in a question about polygonals and got stuck at a part. I have to prove that $$\prod_{k=1}^{n-1} \left(1 - \operatorname{cis}(\frac{2k\pi}{n})\right) = n$$ I've tried to multiply it to make ...
45 views

### Trigonometry and complex numbers

Suppose $z_0=e^{i\theta_0}$ a complexe number as $\theta_0\in ]-\pi,\pi[ \setminus\{0\}$. For $n\in \mathbb{N}$, we pose $z_{n+1}=\dfrac{|z_n|+z_n}{2}$ and $z_n=r_ne^{i\theta_n}$ with ...
45 views

### For what $k$ is $P(k):=\prod_{j=1}^{13}\cos\frac{\pi kj}{13}$ negative?

Let $k>0$ be an integer. For what $k$ is $P(k):=\prod_{j=1}^{13}\cos\frac{\pi kj}{13}$ negative? Since $13$ is prime, and for $\gcd(m,13)=1$, $P(2m)=P(2)=2^{-12}$ (can be shown by considering the ...
325 views

### General expression for $\sin(2^n x)$

Are there general expressions for $\sin(2^n x)$ and $\cos(2^n x)$ that only involve $\sin x$ and $\cos x$, and that moreover involve only polynomial (in $n$) number of terms? Edit: $2^n$ is not ...
59 views

### Show that the following product equals 1 (involves trig)

How can I show that: $$\prod_{k=1}^{n}\left ( 1+2\cos\frac{2\pi .3^{k}}{3^{n}+1} \right )=1$$ Could you please explain to me how to approach this problem? Thank you.
394 views

### Finding $\prod_{n=1}^{999}\sin\left(\frac{n \pi}{1999}\right)$

I would appreciate if somebody could help me with the following problem. How can we find the product $$\prod_{n=1}^{999}\sin\left(\frac{n \pi}{1999}\right)$$
494 views

### How does one calculate the product of $\tan 1^{\circ} … \tan 45^{\circ}?$

I have seen a question asked on yahoo asking to find the value of $\tan 1^{\circ} \cdot \tan 2^{\circ} \cdot \dots \cdot \tan 45^{\circ}$ (in degrees) I have seen various results concerning ...
217 views

### How to find finite trigonometric products

I wonder how to prove ? $$\prod_{k=1}^{n}\left(1+2\cos\frac{2\pi 3^k}{3^n+1} \right)=1$$ give me a tip
208 views

### Product of sines

I am looking to evaluate $$\prod_{k=1}^{n-1}\sin\frac{k \pi}{n}$$ without using complex numbers. I can show the result if $n$ is a power of $2$, but if $n$ is anything else I reach a point where I ...
1k views

### Evaluating the product $\prod\limits_{k=1}^{n}\cos\left(\frac{k\pi}{n}\right)$

Recently, I ran across a product that seems interesting. Does anyone know how to get to the closed form: $$\prod_{k=1}^{n}\cos\left(\frac{k\pi}{n}\right)=-\frac{\sin(\frac{n\pi}{2})}{2^{n-1}}$$ I ...
Possible Duplicate: Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$ I am looking for a closed form for this product of sines: \sin ...