- 締切済み
三角行列のN乗
- みんなの回答 (5)
- 専門家の回答
みんなの回答
- imo6480
- ベストアンサー率0% (0/1)
訂正 (ア)a≠bのとき ではなくて (ア)a≠cのとき でしたっ。
- imo6480
- ベストアンサー率0% (0/1)
帰納法で証明ではありませんが、計算で証明を一つ・・・ A=(a b 0 c) と置きます。 ケーリ-・ハミルトンより A^2-(a+c)A+acE=O A^2-(a+c)AE+acE=O (A-aE)(A-cE)=O (ア)a≠bのとき A(A-cE)-aE(A-cE)=O (半端に展開し直しただけね) A(A-cE)=a(A-cE) A^n (A-cE)=a^n (A-cE) A^(n+1)-cA^n=a^n (A-cE) これを(1)と置く A(A-aE)-cE(A-aE)=O (また半端に展開) A^(n+1)-aA^n=c^n (A-aE) (上と同じ操作) これを(2)と置く (1)-(2)より (a-c)A^n=a^n (A-cE)-c^n (A-aE) ∴ A^n=a^n (A-cE)-c^n (A-aE)/(a-c) (イ)a=cのとき (A-aE)^2=O ここで A-aE=B と置く A=aE+B A^n=(aE+B)^n =(aE)^n+nC1(aE)^(n-1)B+…+B^n (二項定理) =(aE)^n+nC1(aE)^(n-1)B (∵B^2=O) 成分は書くのめんどいけん書いてないけどこうなります。ちなみに(イ)はsharp-penさんが以前質問していた2×2行列のn乗の話が、例の一つですな~。さらにちなみに、正方行列のn乗は大体ケーリー・ハミルトンで解けます。因数分解できないときは、特殊性が潜んでいることが多いです。(特に高校の数Cとか受験数学で。)特殊性ってのは、周期的になってたり、n乗がnによらないものだったりってことですよ。
- oshiete_goo
- ベストアンサー率50% (374/740)
与えられた行列をAとして, ┌ ┐ A^n=│a^n b[n] │ │ 0 c^n │ └ ┘ ただし b[1]=b n≧2のとき b[n]=b{Σ_{k=0~n-1} a^(n-1-k)・c^k} =b{a^(n-1)+a^(n-2)c+a^(n-3)c^2+・・・+ac^(n-2)+c^(n-1)} =b(a^n-c^n)/(a-c) [a≠c のとき] または na^(n-1)・b [a=c のとき]
- haruka0322
- ベストアンサー率36% (27/74)
変な回答してすいません。 #1はミスですので、#2の方だけ見てください。 文章が変なところとかを直そうと思ったんですが・・・。 #1を送信する前に修正したハズなんですけどねぇ(汗
- haruka0322
- ベストアンサー率36% (27/74)
n=kで仮定した後、もとの行列を右からでも左からでも 普通に掛けてみてください。そうすると、その形は n=k+1を代入した時と同じになり、証明できます。 推測の仕方は、試しに元の行列(Aとおきます)に 左右どちらからでもAをかけてA^2をつくり、 さらに左右どちらからでもAをかけてA^3を作れば 規則が見えてくると思いますので、もう一度落ち着いて考え直してみてはいかがでしょう? あ、推測はできたんでしたっけ。
関連するQ&A
- すべての自然数n>=0に対して
すべての自然数n>=0に対してn3乗+(n+1)3乗+(n+2)3乗が9で割り切れることを証明せよ。 これがわかりません。 展開して3n(n2乗+3n+5)+9という形にして3n(n2乗+3n+5)が9で割り切れることを示すのでしょうか? それとも帰納法でn=kで成り立つと仮定してn=k+1が9で割り切れることを示すのでしょうか? 申し訳ありませんが教えていただきたいです。 よろしくお願いします
- 締切済み
- 数学・算数
- 数学的帰納法 n^2≧n (nは整数)の証明
数学的帰納法 n^2≧n (nは整数)の証明 n=1 のとき 1≧1 より成り立つ n=k のとき k^2≧k ... -k^2≦-k ... 1 が成り立つと仮定すると n=k+1 のとき (k+1)^2≧k+1 k^2+2k+1≧k+1 k^2≧-k 1より k^2≧-k^2 k^2 は正数だからこれは左辺は正数、右辺は負数になる。したがってこれは成り立つ 私なりにやってみたのですがこれでどんな自然数nについても証明はできているでしょうか。 また、負数に関しての証明の方法をご教授願います。
- ベストアンサー
- 数学・算数
- f(n)=(1)^n+(2)^n+(3)^n+(4)^n
nは自然数 f(n)=(1)^n+(2)^n+(3)^n+(4)^n f(n)を5で割った余りをr(n)とする。 (1)r(n)は g(n)=(1)^n+(2)^n+(-2)^n+(-1)^n を5で割った余りと等しいことを示せ。 (2)r(n)=0を満たすnをすべて答えよ。 (1)は f(n)-g(n)=5t と置いて、数学的帰納法で解くのが良いのでしょうか? f(n)-g(n)=(3)^n+(4)^n-(-2)^n-(-1)^n=5t n=1のとき f(n)-g(n)=3+4+2+1=10 → OK n=kの時成立すると仮定して n=k+1の時 (3)^(k+1)+(4)^(k+1)-(-2)^(k+1)-(-1)^(k+1) =(3)^(k+1)+4{5t-3^k+(-2)^k+(-1)^k}-(-2)^(k+1)-(-1)^(k+1) =-3^k+20t+6(-2)^k+5(-1)^k ここで -3^k+6(-2)^k を帰納法で5の倍数と証明して f(n)-g(n)=5t と証明できる。 他の証明方法はないのでしょうか? (2)はどのようにすればよいか分かりません。 教えてください。 お願い致します。
- 締切済み
- 数学・算数
- 組み合わせの問題について
組み合わせに関する問題で質問があります。 ∑n_C_k = 2^n (※∑はk=0からnまで) の証明がわかりません。 帰納法をつかってやるのかなと試してみたのですが、 n=kが成立すると仮定してn=k+1を計算するところで 詰まってしまいました。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 帰納法と背理法の注意点について
「nを正整数とする。(2^n) + 1は15で割り切れないことを示せ。」という問題です。 解答は帰納法で解くのではなく、nを具体化していくと15で割ったあまりが3,5,9,2・・・のパターンで推移していくのを証明すればいい問題なのですが、これに対して私は帰納法と背理法をミックスして以下のように解こうと思ったのですがだめですか。 (2^n) + 1は15で割り切れると仮定し、それを帰納法で表す。 n=1のとき3となり15で割り切れない。 n=kのとき15で割り切れると仮定する。つまり (2^k) + 1=15m ⇔2^k=15m-1・・・(1)が成り立つと仮定する。 (1)より (2^k+1)=2(15m-1) =15・2m - 2 となり矛盾する。よって(2^n) + 1は15で割り切れない・・・(終) どこかおかしそうな気がするのですが、結論として帰納法は帰納法単独でしか使えないのでしょうか。この問題は帰納法単独だけでは「(2^n) + 1は15で割ると13余る数ではない」ということしか証明できないので困ります。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 数学的帰納法の不等式の問題です
数学的帰納法の不等式の問題です。 nは自然数とする。不等式 2n が成り立つことを、数学的帰納法を用いて証明せよ n=1のときはわかるのですが、n=kのとき成り立つと仮定してn=k+1のときに成り立つことを証明する解き方がわかりません。 教えてください!
- ベストアンサー
- 数学・算数
- 線形代数の行列の証明方法[数学的帰納法]について
次の等式が成り立つことを示せ。 [[a,b],[0,1]]^n = [[a^n,(a^n-1)b/(a-1)],[0,1]] という証明問題について質問です。 私は数学的帰納法で .......................... [I]n=1のとき成立。 [II]n=kのとき成立すると仮定すると [[a,b],[0,1]]^(k+1)=[[a,b],[0,1]]・[[a,b],[0,1]]^k=・・・(以下省略) .......................... という風にしてやりましたが、この問題の解説をみると、 解説では ........................... [I]n=2のとき・・・(計算略) よって成立 [II]n=k-1のとき成立すると仮定すると [[a,b],[0,1]]^k=・・・(以下略) ........................... というやり方で証明していました。 そこで質問なのですが、仮に院試や試験などで このような問題が出た場合、 私のやり方だと減点になってしまうのでしょうか?
- ベストアンサー
- 数学・算数
- 行列です。基本だと思うのですが,教えてください。読みにくいと思いますが
行列です。基本だと思うのですが,教えてください。読みにくいと思いますが,よろしくお願いします。 (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)については,最初から教えてもらえませんか。よろしくお願いします。
- ベストアンサー
- 数学・算数