e^ix = cosx + isinxの導出を級数展開以外で示したいんですがどんなものがありますか？