exp(x)=lim(n→∞)(1+x/n)^n
と”定義”するなら
　exp(x)=e^x　(xが実数の時）
　exp(iy)=cos(y)+isin(y)=rad^y　(yは実数とする、radはexp(i)となる複素数）
　exp(x+iy)=e^x*rad^y
であることが”証明”できる

ま、でもサルには無理だから丸暗記しとけｗｗｗｗｗｗｗ