>>192
２回微分方程式： f''=-f
の一般解： f(x)=Acosx+Bsinx

追加条件：f(0)=1、f'(0)=i
より、 A=1, B=i
f(x)=cosx + isinx

一方、f(x)=e^ix も条件を満たす.
解の一意性により、e^ix = cosx + isinx 終わり.