• ベストアンサー

数学帰納法でn=1, 2 の成立を示す場合の考え方

数学的帰納法では通常 (1) n=1の成立を示し, (2) n=kの成立を仮定しそれを用いてn=k+1のときの成立を示す となっていますが, (1) n=1,2 の成立を示し (2) n=k k+1 の成立を仮定し…… となる問題もときどき見かけます。 後者で証明する場合には問題にどのような特徴があるのでしょか? 宜しくお願いします。

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

  • ベストアンサー
  • notnot
  • ベストアンサー率47% (4851/10265)
回答No.1

ほとんど自明だと思いますが。 n=kの成立を仮定しそれを用いてn=k+1のときの成立を示すのは難しいあるいは無理だが、n=k k+1 の成立を仮定しn=k+2のときの成立を示すのは易しい。

ukohcamay
質問者

お礼

すぐの回答ありがとうございます。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (3)

回答No.4

#2です。 >数学的帰納法では通常 >(1) n=1の成立を示し, >(2) n=kの成立を仮定しそれを用いてn=k+1のときの成立を示す 確かに、一番最初に習うのはその形ですが、(2)を次の形に変えたものも数学的帰納法と呼ばれます。 (2)' n<=kの全ての場合の成立を仮定しそれを用いてn=k+1のときの成立を示す (2)を使った帰納法も(2)'を使った帰納法も、全ての自然数についての成立を証明するという機能的には全く同等なことはお分かりと思います。しかし、その形から分かりますように(2)'を使ったほうが適用範囲が広いのでお勧めです。 ご提示の問題ですが。 n=1のとき、仮定より成立。 n=kのとき成り立つとする。従って、A=x^k+y^kは偶数である。 このとき、A(x+y)=x^(k+1)+y^(k+1)+xy(x^(k-1)+y^(k-1)) なるほど、ここでk-1の成立も仮定するというわけですね。 確かに(2)は使えませんが、(2)'を使った帰納法では問題なく証明できます。

ukohcamay
質問者

お礼

ありがとうございます。 (2)は参考になりました。 返事が遅くなって申し訳ありません

全文を見る
すると、全ての回答が全文表示されます。
  • naniwacchi
  • ベストアンサー率47% (942/1970)
回答No.3

こんにちわ。 問題の特徴というのかわかりませんが、 隣接 3項間の漸化式で与えられた数列なんぞを想像してもらえばよいかと。 ちょっとひねりが出てくると、こんな問題もあったりします。 http://okwave.jp/qa/q5898948.html 帰納法の証明は、 「n= kを仮定して」や「n= k, k+1を仮定して」と置いてから進めていきますが、 「一般の nについて成り立つためには、 その1つ前やさらにその1つ前も成り立たないといけない(だろう)」 という要請からスタートすることも多いです。 そして、それを帰納法によって示していく。という流れです。 上のひねりが入った問題もその類になると思います。

参考URL:
http://okwave.jp/qa/q5898948.html
ukohcamay
質問者

お礼

ありがとうございます。 返信が遅くなって申し訳ありません

全文を見る
すると、全ての回答が全文表示されます。
回答No.2

私は見たことが有りませんが、具体的にどのような問題ですか。 例えば、偶数の場合と奇数の場合で現象が異なる場合に、 1及び2に対する成立と、kで成り立てばk+2でも成り立つことを示す、と言う論法はありえそうな気もしますが。

ukohcamay
質問者

お礼

回答ありがとうございます。 「実数x,yについて,x+y, xy がともに偶数とする。このとき,自然数nに対して,x^n+y^n は偶数になることを示せ」という問題です。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 数学的帰納法について

    数学的帰納法は、 (1)n=1のとき成り立つことを証明 (2)n=kのとき成り立つと仮定して、n=k+1の時も成り立つことを証明しますよね。 この(2)についてなのですが… なぜkが出てくるのでしょうか?? n≧2のとき成り立つと仮定して、n+1のときも成り立つかどうかを考えていくのは間違いなのでしょうか?? 回答よろしくお願いします。

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

     次の問題を、どなたか解いて頂けないでしょうか? 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のことです。)

  • 数学的帰納法について

    数学的帰納法について質問があります。 数学的帰納法の問題で http://www.geisya.or.jp/~mwm48961/kou2/inductive_method3.htm のnが〇以上(〇には具体的な数値が入ります)のとき 証明せよ の問題の解き方は理解できるのですが考え方に不明な点があります。 __________________________________________________ 数学的帰納法は (I) n=1 のとき(A)が成り立つことを証明する. (II) n=k のとき(A)が成り立つことを仮定する. その仮定を使って n=k+1 のとき(A)が成り立つことを証明する. __________________________________________________ とのことですがkは任意に自然数として理解をしていましたがこの考え方をすると、 nが〇以上の時について証明せよ。において (I) n=〇のとき(A)が成り立つことを証明する. (II) n=kのとき(k>=〇)(A)が成り立つことを仮定する の(k>=〇)の条件を書く必要があるのかがわかりません。 すなわち、 私が考えているのは、 (I) n=〇のとき証明できたのだから (II) n=kのとき(k>=〇)ではなくn=kのとき(k>=〇+1) と何故書かないのかということに疑問があります。 そのため、 すべての自然数 n について,次の不等式が成り立つことを証明せよ. の問題では、 (I) n=1 のとき(A)が成り立つことを証明する. (II) n=k のとき(k>=1)(A)が成り立つことを仮定する. と書かないのか という内容に混乱をしています。 これについて先生に尋ねてみたら すべての自然数において問題は自然数1から必ず行うものだから (k>=1)というのは暗黙の了解である。 だから、書かなくていい といわれました。 この考え方にあまり納得いかないので、わかりやすく解説をしてください。

  • 数学的帰納法

    数学的帰納法によって、 n≧2のとき、1+(1/2^2)+(1/3^2)+・・・+(1/n^2)<2-(1/n)が成り立つことを証明せよ。 まず、n=2のとき1+1/4<2-(1/2)で成立 n=kのとき1+(1/2^2)+(1/3^2)+・・+(1/k^2)<2-(1/k)が成立するとして、n=k+1の時も成り立つことを証明する という所で止まっています。非常に簡単な事をお尋ねしているかも知れませんが、ここから先の証明方法を教えて下さい!!

  • 数学的帰納法の不等式の問題です

    数学的帰納法の不等式の問題です。 nは自然数とする。不等式 2n が成り立つことを、数学的帰納法を用いて証明せよ n=1のときはわかるのですが、n=kのとき成り立つと仮定してn=k+1のときに成り立つことを証明する解き方がわかりません。 教えてください!

  • 数学的帰納法

    数学的帰納法がわからなくなってしまいました。 だれか、教えてください。 問題 次の等式が成り立つことを、数学的帰納法によって証明せよ。 nが自然数のとき、1・1 + 2・2 + 3・(2の2乗) +・・・・+ n・(2のn-1乗) = (n-1)・(2のn乗+1)----(1) (ⅰ)n=1のとき    (左)-(右)=1-1=0 よってn=1のとき(1)は成り立つ。 (ⅱ)n=kのとき(1)が成り立つと仮定すると、     1・1 + 2・2 + 3・(2の2乗) +・・・・+ k・(2のk-1乗) = (k-1)・(2のk乗+1)    n=k+1のとき、     (左)=1・1 + 2・2 + 3・(2の2乗) +・・・・+ k・(2のk乗)  ここからがわかりません。1・1 + 2・2 + 3・(2の2乗) を、どうやって処理したら良いんでしょう? やりかたはもうひとつあると思いますが、このやり方でお願いします。

  • 数学的帰納法

    数列anを a1=1, a2=1, an=an-2+an-1(n=3,4,5) で定義する。 このとき、すべての正の整数に対して次の不等式が成り立つことを数学的帰納法を用いて証明せよ。 という問題で 解答では n=1,2のとき成り立つことを示して n=k,k+1のとき成り立つと仮定して n=k+2のとき成り立つことを示す と書いてあるのですが、 n=1のとき成り立つ、 n=kのとき成り立つと仮定、 n=k+1のとき成り立つ にしないのはなぜですか? 教えてください お願いします!!m(_ _)m

  • 数学的帰納法について

    数学的帰納法について、一般的には、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]の部分の示し方を教えて下さい。

  • 数学的帰納法は間違い?

    数学的帰納法はn=1のとき証明して、n=kのとき成り立っていると仮定して、n=k+1のとき成り立っていることが示せればOKというものですよね。でもこれでは証明できない気がします。「n=kのとき成り立っていると仮定している」ので、そのあくまでも【仮定】しているときにn=k+1のときが成り立ってもだめなのではないでしょうか?仮定しているだけなので実際n=kのときが成り立っているとは限らないし、成り立っている保証のない条件の下ほかのもの(n=k+1のときのもの)が成り立つからといって証明していることになるのでしょうか? 以上のように考えてしまいます。上の考え方ではどこがいけないのか教えてください。

  • 【数学B】数学的帰納法 発展問題

    まず、問題を書きます。 /////////////////////////////////////////// 問 nは自然数とする。数学的帰納法によって、次の不等式を証明せよ。 1) 1^2+2^2+3^2+・・・・・・+n^2<(n+1)^3/3 /////////////////////////////////////////// 見にくいですが。 解答を見てみたのですが、何か僕にとって大事なところが抜けていて、何言ってるかわかりませんでした。 帰納法で i)n=1のとき ii)n=kのとき で考えるところまでは分かりますが、n=kでnにkを代入した式を仮定するまでしか駄目でした。 この数学的帰納法の証明方法はいくつかあると思いますが、 一番、簡潔で分かりやすく証明できる方法を教えてください。 お願いします。