数学的帰納法とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 社会 > 社会一般 > > 数学的帰納法の意味・解説 

すうがくてき‐きのうほう〔‐キナフハフ〕【数学的帰納法】

読み方:すうがくてききのうほう

数学で、自然数n命題が、n=1のときに成り立ち次にnkのときに成り立つと仮定してnk+1のときにも成り立つことを証明すれば、この命題任意の自然数nについて成り立つという証明法。完全帰納法


数学的帰納法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/12/23 19:35 UTC 版)

数学的帰納法(すうがくてききのうほう、: mathematical induction)は、数学における証明の手法の一つである。

例えば自然数に関する命題 P(n) が全ての自然数 n に対して成り立つことを証明するために、次のような手続きを行う[注 1]

  1. P(1) が成り立つことを示す。
  2. 任意の自然数 k に対して、「P(k) ⇒ P(k + 1)」が成り立つことを示す。
  3. 1と2の議論から任意の自然数 n について P(n) が成り立つことを結論づける。

概要

自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。

なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられた[1]ジョン・ウォリスによって、彼の著作Arithmetica Infinitorumの中で、この方法にinductionという名前が与えられたとされる[2][3]

直観的説明

高校の教科書等の初等的な解説書ではドミノ倒しに例えて数学的帰納法を説明しているものも多い。P(n) を「n 枚目のドミノが倒れる」の意味だとすれば、上の論法は以下のようになる:

  1. 1枚目のドミノが倒れることを示す。
  2. 任意の自然数 k に対して、「k 枚目のドミノが倒れるならば k + 1 枚目のドミノが倒れる」ことを示す。
  3. 以上の議論から全てのドミノが倒れることが結論づけられる。

数学的帰納法が成り立つ直観的理由は以下の通りである。まず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(4), P(5), … も従い、結局3の

全ての自然数 n に対し P(n) が成り立つ

が結論づけられる。

ただし、以上の議論はあくまで数学的帰納法が成り立つ理由の直観的説明であって、1, 2 と 3 の間にはギャップがある。詳しくは後述の「数学的帰納法の形式的な取り扱い」の項目を参照されたい。

証明

数学的帰納法が成り立つことを数学的帰納法の原理といい、ペアノの公理Ⅴ[注 2]が数学的帰納法の原理そのものを表している。もし、公理Vを用いて、数学的帰納法をあえて証明するならば、以下のように示すことができる。

 自然数の集合を

国立図書館その他

数学的帰納法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/10 03:00 UTC 版)

概念記法」の記事における「数学的帰納法」の解説

数学的帰納法の証明最初論理的分析第3章§23- 系列の一般理論)。後述祖先関係」の「数学的帰納法」。 である。また,第二階の量化考え見られる

※この「数学的帰納法」の解説は、「概念記法」の解説の一部です。
「数学的帰納法」を含む「概念記法」の記事については、「概念記法」の概要を参照ください。

ウィキペディア小見出し辞書の「数学的帰納法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ

数学的帰納法

出典:『Wiktionary』 (2021/09/05 13:49 UTC 版)

名詞

数学帰納法 (すうがくてききのうほう)

  1. (数学) 自然数 n変数として含む命題に対してn = 1 に対応する命題であることを証明し、さらに、任意n = k対応する命題が真であることを仮定した上で n = k + 1対応する命題が真であることを証明することにより、元の命題証明する手法

翻訳




数学的帰納法と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

「数学的帰納法」の関連用語





5
ペアノの公理 デジタル大辞泉
100% |||||






数学的帰納法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



数学的帰納法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの数学的帰納法 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの概念記法 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの数学的帰納法 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS