Cómo encontrar productos finitos de funciones trigonométricos

Question

¿Me pregunto cómo probar? $$\prod_{k=1}^{n}\left(1+2\cos\frac{2\pi 3^k}{3^n+1} \right)=1$ $ me dan un Consejo

Answer 1

Sugerencia: En primer lugar demostrar que: $$\prod_{k=0}^n\left(1+2\cos(3^k x)\right) = 1 + 2\sum_{k=1}^{m}\cos(kx)$ $ donde: $$m=\sum_{k=0}^n{3^k} = \frac{3^{1+n}-1}{2}$ $

Entonces mostrar que esencialmente se muestreo la función de $\cos$ entre $0$ $2\pi$ en intervalos iguales y desde la media es igual a cero y la suma es $1$, como sea necesario. Para probar la identidad primera, puede utilizar la relación de Chebyshev: $$\cos(nx)=2\cos(x)\cos((n-1)x)-\cos((n-2)x)$ $

Answer 2

Que $S_n = \sum_{k=0}^n 3^k = \frac{3^{n+1}-1}{2}$. Entonces

$$ 3 ^ {n}-S_ {n-1} = 3 ^ {n} - \frac{3^{n}-1}{2} = \frac{3^{n}+1}{2} = S_ {n-1} + 1. $$

Ahora por inducción tenemos la siguiente identidad de producto $n \geq 0$:

$$\begin{eqnarray} \prod_{k=0}^{n}\left(z^{3^k}+1+z^{-3^k}\right) &=& \left(z^{3^{n}}+1+z^{-3^{n}}\right)\prod_{k=0}^{n-1}\left(z^{3^k}+1+z^{-3^k}\right) \\ &=& \left(z^{3^{n}}+1+z^{-3^{n}}\right) \left(\sum_{k=-S_{n-1}}^{S_{n-1}} z^k\right) \\ &=&\sum_{k=S_{n-1}+1}^{S_n}z^k + \sum_{k=-S_{n-1}}^{S_{n-1}}z^k+\sum_{k=-S_n}^{-S_{n-1}-1} z^k \\ &=& \sum_{k=-S_n}^{S_n} z^k \end{eqnarray} $$

Ahora toma $z = \exp\left(\frac{\pi \, i}{3^n + 1}\right)$ y usar que $z^{3^n+1}=-1$ para obtener

$$\begin{eqnarray} \prod_{k=0}^n\left(1 + 2 \cos \left(\frac{2 \pi \,3^k}{3^n+1}\right)\right) &=& \sum_{k=-S_n}^{S_n}z^{2k} = \frac{z^{2S_n+1}-z^{-2S_n-1}}{z-z^{-1}} = \frac{z^{3^{n+1}}-z^{-3^{n+1}}}{z-z^{-1}} \\ &=& \frac{z^{3(3^n+1)-3} - z^{-3(3^n+1)+3}}{z-z^{-1}} = \frac{z^3-z^{-3}}{z-z^{-1}} = z^2 + 1 + z^{-2} \\ &=& 1 + 2\cos\left(\frac{2\pi}{3^n+1}\right) \end{eqnarray} $$

y su identidad.