書いておきたい数学の話があったので、書きます。タイトルの通りです。 sin xの因数分解 今回の話は、以下の式から始まります。 \begin{align}\sin (\pi x) = \pi x \prod_{n=1}^{\infty} \left( 1 - \frac{x^2}{n^2} \right)\end{align} は任意の実数としま…