>>8
この式が成り立つように、複素指数、三角関数を定義。
テイラー級数で定めるのが手っ取り早い。
こうすれば定義から、証明するのは容易。