- ベストアンサー
ｅ＾(iπ)＝－1についての説明
- 世界一美しい式であるｅ＾(iπ)＝－1についての説明において、論理の飛躍を感じる。
- オイラーの等式を用いてｅ＾(iπ)＝－1を導出する過程で、虚数の代入が安易に行われており、厳密さに疑問が生じる。
- どのような条件下で虚数が代入されても、ｅ＾(iπ)＝－1が成り立つのかについて疑問がある。
- みんなの回答 （7）
- 専門家の回答
質問者が選んだベストアンサー
No.5 ================================= 例えば (a+ib)^2 1/(a+ib) e^(a+ib) sin(a+ib) √(a+ib) log(a+ib) いずれも代入は可能であり、さらにそのいずれも α+iβ の形にすることができます。つまり複素数でとじていることになります。 例えば、1/(a+ib)={a/(a^2+b^2)} + i・{(-b)/(a^2+b^2)} で複素数の商は複素数になるようにです。 ================================== だめ．この例の中で，安易にやってはいけないものが二つ混ざっている． それこそ「e^{iπ}=-1」を冷静に眺めれば安易にやってはいけないものの ひとつはすぐわかる もうひとつは・・・ちょっと考えにくいかな．けどやっぱり ほかのものとは異質だからすぐわかる ＃ちなみに質問者の前の質問「複素数の大きさ」に関係する ＃複素数に「0より大きい」は存在しないってのが重要 ================================== オイラーの計算（といわれている）「実数部分に複素数を代入する」というのは 現代数学の手法ではありません． 今なら「発見的手法」とかいわれて証明とはみなされません． 質問者の今までの質問から見て大学生以上でしょうが 大学生（それも一年生以上だったら）にしては・・・基礎知識が不足かも． まじめな微積分（もしくは複素関数）の教科書をみることをお勧めしますが， 今の数学では 複素数に対して級数の理論を展開して， べき級数の絶対収束性を考慮して処理するのが一般的でしょう つまり複素数zに対して e^{z}とsin(z)，cos(z)を「実数のときと同じ」に定めて問題がないことを証明して e^(a+bi)=e^a(cos(b)+isin(b)) を証明するということです．準備さえ整えばこの式の証明は自明です．
その他の回答 (6)
- 中村 拓男（@tknakamuri）
- ベストアンサー率35% (674/1896)
>(1)式が表していることは、括弧内の補足から明らかなように、ｘがすべての実数であること、ですよね。 テイラー展開は複素数の定義域に拡張できます。 exp（x）は元々実数定義域で定義されたものですが テイラー展開の複素数への拡張を利用することで exp(x) の 「複素数版を定義」しているのです。 こうして定義された新しい exp(x) はオイラーの公式を満たします。
お礼
同じ文章で失礼ですが、 ｅ＾iｘ＝1 +i ｘ/1！+i ｘ＾2/2！+ iｘ＾3/3！+ ・・・・が定義なら異論はないのですが、 実数変数からいきなり虚数に拡張されている点が、飛躍ではないか？と思った次第です。
- zeta0208
- ベストアンサー率45% (17/37)
ｅ＾ｘ＝1 + ｘ/1！+ ｘ＾2/2！+ ｘ＾3/3！+ ・・・・（－∞＜ｘ＜∞） →(1)式とする これはe^xの定義の一つです。 そこで指数にiを導入した式を ｅ＾iｘ＝1 +i ｘ/1！+i ｘ＾2/2！+ iｘ＾3/3！+ ・・・・ と定義して新たに指数の複素数を構築したという感じではないかと思います。 オイラーは当時は証明は結構曖昧で直感的に式に複素数を導入したのではと思われます。但し、まったく根 拠がなく導入したのではなく、いろんな式に変形しても、あるいは別の方法で解いても矛盾がないことは確認したようです。 実数で成立する公式に虚数（複素数）を代入しても良いかということですが、私の知りうる範囲（まあせいぜい高校数学程度ですが）大丈夫です。 例えば (a+ib)^2 1/(a+ib) e^(a+ib) sin(a+ib) √(a+ib) log(a+ib) いずれも代入は可能であり、さらにそのいずれも α+iβ の形にすることができます。つまり複素数でとじていることになります。 例えば、1/(a+ib)={a/(a^2+b^2)} + i・{(-b)/(a^2+b^2)} で複素数の商は複素数になるようにです。 興味があるのであれば『オイラー入門』Ｗ．ダンハム著 出版社: シュプリンガーフェアラーク東京 をお勧めします。 オイラーがどのようにして、また、どのような経緯で複素数を導入していたったかを割りと解りやすく解説してあります。
お礼
ｅ＾iｘ＝1 +i ｘ/1！+i ｘ＾2/2！+ iｘ＾3/3！+ ・・・・が定義なら異論はないのですが、 実数変数からいきなり虚数に拡張されている点が、飛躍ではないか？と思った次第です。
- アウストラロ ピテクス（@ngkdddjkk）
- ベストアンサー率21% (283/1290)
ちなみに、個人的にはe^(-iπ)+1=0の方が美しいです。 人間が定義したものだけで書かれます。
お礼
質問の本意が伝わらなかったようで、申し訳ありません。
- アウストラロ ピテクス（@ngkdddjkk）
- ベストアンサー率21% (283/1290)
今私たちの目にしているオイラーの公式などの説明は、当時と違います。 おそらく、オイラーの公式を易しく説明しようとして、ある程度知っている前提として書かれている場合が多いです。 因みに何で（1）式の定義域となるかは、xが実変数だからです。 これを複素数にまで拡張するのは、複素関数論の初歩です。勉強してください。
お礼
質問の本意が伝わらなかったようで、申し訳ありません。 知っているか否かではなく、実数変数をいきなり虚数に拡張しても良いのかどうかを知りたかったのです。 さらに補足していただけると嬉しいです
（自分 ニュートン別冊 『”ありもしない”のに難問解決に不可欠な数 虚数がよくわかる』なんて持ってますので実質受け売りです） 質問文中の式（３） ｅ＾iｘ＝1 +i ｘ/1！+i ｘ＾2/2！+ iｘ＾3/3！+ ・・・ は 正しくは こうです ｅ＾iｘ＝1 +i ｘ/1！ - ｘ＾2/2！ - iｘ＾3/3！+ x＾4/4 !+ ix＾５/5!… 階乗が 虚数単位 『にも』かかるため、 １ , i , -1, -i がくりかえしで付くのです。 だから虚数単位の無い項と 有る項とで選り分けると cos x とi sin x の和 e^ix=cos x+i sin x になっちゃうのです。 x=πのときには cos π=-1 ,sin π＝０ですから e^iπ= -1 となります。
お礼
質問の本意が伝わらなかったようで、申し訳ありません。 (3)式以降の説明は省略していますが、式の変形等は理解しています。
- spring135
- ベストアンサー率44% (1487/3332)
>(1)式が表していることは、括弧内の補足から明らかなように、ｘがすべての実数であること、ですよね 誤解です。 複素関数はすべて級数によって定義されテーラー展開によって e^z=1 + z/1！+ z＾2/2！+ z＾3/3！+ ・・・(z=x+iy) がなり立ちます。複素関数論を勉強してください。 なお ＞世界一美しい式について ｅ＾(iπ)＝－1 くだらない感傷だと思います。
お礼
質問の本意が伝わらなかったようで、申し訳ありません。
お礼
kabaokaba さま、お世話になります。 質問の真意をおくみいただきまして、ありがとうございます。 ほかのものとは異質なのは、log(a+ib)でしょうか？
補足
質問文中で引用した『 』の内容は、証明ではなく、某数学ブログの記事に書かれていた内容で、オイラーの等式の解説部分でありました。 ｅ＾ｘについて、その変域を虚数（または複素数）に拡張すると、結果こうなります。 という説明に関しては異論はありません。 そのように定義した結果、一般性が確保されたり、別分野の進歩につながったなら、数学の役目を十分に果たしたと考えられるからです。 皆さんの回答から分かることは、 (1)式→(3)式へと定義を拡張したら、こんな美しい結果が得られるよ。ということではないかと思っています。 ただ、変数を拡張する際には、その説明や合理性を示してからでないと不十分だと思います。 そのあたりも含めてもっと学習をして行きたいです。