Demostrar que $$\sum_{n\in\mathbb{Z}}\arctan\left(\frac{\sinh(1)}{\cosh(2n)}\right)=\frac{\pi}{2}$$
Escribir $$\dfrac{\sinh(1)}{\cosh(2n)}=\dfrac{e^{1}-e^{-1}}{e^{2n}+e^{-2n}}$$
Intenté usar la identidad $$\arctan\left(\frac{a_1}{a_2}\right)+\arctan\left(\frac{b_1}{b_2}\right)=\arctan\left(\frac{a_1b_2+ a_2b_1}{a_2b_2-a_1b_1}\right)$$ con una elección adecuada de $a_1,a_2,b_1,b_2$ pero no he podido encontrar una suma telescópica.
0 votos
¿Quieres decir realmente $a_b$ o es $a_2$ ?
0 votos
Sí, gracias por la corrección.
0 votos
$$ \sum_j \arctan x_j$$ $$ = \arctan \frac{\sum_j x_j - \sum_{j,k,\ell} x_j x_k x_\ell + \sum\text{products of five} - \sum\text{products of seven} + \cdots }{1 - \sum_{j,k} x_j x_k + \sum\text{products of four} - \sum\text{products of six} + \cdots}$$ No sé si esto te llevará a alguna parte o no.
2 votos
@MichaelHardy: el truco está en considerar la función no habitual $\arctan\tanh$ . Este problema apareció en el Mensualmente y en mis notas del curso ( drive.google.com/file/d/0BxKdOVsjsuEwcGlSbzgzZVdYZkk/view ) casi al mismo tiempo, independientemente :)