質問: オイラーの定理の証明方法 新大学一年生です。 次のようなオイラーの定理の証明方法は正しいでしょうか?? ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ e^ix=cosx+isinx を示す。 a(x)=cosx+isinx とおく。a'(x)=-sinx+icosx ∴a'(x)/a(x)=(-sinx+icosx)/(cosx+isinx )={(-sinx+icosx)(cosx-isinx)}/{(cosx+isinx )(cosx-isinx )}=i ∴a'(x)/a(x)=i の両辺をxで一回積分して log|a(x)|=ix+c (c:積分定数) ∴a(x)=e^(ix+c) ここでa(0)=cos0+isin0=1より、c=0 ∴a(x)=e^ix ∴e^ix=cosx+isinx ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 私にもわかりやすいのですが、ネットや本にはあまり載っていなく、別のテーラー展開を使ったものの方が多いです。 この方法は正しいのでしょうか?個人的には複素数で微分積分していいのかな?と疑問に思います。 新大学一年にもわかるように教えていただけると嬉しいです。よろしくお願いします。
回答: 正解は正解なんですが, 論理の順番というか,循環論法の危険性があります. 教科書では普通, 実数の定義(連続性とかinf/supの話) 収束 級数・・・たいていここで,初等関数を定義してしまう 微分 積分 微分方程式などの応用 といった順番が多いのです. この際, (1)三角関数をどのように定義するか? (2)指数関数・対数関数をどのように定義するか? (3)複素数をどのように絡めるか? という問題があります. ひとつの手法として,具体的な関数は一切定義せず, 一気に微分方程式の議論まで行って (複素数変数を考えければ複素数値関数でもokということも考慮して) 初等関数をすべて微分方程式で定義してしまうという流儀があります この場合 y'=y y(0)=1 でy=e^{x} y''=-y y(0)=1 y'(0)=1 で y=cos(x) y''=y y(0)=0 y'(0)=1 で y=sin(x) を定義してしまうと まあ,あなたのいうような証明は正当化されます. #ほかの定義の仕方でもあなたの証明が循環論法にならないようにすることは #もちろん可能です.ここでは一例として微分方程式で何でも定義する手法を挙げただけです 一方,積分の定義なしでは当然あなたの証明は正当化されません. ということで 何をどこまで前提とするかで証明の正当性は左右されます. なお例えば,何を使ってもいいというような状態であれば あなたの証明はまったく正しいものです. 杉浦「解析入門i,ii」東大出版 高木「解析概論」岩波 あたりをじっくりよむときっと疑問は解決するでしょう. ちなみに,複素数での微分積分, 正確には複素数変数の微分積分は 関数論とか複素関数論とよばれ それだけで数学の一大分野というか, 超巨大な理論体系があります. 興味があれば,前掲の二冊の本の後ろのほうにかるい導入があります. #一回微分できれば何回でも微分可能とか, #関数値が積分で与えられるとか,いろいろとすごい性質があります