以前の記事で、オイラーの公式を使って三角関数の加法定理を導きましたが、その導出では指数関数の性質として指数法則の1つ を使っていました。 ただし、引数が複素数（純虚数）の場合にそれが成り立つのは自明ではありません。 この記事では実際にそれが成…