• ベストアンサー

帰納法による証明

問題:0≦a≦bならば、任意のn∈Nに対してa^n≦b^nであることを示せ。 [証]数学的帰納法より [1]n=1のとき (左辺)=a,(右辺)=b 条件よりa≦bとなり成立。 [2]n=kで成立すると仮定すると、a^k≦b^k n=k+1のときb^k+1-a^k+1≧0を示す。 b^k+1-a^k+1=...ここからどうすればいいのでしょうか?

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

  • ベストアンサー
noname#17487
noname#17487
回答No.2

b^k≧a^k   0≦a≦bよりb^k・b≧a^k・b≧a^k・a ∴b^k・b-a^k・a≧0 ∴b^(k+1)-a^(k+1)≧0 ∴b^(k+1)≧a^(k+1) この様にn=k+1の時も成り立つ。 以上を参考にして下さい。

その他の回答 (2)

回答No.3

 b^(k+1)-a^(k+1) = (b-a)(a^kb^0+a^(k-1)b^1+…+a^1b^(k-1)+a^0b^k) が成り立つと思いますが確認してません  一方 inductionを使いますが別の証明もあります. a^k<b^kのとき 0<a<bよりa^(k+1)=a(a^k)<a(b^k)<b(b^k)=b^(k+1)

noname#21219
noname#21219
回答No.1

仮定より、a^k≦b^kです 両辺にaをかけると a^(k+1)≦ab^k ab^k=b^(k+1)・a/bより a^(k+1)≦ab^k はa^(k+1)≦b^(k+1)・a/bですが 書き換えると b/a・a^(k+1)≦b^(k+1)となり a^(k+1)≦b/a・a^(k+1)より a^(k+1)≦b^(k+1)

関連するQ&A

  • 数学的帰納法って?証明をして下さい!

     次の問題を、どなたか解いて頂けないでしょうか? nは自然数とする。このとき、次式が成立することを数学的帰納法を用いて証明せよ。 1×3+2×4+3×5…+n(n+2)=1/6n(n+1)(2n+7)…命題A  nが1のときに成り立つことは証明できました。n=kのときに命題Aが成り立つと仮定すると、1×3+2×4+3×5…+k(k+2)=1/6k(k+1)(2k+7)…(1)である。n=k+1のとき命題Aの左辺は(1)を用いて、命題Aの左辺=…以下の証明が出来ません。  数学的帰納法について、あまり理解してません。出来れば解説を加えて頂きたいです。よろしくお願いします!(1/6は、6分の1のことです。)

  • 数学的帰納法

    今高校で数学的帰納法をやっているんですが、模範解答を見ても解き方がわからない問題があります。 お力貸してください。 nを自然数とするとき、数学的帰納法によって次の等式を証明せよ。   (n+1)(n+2)(n+3)……(2n)=2のn乗×1×3×5×……×(2n-1)  模範解答・・・ [1]n=1のとき、左辺=1+1=2、右辺=2 より成り立つ。          [2]n=kのとき与式が成り立つと仮定すると、    (k+1)(k+2)(k+3)……(k+k)=2のn乗×1×3×5×……×(2k-1)  ------------------------------------------------------------   ここまでは分かります。以下がわかりません。  この両辺に〔(k+1)+k〕〔(K+1)+(K+1)〕を乗じると、(なんでここでこれを乗じるんですか??) 左辺=(K+1)(K+2)(K+3)…(K+K)〔(K+1)+k〕〔(K+1)+(K+1)〕    (以下こんな感じです) 右辺=・・・・・ k+1≠0より左辺と右辺を(K+1)で割ると、これはn=k+1のときにも与式が成り立つことを示している  [1][2]よりすべての自然数nに対し与式は成り立つ。  途中からがよくわかりません。分かる方いらしたら教えてください。

  • 数学的帰納法について

    1・3+2・4+3・5+・・・+n(n+2)=(1/6)n(n+1)(2n+7) これがすべての自然数nに対して成り立つことを示したいのですが。 (I)まずn=1 は 左辺=1・3=3 右辺=3 となり等式は成立する。 (II)ここで、n=kのとき等式が成り立つと仮定すると  とかいて、はじめのnにn=kを代入しますよね。 その後、模範解答を見ると「(k+1)(k+3)を加えると・・・」 としているのですが (k+1)(K+3)を加えている理由としては、 n=kを成立すると仮定して、n=k+1が成り立つ⇒n=kも当然なりたつ⇒すべての自然数nについて与式は成り立つ。 というものなんでしょうか? ということは、例えば右辺が 2n(n+1)などとしたら、 はじめにn=1で成り立つことを示した後、 n=kを代入し 2k(k+1)を成り立つと仮定し、 n=k+1で 2(k+1){(k+1)+1}・・・☆ となるようにうまく右辺を変形させてあげて、 nのところにk+1が代入されている形になっているので、n=k+1のときに成り立つことが示せて、だからn=kのときも成り立ち、すべての自然数nに対して等式が成立する。 という風に考えればいいのでしょうか? つまり、右辺が☆の形でn=k+1で元の式のnにk+1を代入した形を示せれば、左辺はともかく右辺だけでn=k+1が成り立つことを示せているんですよね? つまり問題に戻ると、左辺は1・3+2・4・・・・+(k+1)(k+3)= とでも適当に書いておいて実質無視ということでしょうか? 理系の受験生なのですが、帰納法すらまともに書けないのか・・・ と馬鹿にされそうですが・・・。 質問というか確認のようになってしまいましたが、帰納法というのはどういうものなのか?という理解すらままならない状況だったので質問させていただきました。あと5ヶ月でまともな解答がかけるようになるために間に合うかはわかりませんが、地道に努力します。回答よろしくおねがいします。

  • 数学的帰納法

    2+4+6+・・・+2n=n(n+1) を数学的帰納法によって証明せよってもんだいなんですが 与えられた等式を(1)とする ((1))n=1の時右辺=2、左辺=2であるから(1)は成り立つ ((2))n=kの時(1)が成り立つと仮定すれば 2+4+6+・・・+2k=k(k+1) この両辺に2(k+1)を加えると 2+4+6+・・・+2k+2(k+1)=k(k+1)+2(k+1) と、こんな感じで解いたんですがあっているのでしょうか?それともまだこっから発展させたりするんでしょうか?間違ってたら訂正をお願い致します。

  • 数学的帰納法について

    (1+2+・・・+n)^2 = 1^3 + 2^3 + ・・・ + n^3 を数学的帰納法で証明するのですが、 n=1のとき、 1=1で左辺=右辺。 n=kで成り立つとしたとき、  n=k+1のとき、左辺 - (1+2+・・・+k)^2 = k^3 = (k+1)^3 を求めてみようとしたのですが、 式変形がうまくいきません。 どうかご教授願います。

  • 数学的帰納法

    nが自然数のとき、次の等式(*)を数学的帰納法を用いて証明せよ。 2+4+6+…+2n=n(n+1)・・・(*) 今日、数学的帰納法を勉強すていて自分で回答をつくったのですが、これでいいのか見てもらえませんか? 2+4+6+…+2n=n(n+1) (1)n=1のとき、左辺2、右辺2、よって成り立つ (2)n=kのとき 2+4+6+…2k=k(k+1)・・・1 が成り立つと仮定すると n=k+1 2+4+6+…2k+2(k+1)=(k+1)(k+2)・・・2 が成り立つことを証明する 2+4+6+…2k+2(k+1)=k(k+1)+2(k+1)・・・3 2と3の右辺が一致するので、(*)は成り立つ (1)(2)より、すべてな自然数は成り立つ ・・・3のところを 2+4+6+…2k+2(k+1)=k(k+1)+2(k+1) =(k+1)(k+2) =kの2乗+3k+2 よって成り立つ こうしてもよいのでしょうか 自分でつくったためあっているかわかりません 教えてください。

  • 証明の問題 パート2

    1+1/2^2+1/3^2・・・+1/n^2≦2-(1/n) (nは自然数) 数学的帰納法を用いて証明せよ。 途中まで考えてみました。 〔1〕n=1の時    左辺は1 右辺も1 よって成立 〔2〕n=kの時    1+1/2^2+1/3^2・・+1/k^2≦2-(1/k)で成立するとする。 ここからn=k+1の場合を考えればいいんですよね。なんだか混乱して分からなくなりました。簡単かもしれませんが、教えてください。

  • 集合と数学的帰納法

    1.平面上の点P(x,y)の集合A,Bを次のように定義する。 A={P(x,y)|x>0},B{P(x,y)|y≦-(x-k)^2+k かつ y≧kx-1} Bは空集合でなく、しかも B⊂Aであるためには、kはどんな範囲の値でなければならないか  = という問題です。わかりにくいやつは⊂の下に=がついたものです。 2.これは数学的帰納法の問題なのですが 数学的帰納法というのは学校で決まった形にあてはめるものだと 習いある程度お決まり文句がありそれはおぼえなければならないと 習いました。で、始めにn=1を代入して成り立つと証明し 次にn=kのとき成り立つと仮定してn=k+1の場合を考えるのですが これは右辺にk+1とする式をひとつ付け加えて左辺にそれと同じものを あてはめて解くというものだと自分では思っているのですがそれでは 解けません・・・ちょっと読解力に欠けているので 例題を出すので解き方を教えてください。 すべての自然数nに対して下の不等式が成り立つことを示せ。 1+1/2+1/3+1/4+・・・+1/n≧2n/(n+1) という問題です。このれいだいのさっきいった n=kを仮定してn=k+1のところを考えるところを教えてください

  • 数学的帰納法について

    数学的帰納法について、一般的には、nを自然数とするとき、   [1] n= 1 のとき、成立する。  [2] n= k、n= k+1 のとき、成立する。    ゆえに、任意の自然数nのときに成立する。 という手順で示していきますが、 今、kの値の範囲が 1≦k≦n を満たす自然数という条件があり、  [1] k = 1 のとき、成立する。(←は問題ありませんが)  [2] k = n、・・・  という手順で示していきたいとき、k= n+1 とおくと範囲外となります。この場合、  [2] k = n-1、k = n のとき、成立する。  という形で示せば良いのでしょうか? kの値の範囲が上記の場合の、数学的帰納法の[2]の部分の示し方を教えて下さい。

  • 線形代数の行列の証明方法[数学的帰納法]について

    次の等式が成り立つことを示せ。 [[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=・・・(以下略) ........................... というやり方で証明していました。 そこで質問なのですが、仮に院試や試験などで このような問題が出た場合、 私のやり方だと減点になってしまうのでしょうか?