あの式に理解もクソもあるの？ ただ簡単な計算するだけに思うけど えっじゃあ証明できるの？ 冪級数展開で複素数の指数関数を定義して、それと三角関数の方の式との差分の剰余項...