だから、定義式なんだろ。

さっきから言ってるように、
さも前から定義してあったかのようにふるまうから話がややこしいんだよ。

等式の証明っていうのは右辺と左辺が等しいことをもってして、行うんであって、
実数でしか定義されてない、e^xにixを放り込んで、
まるで平気なのがおかしんだよ。

e^ixをテイラー展開で定義するんだろ。
違うなら、e^ixをどう定義するんだよ？？