|
数学的帰納法（すうがくてききのうほう、）は自然数に関する命題''P''(''n'') が全ての''n'' に対して成り立っている事を証明するための、次のような証明手法である〔自然数の定義は0を含む流儀とそうでない流儀があるが、ここでは0を含まない方の流儀を採用した。〕。 # ''P''(1) が成り立つ事を示す。 # 任意の自然数 ''k'' に対して、''P''(''k'') ⇒ ''P''(''k'' + 1) が成り立つ事を示す。 # 以上の議論から任意の自然数 ''n'' について ''P''(''n'') が成り立つ事を結論づける。 上で1.と2.から3.を結論づける所が数学的帰納法に当たる。自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。 なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2. により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられたにすぎない。 == 直観的説明 == 高校の教科書等の初等的な解説書ではドミノ倒しに例えて数学的帰納法を説明しているものも多い。 ''P''(''n'')を「''n''枚目のドミノが倒れる」の意味だとすれば、上の論法は以下のようになる： # 1枚目のドミノが倒れる事を示す。 # 任意の自然数 ''k'' に対して、「''k'' 枚目のドミノが倒れる ⇒ ''k''+1 枚目のドミノが倒れる」を示す。 # 以上の議論から全てのドミノが倒れる事が結論づけられる。 数学的帰納法が成り立つ直観的理由は以下の通りである。まず1.より : (a) ''P''(1) が正しい事が分かる。次に ''k'' = 1, 2, ...に対して2. を適用する事で、 : (b) ''P''(1) ⇒ ''P''(2), : (c) ''P''(2) ⇒ ''P''(3), : … が分かる。(a), (b)より、''P''(2) が成り立ち、この事実と(c)を組み合わせる事により''P''(3)が従う。以下同様に ''P''(5), ''P''(6), …も従い、結局3.の : 全ての自然数''n'' に対し''P''(''n'')'' が成り立つ が結論づけられる。 ただし、以上の議論はあくまで数学的帰納法が成り立つ理由の直観的説明であって、1., 2. と 3. の間にはギャップがある。詳しくは後述の「数学的帰納法の形式的な取り扱い」の項目を参照されたい。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「数学的帰納法」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Mathematical induction 」があります。 スポンサード リンク
|