• ベストアンサー

証明問題

(cosθ+jsinθ)^n=cos(nθ)+jsin(nθ)を証明するんですが、 a=cosθ、b=cosθとおいて計算した。 tanθ=b/a, よってθ=tan^(-1)b/a (a+jb)^n=(√(a^2+b^2))^n(cos(tan^(-1)b/a)+isin(tan^(-1)b/a))^n となりました。この先が見えません・・・ 教えてください。

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

  • ベストアンサー
noname#20644
noname#20644
回答No.3

ド・モアブルの定理といわれるものです。 #1の方の書かれているように、 (cosθ+jsinθ)^n=cos(nθ)+jsin(nθ) が (1) n=1 のときに、成立することを述べた後、 (2) n=k-1 のときに成立すると仮定して (cosθ+jsinθ)^(k-1)=cos{(k-1)θ}+jsin{(k-1)θ} (3) これに、(cosθ+jsinθ) を掛けると 左辺=(cosθ+jsinθ)(cosθ+jsinθ)^(k-1) =(cosθ+jsinθ)^k 右辺=(cosθ+jsinθ)[cos{(k-1)θ}+jsin{(k-1)θ}] =cosθ・cos{(k-1)θ}-sinθ・sin{(k-1)θ}+j[sinθ・cos{(k-1)θ}+cosθ・sin{(k-1)θ}] =cos(kθ)+jsin(kθ) となって、(cosθ+jsinθ)^k=cos(kθ)+jsin(kθ) が成立する。 従って、(cosθ+jsinθ)^n=cos(nθ)+jsin(nθ) と言えばよい。

その他の回答 (3)

回答No.4

nは自然数でしょうか? であれば数学的帰納法の利用です。 nが自然数ではないのであれば、No.2の方のように、e^(jθ)を使うやり方でしょう。でもこれだと1行で終わってしまう(※)ので、それでもいいのかどうか...。 ※ (cosθ+jsinθ)^n = {e^(jθ)}^n = e^(jnθ) = cos(nθ)+jsin(nθ)

noname#101087
noname#101087
回答No.2

通常は、  exp(jθ) = cosθ+jsinθ であることを利用して証明してますが。

  • uyama33
  • ベストアンサー率30% (137/450)
回答No.1

数学的帰納法と sin((n-1)θ+θ)= cos((n-1)θ+θ)= を使うことなる

関連するQ&A

  • 作られた問題

    分からない問題があるのですが、実はこの問題は問題集など すでに問題として成り立っており答えも存在する問題ではなく ある人が短時間で作った問題なので、問題自体が間違っている 可能性も否定はできません(私の計算ミスなどにより解けない だけで、問題があっている可能性ももちろん大いにあります) 1、{(1+√3i)/(√2+√2i)}^2000 計算すると(2/√2)^2000*{(-1/2)+(√3/2i)}になりました。 問題製作者は先生なのですが、授業中に解いた(正しくは宿題で出た)問題も 2000乗でしたが、きれいに解けました。 やはりこの問題は地道に(2/√2)^2000を計算するしかないのでしょうか。 2、a=(1+i)/√2とするとき、1+a+a^2+a^3=0であることを示せ。 計算していくと、イコール0にならなかったので示せなかったのですが これは単なる私の計算ミスでしょうか。 ちなみに、a=cos45°+isin45°に直し、a^2=cos90°+isin90°などとして 最後にcos90°+isin90°=iに直して足し、解いていきました。 3、P={(i+√3i)/2}^n+{(-1-√3i)/2}^nの値を求めよ(nは正の整数) (i+√3i)/2、(-1-√3i)/2をそれぞれ極形式に直しました。 その後足して、ド・モアブルの定理を使い、nの場合分けをして 答えを出そうと思ったのですが、(i+√3i)/2はcos60°+isin60°、 (-1-√3i)/2はcos120°-isin120°になりました。 このあとどうすればいいのかが分かりませんでした。 たぶん問題の方は合っていると思うのですが、違ったらご指摘ください。 (私が作った問題ではありませんが・・・) もし問題が合っている場合は、それぞれの解き方を教えていただけると 幸いです。よろしくお願いいたします。

  • cos(x/2)*cos(x/2^2)*・・・・・cos(x/2^n)

    実数x及び自然数nに対して a_n=cos(x/2)*cos(x/2^2)*・・・・・cos(x/2^n) とする。 (1)2^n*a_n*sin(x/2^n)の値はnと無関係に一定であることを証明せよ。 (2)log|a_n|をxで微分することにより、 Σ(n=2~∞)1/2^n *tan(π/2^n)=1/π であることを証明せよ この問題に取り組んでいます。 (1)で2^n*a_n*sin(x/2^n)の計算を行っていて、いろいろな三角関数の公式を利用してみたのですが全然うまくいきません。「nと無関係」ということはnが消えればいいということだと思うのですが・・・。 (2)はloga_nを微分したところ -1/2 tan(x/2) - 1/2^2 tan(x/2^2) -・・・となったのですがここから証明すべき式に変形するにはどうしたらいいのでしょうか? 回答いただければありがたいです。よろしくお願いします

  • 複素数の証明について

    z1=r1(cosθ1+isinθ1)、z2=r2(cosθ2+isinθ2)のとき、 z1/z2=r1/r2*[cos(θ1-θ2)+isin(θ1-θ2)] を証明したいのですが、どうやって証明したらよいでしょうか? 加法定理はわかるので、加法定理を使う前のところまで教えて頂けたら嬉しいです。 ////////////////////////////////////////////////// 3点A(α)、B(β)、C(γ)とするとき、 (γ-α)/(β-α)=k(cosθ+isinθ)が成り立つ時、 θ=arg(γ-α/β-α)が成り立つのはどうやって証明したらよいでしょうか? どちらかだけでもよいので、よろしくお願いします。

  • 証明問題をお願いします

    sin(x)+sin(3x)+sin(5x)+.....sin((2n-1)x) ÷ cos(x)+cos(3x)+cos(5x)+.....cos((2n-1)x)= tan(nx) の証明をお願いします。

  • tan(a+b)の証明で

    tan(a+b)の証明で tan(a+b)の証明で   sin(a)cos(B)+cos(a)sin(B)  -----------------------   cos(a)cos(B) =------------------------   cos(a)cos(B)+sin(a)sin(B)  -----------------------   cos(a)cos(B) のなぜ分母、分子にcos(a)cos(B)が割られるのかがわかりません。なぜでしょうか?

  • オイラーの公式の変形

    A=cos2π/n + isin2π/n が出てくる問題を解いてるときに式変形してたらおかしなことになったのですが、おかしいところを教えてください オイラーの公式よりe^i(2π/n)=cos2π/n + isin2π/n=A またe^ix=cosx+isinx (e^ix)^n=cos(nx)+isin(nx) x=2π/nを代入 (e^i(2π/n))^n=cos2π+isin2π=1 A^n=1 A=1 となっちゃったのですが冷静にn=4とかだとA=iになるのでおかしいのですがどこで間違えたのかよくわかりません。 根本的におかしいのでしょうか 回答よろしくお願いします

  • tanの証明問題について

    tan(tan^(-1)x)=x と tan^(-1)(tanx)=x-nπ (n=x/πに一番近い整数) を証明せよ。 という問題ですが、どう証明すればいいかわかりません。 微分を使って証明するのでしょうか? どなたか教えてください。

  • 数学の問題で・・・

     Σを用いた問題なのですが、このような記号に慣れていなく、よくわかりません。  どなたか解き方と答えを教えてください。 問題は以下の通りです。  A=exp(i2π/N) [A^N=exp(2πi)=cos2π+isin2π=1] ^は階乗を表す (1) Σ[n=0~N-1](A^k)^n (k=0,1,・・・N-1) (2) Σ[n=0~N-1]n(A^k)^n (k=0,1,・・・N-1)

  • 数列が収束するかの証明問題

    数列{a_n}{b_n}を写真のように定める。 (a_n,b_nはすべて正数とする) a_n,b_nが同じ値に収束することをしめしなさいという問題なのですが、 流れとしては、 1) a_n=b_nならば代入すれば、a_(n+1)=b_(n+1) 数学的帰納法(?)で数列{a_n}{b_n}は同じ値に収束する 2) a_n>b_nとして、 b_n=√(b_n*b_n)<√(a_n*b_n)=b_(n+1) a_n=2(a_n)^2/2(a_n)>2a_n*b_n/a_(n)+b_n=a_(n+1) (ここは計算すると、不等号が成り立ちますが、省略します。) またa_(n+1)<b_(n+1) (0<(a_n-b_n)^2から計算すれば出ますので省略します) これをまとめてb_n<a_(n+1)<b_(n+1)<a_nとなる 3) 次にa_n<b_nのときは 上記と同じような計算で b_(n+1)<b_n a(n+1)>a_n a_(n+1)<b_(n+1)がえられる。 2)3)の結果を合わせて a_n>b_nの場合は、a_(n+1)<b_(n+1)に、 a_n<b_nの場合はa_n<a_(n+1)<b_(n+1)<b_n…(1)となる。 nが2以上で(1)が無限に繰り返されていき、a_2<a_3<a_4<a_5<...<b_5<b_4<b_3<b_2が成立するため{a_n}{b_n}はともに有界であり、n=2以上で {a_n}は単調増加、{b_n}は単調減少であるとわかる。よってともに収束する。 数列{a_n}の収束値をA、数列{b_n}の収束値をBとして 与式に代入するとA=Bがえられ、数列{a_n}b_n}は同じ値に収束することがわかる。 といった感じ大まかにはあってますか?

  • (1)a=[1 1 ]

    (1)a=[1 1 ]     [0 1 ]としたとき,a^nをいくつかのnで計算して,一般のn(正負とも)について,その形を証明せよ。 (2)b=[1 1 1]     [0 1 1]     [0 0 1] としたとき,b^nをいくつかのnで計算して,一般のn(正負とも)について,その形を証明せよ。 (3)c=[1 1 1 1]    [0 1 1 1]     [0 0 1 1]    [0 0 0 1]としたとき,c^nをいくつかのnで計算して,一般のn(正負とも)につい     て,その形を証明せよ。 (4)D=[cosφ  -sinφ]     [sinφ   cosφ]としたとき,D^nをいくつかのnで計算して,一般のn(正負とも)につい     て,その形を証明せよ。 (5)G=[cosθ   sinθ]     [sinθ  -cosθ]としたとき,G^nをいくつかのnで計算して,一般のn(正負とも)につい     て,その形を証明せよ。 (1)については,a^n=[1 n]        [0 1 ]がわかり,数学的帰納法で,a^n+1のときも出したのですが,証明の書き          方に自信がありません。 (2)については,b^2=[1 2 3 ]c^3=[1 3 6 ]        [0 1 2 ] [0 1 3]        [0 0 1 ] [0 0 1]という風に,b^4,b^-1,b^-2,b^-3あたりを計算したのですが,規則性がどうしてもわかりません。 (3)についても,c^2=[1 2 3 4]c^3=[1 3 6 10]        [0 1 2 3] [0 1 3 6]        [0 0 1 2] [0 0 1 3]        [0 0 0 1] [0 0 0 3]という風に,c^4,c^-1,c^-2,c^-3あたりを計算したのですが,規則性がどうしてもわかりません。 (1)は,証明(数学的帰納法)の書き方を,(2)(3)については,一般のnを,(4)(5)については,最初から教えてもらえませんか。よろしくお願いします。