こんにちはゲストさん。会員登録(無料)して質問・回答してみよう!

解決済みの質問

三角関数の指数関数表示とオイラーの公式の関係

指数関数表示されたsin やcosをそれぞれ二乗して足してみるとe^(ix)*e^(-ix)が1になることは(sinx)^2+(cosx)^2=1という公式から素朴に納得できますが、この公式から逆に三角関数の指数関数表示を考えることは不可能だと思います。この公式とオイラーの公式とは直接の関係はないのでしょうか。

投稿日時 - 2005-04-18 17:11:58

QNo.1338382

暇なときに回答ください

質問者が選んだベストアンサー

(sinx)^2+(cosx)^2=1 より (cosx) + i(sinx) は絶対値が1の複素数であることが分かります。よってf(x)を実関数として
 (cosx) + i(sinx) = exp{if(x)} …(1)
とおくことができます。x=0 とおくと exp(if(0)) = 1より
 f(0)=0 …(2)
(1)の両辺を微分すると
 -(sinx) + i(cosx) = (if'(x))exp{if(x)} …(3)
(1)(3)より
 f'(x)=1 …(4)
(2)(4)より
 f(x)=x
よって(cosx) + i(sinx) = exp{ix}

投稿日時 - 2005-04-18 22:31:24

お礼

どうもありがとうございます。これはオイラーがオイラーの公式を導いたのと同じ径路なのでしょうか。勉強の手がかりにさせて頂きます。

投稿日時 - 2005-04-19 09:59:48

このQ&Aは役に立ちましたか?

0人が「このQ&Aが役に立った」と投票しています

回答(5)

No3です
> e^(z)=exp(z)がC→Cへの全射を
> e^(z)=exp(z)がC→C-{0}への全射
に訂正しておきます
それでも cosx+isinx=0となるx∈Rはないので、いいと思います

No4さまへ
> あるいは,答えを知っているからこその証明ということでしょうか?
これについては、そうだと思います.

cosx+isinxはR→Cの関数と見ることはできます
そして、No2の
> また、任意のR→Cへの関数g(x)に対して,g(x)=e^(if(x))
> と(あるf:R→Cで)おけることについては、e^(z)=exp(z)が
> C→C-{0}への全射になるという知識が前提にあると思った方が
> いいと思います
から、あるR→Cへの関数fを用いて(cosx+isinxを)exp(if(x))と表すことができることを説明するつもりで書きました
もし、違っていたら補足お願いします

投稿日時 - 2005-04-19 23:08:55

お礼

勉強させて頂きます。有難うございました。

投稿日時 - 2005-04-21 09:12:25

ANo.4

ryn

>> No.3 さま
左辺の絶対値が1になるのはわかるのですが
 cosx + isinx
の値が何になるかを調べようとしている段階で
 exp{if(x)}
のように置けるのかがわかっていません.
左辺とは独立に絶対値が1であることが
言えなければいけないのではないでしょうか?

あるいは,答えを知っているからこその証明ということでしょうか?
そうであれば,とりあえず
 exp{if(x)}
とおいてみたところ,等式を満たす f(x) として
 f(x) = x
というものが見つかったのでOKということで納得です.

投稿日時 - 2005-04-19 21:19:46

お礼

私のレベルではAならばBは誰でも理解できてもBからAを思いつくことは難しいということと、何が既知(前提)で何が未知(結論、結果)かということが分からないという事でした。

投稿日時 - 2005-04-20 04:42:54

質問者様と2様へ
|e^(if(x))|=1 についてですが
cosx+isinxの絶対値の2乗が(sinx)^2+(cosx)^2は分りますよね(一般にCの距離はR^2と同一視してます)
(sinx)^2+(cosx)^2=1の公式も分ると思います
(質問文にあるくらいだし)
だからです.

また、任意のR→Cへの関数g(x)に対して,g(x)=e^(if(x))
と(あるf:R→Cで)おけることについては、e^(z)=exp(z)がC→Cへの全射になるという知識が前提にあると思った方がいいと思います

* このご質問と関係ありませんが、以前くりこみ群の知識はおろか位数の定義すら間違っていて大変失礼な回答をしてしまい申し訳ありませんでした.m(_ _)m
位数の定義については、よく見直しいたしました.

投稿日時 - 2005-04-19 20:44:10

お礼

有難うございました。勉強させていただきます。

投稿日時 - 2005-04-19 21:00:09

ANo.2

ryn

便乗質問ですが,
 |exp{if(x)}| = 1
はどのようにして言えるのでしょうか?

投稿日時 - 2005-04-19 00:16:24

お礼

私には分かりませんので、どなたかが併せて回答してくださるのを待ちたいと思います。

投稿日時 - 2005-04-19 09:20:49

あなたにオススメの質問