Cómo evaluar $\lim\limits_{n\to \infty}\prod\limits_{r=2}^{n}\cos\left(\frac{\pi}{2^{r}}\right)$

Question

¿Cómo puedo evaluar este límite? $$\lim_{n\to \infty}\cos\left(\frac{\pi}{2^{2}}\right)\cos\left(\frac{\pi}{2^{3}}\right)\cdots\cos\left(\frac{\pi}{2^{n}}\right)$$

He asumido que está utilizando esta formaula $\displaystyle \cos(A)=\sqrt{\frac{1+\cos(2A)}{2}}$ Pero estoy atascado

Answer 1

Gracias ah-huh-moment por la pista

Utilizando su fórmula $\cos x = \dfrac{\sin (2x)}{2\sin x}$ podemos expandir el producto de los cosenos como

$$\frac{\sin(2\pi/2^{2})}{2\sin(\pi/2^{2})}.\frac{\sin(2\pi/2^{3})}{2\sin(\pi/2^{3})}....\frac{\sin(2\pi/2^{n})}{2\sin(\pi/2^{n})}$$

$$\require{cancel}\underbrace{\frac{\sin(2\pi/2^{2})}{\cancel{2\sin(\pi/2^{2})}}.\frac{\cancel{\sin(2\pi/2^{3})}}{\cancel{2\sin(\pi/2^{3})}}....\frac{\cancel{\sin(2\pi/2^{n})}}{2\sin(\pi/2^{n})}}_\text{n-1 terms}$$

Tras la cancelación $$\frac{\sin(2\pi/2^{2})}{2^{n-1}\sin(\pi/2^{n})}=\frac{\sin(\pi/2)}{2^{n-1}\sin(\pi/2^{n})}$$

Ahora, reordenando $$\frac{\sin(\pi/2)}{2^{n}\sin(\pi/2^{n})} = \frac{2}{\pi}.\frac{(\pi/2^{n})}{\sin(\pi/2^{n})}$$

Ahora $$\lim_{n\to\infty, \frac{\pi}{2^{n}}\to0} \frac{2}{\pi}.\frac{(\pi/2^{n})}{\sin(\pi/2^{n})} = \frac{2}{\pi} \because \lim_{x\to0} \frac{\sin(x)}{x} =1 $$

Answer 2

Una pista: $\cos x = \dfrac{\sin (2x)}{2\sin x}$