|
抄录
\begin{aligned}
\tan \left(\sum_{n=1}^{\infty} \arctan \frac{1}{n^2}\right)&=\tan \left(\sum_{n=1}^{\infty} \arg\left(1+\frac{i}{n^2}\right)\right)\\
&=\tan \left(\arg\left(\prod_{n=1}^{\infty}\left(1+\frac{\left(\frac{\pi(1+i)}{\sqrt{2}}\right)^2}{n^2 \pi^2}\right)\right)\right)\\
&=\tan \left(\arg\left(\frac{\operatorname{sh}\left(\frac{\pi(1+i)}{\sqrt{2}}\right)}{\frac{\pi(1+i)}{\sqrt{2}}}\right)\right)\\
&=\tan \left(\arctan \left(\frac{\tan \frac{\pi}{\sqrt{2}}-\operatorname{th} \frac{\pi}{\sqrt{2}}}{\tan \frac{\pi}{\sqrt{2}}+\operatorname{th} \frac{\pi}{\sqrt{2}}}\right)\right)\\
&=\frac{\tan \frac{\pi}{\sqrt{2}}-\operatorname{th} \frac{\pi}{\sqrt{2}}}{\tan \frac{\pi}{\sqrt{2}}+\operatorname{th} \frac{\pi}{\sqrt{2}}}
\end{aligned} |
|