Tenemos \begin{align*} p_{k} &= \prod_{n = 2}^{k} \left( 1 - \frac{1}{n^{2}} \right) = \prod_{n=2}^{k} \frac{(n-1)(n+1)}{n^{2}} \\ & = \frac{1 \cdot 3}{2 \cdot 2} \cdot \frac{2\cdot 4}{3 \cdot 3} \cdot \frac{3\cdot 5}{4 \cdot 4} \cdot \cdots \cdot \frac{(k-2)\cdot k}{(k-1)\cdot(k-1)} \cdot \frac{(k-1)(k+1)}{k\cdot k}\\ & = \frac{1}{2}\left(1 + \frac{1}{k}\right) \end{align*} porque todos los numeradores y denominadores, excepto el primero y el último, se cancelan. Por tanto, \[ \prod_{n=2}^{\infty} \left( 1 - \frac{1}{n^{2}} \right) = \lim_{k\\\\\a\\a\a\a\ninfty} p_{k} = \frac{1}{2}. \]
Para poner esto en un pequeño contexto: Euler ha demostrado que \[ \sin{(\pi z)} = \pi z \\\d_{n=1}^{\infty} \left( 1 - \frac{z^{2}}{n^{2}} \right) \] para todo $z \in \mathbb{C}$ .
Nos gustaría conectar $z = 1$ en ambos lados. Esto no funciona porque obtenemos $0 = 0$ . Pero un simple truco nos da lo que queremos: \[ \pi \prod_{n=2}^{infty} \left( 1 - \frac{1}{n^{2}} \right) = \lim_{z \a 1} \frac{{sin{(\pi z)}{(1- z^2)} = \lim_{z{a1} \frac {\pi \cos{(\pi z)}{-2z} = \frac{\pi}{2} \] y cancelando en ambos lados con $\pi$ da $\frac{1}{2}$ para el producto infinito.
El producto de Euler puede ser muy divertido. Por ejemplo $z = \frac{1}{2}$ se obtiene la fórmula del producto de Wallis \[ \frac{{pi}{2} = \frac{2 \cdot 2}{1 \cdot 3} \cdot \frac{4 \cdot 4}{3 \cdot 5} \Punto 6. Punto 6. Punto 5. Punto 7. \cdot \cdots = \prod_{n=1}^{{infty} \frac{2n}{2n -1}\frac{2n}{2n +1} \] y $z = i$ da como resultado \[ \frac{{sin{(i\pi)}}{i \pi} = \frac{e^{pi}} - e^{-\pi}}{2\pi} = \prod_{n = 1}^{\infty} \left( 1 + \frac{1}{n^{2}} \right). \] En los capítulos 1 y 2 de Remmert se puede encontrar un tratamiento exhaustivo de estos y otros muchos temas relacionados con los productos infinitos, Temas clásicos de la teoría de las funciones complejas , Springer GTM 172, 1998. El título del original alemán es simplemente Teoría de las funciones 2 .