(1+j)/(1-j)の3乗根を求めよ。
上の問題をとくときにやり方によって答えが違ってしまい、???なのでご教授願います。
やり方(1)
1+j = expj(π/4 + 2πn) 、 1-j = expj(-π/4 + 2πn) ここでnは定数
よって
(1+j)/(1-j) = expj(π/4 + π/4 + 2πn - 2πn) = expj(π/2)
よって3乗根=expj { (π/2)×1/3 } = expj(π/6)
やり方(2)
(1+j)/(1-j) = 有利化して計算すると j = expj(π/2 + 2πn)なので
三乗根 = expj { (π/2 + 2πn)×1/3 } = expj(π/6 + 2πn/3)
やり方(3)
やり方(2)において、そもそも j = expj(π/2 + 2πn)の時点で、
=expj(π/2) × expj(2πn) = expj(π/2)
なので、3乗根は(1)の時と同じように 三乗根=expj(π/6)
(1)、(2)、(3)ともやり方が違うだけで本質は同じだと思いますが・・結果が異なります。
これはどういうわけでしょうか?
自分はどこをどう勘違いしているんでしょうか???
よろしくお願いします!
No.4
- 回答日時:
結局、複素数の扱いがlazyだからそういうことになる。
正の実数に√をつけるような感覚で軽く「三乗根」って言ってるけど、
それって実際にはどういう計算をしてるのか、理解できてるかい?
同じように計算できて、計算結果は必ず一つなのかな?
んなこたぁない。
高校生でも知ってるように、1の3乗根は3つある。
正の実数に√をつけるのと同じ感覚で計算していることが全ての原因。
複素数のべき乗は、一般に「多価関数」になる。
複素数の世界では、必ず計算に"branch"が生じるぐらいに思っていた方がいい。
だから、途中の計算で2nπがキャンセルしてなくなった(1)とか、
exp(2nπ)があってもなくても同じだよね(3)という考え方は一切関係ない。
途中の計算や考え方がどうであれ、べき乗演算を施した時点で、必ず「2nπ」を考慮しないといけない。
(1)でも(3)でも、途中の計算とかのせいでそれを見失っている。
# ちなみにだから、(1),(3)では「branch」を無視して「主値」だけ計算しているわけだ。
複素べき乗が多価関数だって、じゃぁどう定義されてんのよ?って話だが。
まぁ大学の講義やら参考書やら当たれば書いてあると思うので簡単にm乗根だけ説明するけど、
まず複素対数関数が多価関数で定義されている:
log(z) = ln(r) + i(θ+2nπ) (但 z = rexp(θ))
次に両辺をmで割る:
log(z)/m = ln(r)/m + i(θ+2(n/m)π)
両辺expをとる:
zのm乗根(多価) = R * exp(i(θ+2(n/m)π)) ( R := exp(ln(r)/m) )
a^bという記法は、実数のべき乗と同じ感覚では答えが一つであるように錯覚するが、
複素数の場合、肩に乗ってるbが整数でない限りそれが一つとは保証できない。
なぜならば、複素数のべき乗 a^b が exp(b*log(a)) で定義され、そのlogが多価だからだ。
…要するに。
2nπを持ち出すポイントが違うぜ、ってこと。
参考URL:http://lemonchord.chu.jp/math/complex_function.h …
No.3ベストアンサー
- 回答日時:
(1) お言葉に甘えて(?)√2は省略することにします。
>1+j = expj(π/4 + 2πn) 、 1-j = expj(-π/4 + 2πn) ここでnは定数
1+j = expj(π/4 + 2πn) はいいですが、 これに
1-j = expj(-π/4 + 2πn) を並べて書くのは問題です。これでは1+jの偏角と1-jの偏角が同期(?)していることになってしまいます。
もちろん同期している必要はありませんから、ここは
1-j = expj(-π/4 + 2πm) mは整数
などと書くべきです(ついでに定数ではなくnも含めて「整数」とします)。割り算すると
(1+j)/(1-j) = expj(π/4 + π/4 + 2πn - 2πm) = expj(π/2+2π(n - m))
ここで改めてnーm=p(pは整数)とし、3で割れば、めでたく(2)と合流します。
(3)
せっかく(1)の
>1+j = expj(π/4 + 2πn)・・・
の時点で「偏角はπ/4だけでなく、ここから2πを任意回数たしたり引いたりしても構わないことを、私は知っています!」とアピール(?)したのに、
>expj(π/2) × expj(2πn) = expj(π/2)
これでは上記「 」内をケロリと忘れて『やっぱり偏角に2πnは不要です』と宗旨替えをしたことになります。もちろん、2πnは必要ですよ。0≦θ<2πなどとシバリをつけることが多そうですが。
No.2
- 回答日時:
こんばんは。
先に、式を簡単にします。
(1+j)/(1-j) = (1+j)^2/{(1-j)(1+j)}
= (1^2 + 2j + j^2)/(1^2 - j^2)
= (1 + 2j - 1)/(1 + 1)
= 2j/2
= j
というわけで、絶対値は1のままで、角度 π/2 の回転です。
3乗根は、その回転の3分の1なので、
exp(j(π/2 + 2nπ)÷3)= exp(j(π/2 + 2nπ)/6)
です。
----------------------------------------------
>>>
やり方(1)
1+j = expj(π/4 + 2πn) 、 1-j = expj(-π/4 + 2πn) ここでnは定数
よって
(1+j)/(1-j) = expj(π/4 + π/4 + 2πn - 2πn) = expj(π/2)
よって3乗根=expj { (π/2)×1/3 } = expj(π/6)
1+j の絶対値は1ではなく √2 です。
ですから、1+j = expj(π/4 + 2πn) ではありません。
√2・exp(なんちゃら)
になります。
>>>
やり方(2)
(1+j)/(1-j) = 有利化して計算すると j = expj(π/2 + 2πn)なので
三乗根 = expj { (π/2 + 2πn)×1/3 } = expj(π/6 + 2πn/3)
これは、正しいです。
>>>
やり方(3)
やり方(2)において、そもそも j = expj(π/2 + 2πn)の時点で、
=expj(π/2) × expj(2πn) = expj(π/2)
3乗根は、
90度÷3 + 0度 = 90度、
90度÷3 + 360度 = 390度
90度÷3 + 720度 = 750度
のことではありません。
3乗根は、
(90度 + 0度)÷3 = 30度
(90度 + 360度)÷3 = 150度
(90度 + 720度)÷3 = 270度
のことです。
以上、ご参考になりましたら幸いです。
ご回答ありがとうございます。
2点、質問します。
まず、最初に指摘された√2のことですが、付け忘れてました。。すみません。しかし、√2をつけたところで結局分数の割り算で消えてしまう運命ですから今回の質問には大きな影響がでません。
なぜ、(1)のやり方だとまずいのでしょうか?
次に(3)の指摘ですが、 j = expj(π/2 + 2πn)の時点で、
=expj(π/2) × expj(2πn) = expj(π/2)
という風に分解してはならないということでしょうか?
数式的に流れは正しくても複素関数という分野においてはむやみに変形、消去をしてはならないということになってしまい、気持ちが悪いです。
数式の変形の手順なんぞで答えが違ってくるのですから。。
やり方(1)とやり方(2)は数式の流れ的には正しいのだけれども、やってはいけない!!っていうことなんですか?いやー気持ちが悪い・・
誰か助けてくださいー
No.1
- 回答日時:
>1+j = expj(π/4 + 2πn) 、 1-j = expj(-π/4 + 2πn) ここでnは定数
こんな無駄な設定は不要です。
1+j = expj(π/4)、1-j = expj(-π/4)
((1+j)/(1-j))^(1/3) =(exp(j(π/2)))^(1/3)=expj(π/6)=√3/2+j/2
この回答への補足
ちなみに正しい答えは
expj(π/6 + 2πn/3) のnに1、2、3の整数を代入した3つです。
複素平面上では点が3つプロットされます。
残念ながらそのやり方は正解ではありません・・。問題の答えだけは持っています。
正しい答えは(2)です。つまり、複素数の場合、3乗根は3つあります。
(2)の定数nが重要なようです・・
ここで問題なのが、分数でない複素関数の問題であれば、(1)の方法で間違いなく解けます。
しかし、今回は分数の問題ですので、(1)の方法の途中でご覧のように定数nが消えてしまうことに困ってるんです。
なぜでしょう??
というか、(1)(2)(3)とも途中計算は数式的に正しいように思うのですが、なぜ結果が違うのでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「違います 質問11 n≦-2ではz≠π/2で g(z)=tan(z)/(z-π/2)^(n+1) 3 2022/07/16 18:12
- 数学 過去にしてきた質問に対する解答に関して質問が以下の1〜7に関して解答を頂きたく思います。 時間のある 34 2022/07/09 21:52
- 数学 「n≦-2の時 z≠π/2の時 g(z)=tan(z)(z-π/2)^(-n-1) z=π/2の時 22 2022/07/04 22:24
- 数学 θ=π/2 のまわりでの f(θ)=sinθ/cosθのローラン展開に関して 以外の「」の解答を頂き 13 2022/11/11 09:45
- 数学 1. 「f(z)=tan(z) の 0<|z-π/2|<π でのローラン展開は f(z)=tan(z 1 2022/07/20 21:56
- 数学 回答者どもがなかなか答えられないようなので、考えてみました。 ∫[0,π/2]log(sinx)/( 4 2022/08/31 16:30
- 工学 f(z)=tan(z) の 0<|z-π/2|<π での ローラン展開 f(z)=Σ_{n=-∞~∞ 4 2022/07/11 03:53
- 数学 複素数についての質問です。 1+iの主値を求める問題で回答が以下のようになっていました。 1+i = 5 2022/07/22 04:04
- 数学 lim_{θ→π/2}(θ-π/2)f(θ) =lim_{θ→π/2}(θ-π/2)sinθ/cos 3 2022/04/13 00:33
- 数学 高校物理、波動の解説お願いします。 3 2022/11/23 19:48
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
関数f(x)=[sinx]のグラフ
-
位相差を時間に
-
数3の複素数平面です 何で cos6...
-
75°と255°と750°を弧度法に直し...
-
(関数の極限) lim(x→π/2)(2x-π)...
-
タンジェントのマイナス1乗に...
-
円周率の求め方
-
0≦θ<2πにおいてのtanθ≦√3をみ...
-
[数学] -Sinπ/2 と Sin(-π/2)...
-
sinx-cosx=√2sinx(x-π/4) と解...
-
sin(θ+2分の3π)が (θ+2分...
-
coskθ、sinkθの周期について
-
次の方程式、不等式を解け。た...
-
cosθ=√3/2 を解けという問題な...
-
cos(-π/3)とsin(-π/3)の値
-
0<x<π/2のとき0<sinx<x
-
0≦x≦π/2の時 y=6cos^2x+4√3s...
-
三角関数の不等式
-
オイラーの公式にsinx+icosxを...
-
高校数学 三角関数
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
a(n)=1/(n+1)! lim[z->π/2](d/d...
-
こちらの式はtan(z)のローラン...
-
位相差を時間に
-
2024.4.7 03:42の質問に対する2...
-
この変形の何が違うのかわから...
-
sinx-cosx=√2sinx(x-π/4) と解...
-
タンジェントのマイナス1乗に...
-
cos(θ-π/2)=sinθ sin(θ-π/2)=-c...
-
円周率の求め方
-
0≦θ<2πにおいてのtanθ≦√3をみ...
-
数IIの問題です!
-
問題 「x+y=3のとき、x² + y² ...
-
sin 5/12π, cos 5/12π, tan 5/1...
-
三角関数の合成
-
三角関数の不等式
-
75°と255°と750°を弧度法に直し...
-
0≦x<2πのときのsin{x+(π/3)}=1/...
-
t^1/2のラプラス変換の像関数を...
-
cos(-π/3)とsin(-π/3)の値
-
アーク計算
おすすめ情報