数学的帰納法

出典: 謎の百科事典もどき『エンペディア(Enpedia)』
ナビゲーションに移動 検索に移動

数学的帰納法とは、数学における証明方法の一種である。日本では高校レベルの数学の演習でしばしば用いられるテクニックの一つであり、大学受験で数学を利用するならぜひ身に着けておきたい方法である。

なお、初学者向けにこのやり方を説明する際には、しばしばドミノ倒しに例えられる。ドミノ倒しは正しい配置であれば1枚目が倒れれば2枚目も、3枚目も倒れる…といった具合であるが、「k枚目が倒れれば(k+1)枚目が倒れる」という点で数学的帰納法に近いイメージを抱くことが出来るからである。

証明方法[編集]

「P(n)が成り立つ」という命題を証明したい。このとき、

  • n=1のときP(n)が成り立つ
  • n=kの時P(n)が成り立つとすると、n=k+1のときもP(n)が成り立つ。

これらの2点を示すことが出来れば上記の命題が成り立つことを証明できる。

練習問題 :
任意の正の整数 n に対して、 となることを証明せよ。
解答と解説は右をクリックして表示!

(1) n = 1 のとき題意が成り立つことを示す。

  • (左辺) = 1
  • (右辺) = 1(1+1) / 2 = 1

よって n = 1 のときは成り立つ。

(2) n = k で題意が成り立つならば、 n = k + 1 のときも題意が成り立つことを示す。

が成り立つと仮定する。

これを用いて n = k + 1 のとき式を変形すると、

よって n = k + 1 のときも成り立つ。

(1), (2) より、全ての正の整数 n に対して題意は成り立つ。
練習問題 :
任意の正の整数 n に対して、 は9の倍数であることを証明せよ。
解答と解説は右をクリックして表示!

(1) n = 1 のとき題意が成り立つことを示す。

10 - 1 = 9 は9の倍数である。

(2) n = k で題意が成り立つならば、 n = k + 1 のときも題意が成り立つことを示す。

が9の倍数だと仮定すると、

n = k + 1 のとき、

ここで、 は9の倍数なので、 も9の倍数である。

(1), (2) より、全ての正の整数 n に対して は9の倍数である。

名称について[編集]

帰納」とは、一般に、個々のケース(事例)から全体に適応可能な法則やルールを見つけ出していくことである。また、これに対して普遍的な法則やルールから個別具体的な状況に説明を与える方法を「演繹」という。数学的帰納法は、それこそ前述のドミノ倒しの例えのように、徐々に結論に近づいていく様子が帰納的に見えることから名付けられた。しかし、実際には演繹的な証明方法である。すなわち、「P(k)に対してP(k+1)が成り立つ」という普遍的な法則があらゆる自然数の場合を貫いているからである[1]

また、「P(n)とP(n+1)が成り立っていればP(n+2)が成り立つ」というものを用いた数学的帰納法は、とくに一昨日帰納法と呼ばれる。これは「帰納」と「昨日」をかけた洒落である。一昨日帰納法を用いる場合、最初に倒すドミノが2つ必要な点に注意。詳しくは別途リンク先の記事をご覧いただきたい。

派生形式[編集]

自然数・正の整数に限らず、「すべての整数」について成り立つことを数学的帰納法で証明したい場合は、以下の手順となる。ただし、この手の問題はなかなか出ない。

  • n=1のときP(n)が成り立つ(n=0でも良い)
  • n=kの時P(n)が成り立つとすると、n=k+1のときおよびn=k-1のときもP(n)が成り立つ。

また、全ての実数について成り立つことを証明するのには適用できない。

脚注[編集]

  1. もし仮に数学的帰納法のような帰納法を用いるとするとすれば、たとえば任意の自然数nについてP(n)が成り立つことを示すべき場面でP(1)、P(2)、P(3)、……P(10)の10のパターンを計算してすべて成り立つことを示し、「n=1~10のいずれでも成り立ったから、あらゆる自然数nについて成り立つ」といったふうになる。しかし、この結論はあくまでも「はずだ」といった推測の範疇であり、十分な一般性を伴えてはいないとわかるだろう。