No.1ベストアンサー
- 回答日時:
前の回答ではけっこう説明を端折ったので, ある程度丁寧に説明してみます. 長いので入力ミスがあるかも….
まず, Σ[k=1,∞] e^(kπi/n)/k = -log(1-e^(πi/n)) の虚部をとると, 2つの等式
1) e^(iθ) = cosθ + isinθ (Euler の公式)
2) logz = log|z| + iArgz
より,
Σ[k=1,∞] sin(kπ/n)/k = -Arg(1-e^(πi/n))
を得ます.
ここで, Argz というのは z=r^iθ (r>0, -π<θ≦π) に対し Argz=θ となるような関数です.
※2) の式は, ここでの log の定義そのもの (「ここでの」というのは, log は本来多価関数だがここでは主値を考えて一価関数だと思っているので) だと思っておけば OK です.
(はじめに Taylor 展開 Σ[k=1,∞] z^k/k = -log(1-z) を用いましたが, この右辺の -log(1-z) 自体が -(log|1-z| + iArg(1-z)) の意味であった (そのように定義するとこのような Taylor 展開ができる) ということです.)
次に, -Arg(1-e^(πi/n)) = π(1-1/n)/2 となることを示しましょう.
1つのやり方として, 複素数 z=x+yi (x,y は実数) に対し, x>0 ならば Argz = Arctan(y/x) となることを利用するという方法があります. すると
-Arg(1-e^(πi/n)) = -Arg(1-cos(π/n)-isin(π/n)) = -Arctan{-sin(π/n)/[1-cos(π/n)]}= Arctan{sin(π/n)/[1-cos(π/n)]} となるので (最後 Arctan が奇関数であることを用いた), 前質問の No.2 の方の答えと一致しました. あとは前質問の No.4 に示した方法によりこれが π(1-1/n)/2 に一致することがいえます.
前質問 No.4 のやり方はやや天下り的なので, 別のやり方も紹介しておきます. 以下の文章はお手元で図を描きながら読んでください.
いま, 0<θ≦π とし, 複素平面上の原点 z=0 を点 O, z=1 を点 A, z=1-e^(iθ) を点 B とします. このとき, Argz=-∠AOB の値を求めることを考えます.
複素数の図形的な意味を考えることにより, △AOB は, 3点 A,O,B がこの順に反時計周りに並び, AO=AB=1, ∠OAB=θ であるような二等辺三角形であることがわかります. (厳密には θ=π のときには二等辺三角形は潰れてしまいますが.) したがって ∠AOB=(π-θ)/2 なので, Arg(1-e^(iθ))=-(π-θ)/2 となり, -Arg(1-e^(iθ))=(π-θ)/2 となるわけです. あとは θ=π/n を代入すれば終了です.
この回答へのお礼
お礼日時:2016/08/26 09:33
すいません、わざわざ二回も回答させてしまって……けれど非常にわかりやすい説明で、疑問に思ってた部分が全て納得いきました! ありがとうございました!!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1 / (x^2+1)^(3/2)の積分について
-
f(θ) = (2a・cosθ) / ( cos^2(θ...
-
位相がよく分かりません。 cos(...
-
重積分について
-
数3の極限について教えてくださ...
-
cos π/8 の求め方
-
cosπ/2やcos0ってどのように求...
-
1/(sinx+cosx)の積分
-
y=sin4θとy=cos4θのグラフの...
-
∫[0→∞] 1/(x^3+1)dx
-
y=cosx(0≦x≦π/2)のy軸周りの回...
-
今年のセンター試験数学Ⅱ・Bの...
-
関数
-
逆三角関数の方程式の問題です...
-
この1/2はどこからでてきました...
-
扇形の図形に長方形が内接
-
cos3θ+cos5θ=0を解け
-
数学・三角比の質問
-
高3数学
-
積分∫[0→1]√(1-x^2)dx=π/4
おすすめ情報
以下が、その質問した内容です。
https://oshiete.goo.ne.jp/qa/9392741.html
分からなかったのは、No,3の回答で、
『(中略)
Σ_[k=1,∞] e^(kπi/n)/k = -log(1-e^(πi/n))
等式の虚部を比較することで
Σ_[k=1,∞] sin(kπ/n)/k = -Arg(1-e^(πi/n)) = π(1-1/n)/2』
の部分です。すいません、訂正です。お願い致します。