数学的帰納法(読み)すうがくてききのうほう(英語表記)mathematical induction

日本大百科全書(ニッポニカ)「数学的帰納法」の解説

数学的帰納法
すうがくてききのうほう
mathematical induction

自然数上の変数を含む命題に対し、自然数のある性質に着目して、その命題を証明、あるいは定義するための手法をいう。p(x)を自然数xについての述語とするとき、自然数の性質として、「p(1)が成り立ち、かつ、任意の自然数kについてp(k)ならばp(k+1)である、が成立すれば、すべての自然数nについてp(n)である」が成り立つことが知られている。このことを用いた証明あるいは定義が、数学帰納法による証明であり、数学的帰納法による定義(帰納的定義)である。

 たとえば、

が成立することの証明には、「n=1のときには、左辺、右辺とも1となって成立する」。さらに、「nkのとき成立すると仮定すると、

となって、nk+1の場合も成立する」ことで十分である。

 に、ある数列{an}を数学的帰納法によって定義してみよう。n=1のとき、anを1、すなわち、a1=1と定義し、nkのときakが定義されていると仮定して、nk+1のとき、ak+1ak・(k+1)と定義する。このような帰納法による定義は、

と書くのが普通である。この定義による数列は、
  a1=1, a2=1・2=2, a3=2・3=6,
  a4=6・4=24, a5=24・5=120, ……,
  an=1・2・3・4・……・(n-1)・n(=n!),……
となる。この方法によって数列{an}が定義されていることは、「数列の第nanが定義される」という命題p(n)を考えてみればよい。

 数学的帰納法には、「任意の自然数kについて、mkなるすべての自然数mに対しp(m)ならばp(k+1)である、が成立すれば、すべての自然数nについてp(n)が成立する」など、いろいろな形式のものがある。なお、数学的帰納法は、その形式が「帰納」にきわめて似通っていることからきた称で、内容は、対象のすべてを調べるのであるから、「演繹(えんえき)」の一種である。このため、完全帰納法ともよばれる。

[廣瀬 健]

出典 小学館 日本大百科全書(ニッポニカ)日本大百科全書(ニッポニカ)について 情報 | 凡例

ブリタニカ国際大百科事典 小項目事典「数学的帰納法」の解説

数学的帰納法
すうがくてききのうほう
mathematical induction

自然数 n についてのある命題 A(n) において,A(1) は真である,ある任意の自然数 s について A(s) が真であると仮定すれば A(s+1) もまた真である,という2つのことが証明されれば,A(n) はすべての自然数 n について真であるという推論が成り立つ。この推論を数学的帰納法あるいは完全帰納法といい,自然数全体の集合を定義したペアノの公理系の第5公理を基礎に導かれる論法である。そこでペアノの第5公理を数学的帰納法の公理と呼ぶ。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

百科事典マイペディア「数学的帰納法」の解説

数学的帰納法【すうがくてききのうほう】

完全帰納法とも。自然数nを含む命題P(n)について,1.P(1)は真である,2.P(k)が真であると仮定すればP(k+1)も真である,の二つが証明されれば,P(1),P(2),P(3),…が真であることを順に証明でき,したがってP(n)がすべての自然数nについて真であることが証明される。このように1.と2.を証明することにより全自然数に対する一般的証明を得る方法を数学的帰納法という。→帰納演繹

出典 株式会社平凡社百科事典マイペディアについて 情報

精選版 日本国語大辞典「数学的帰納法」の解説

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

〘名〙 数学における証明法の一つ。自然数に関するある条件について、自然数1がその条件を満たす、自然数nがその条件を満たせば n+1 もその条件を満たす、という二つのことが成立するならば、いかなる自然数もその条件を満たすという原理に基づくもの。完全帰納法。

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報

デジタル大辞泉「数学的帰納法」の解説

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

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

出典 小学館デジタル大辞泉について 情報 | 凡例

世界大百科事典 第2版「数学的帰納法」の解説

すうがくてききのうほう【数学的帰納法 mathematical induction】

個々の具体的事実から一般法則を導くことを論理学では帰納というが,数学的帰納法というのはそれとは多少異なり,次に示すような数学の証明法を意味する。 例えば,1からnまでのn個の自然数の和Snn(n+1)/2であるが,これを証明するのに次のようにしてもよい。(1)n=1のときは,S1=1,1×(1+1)/2=1ゆえ,S1については正しい。(2)nkのとき正しいとすると,Sk+1Sk+(k+1)=k(k+1)/2+(k+1)=(k+1)(k/2+1)=(k+1)(k+2)/2ゆえ,k+1のときも正しい。

出典 株式会社平凡社世界大百科事典 第2版について 情報

今日のキーワード

幸福追求権

日本国憲法 13条に保障する「生命,自由及び幸福追求に対する国民の権利」を一体的にとらえて観念された場合の権利。アメリカの独立宣言中の,「〈天賦不可侵の権利〉のなかに生命,自由および幸福の追求が含まれ...

続きを読む

コトバンク for iPhone

コトバンク for Android