【高校数学B】1-3-2 数学的帰納法|要点まとめ
このページでは、高校数学Bの数学的帰納法について整理しています。基本的な証明手順を丁寧に解説し、等式・不等式・整数の性質・漸化式を使った証明方法を効率的に確認できます。定期テストや入試対策に最適です。
等式を証明する数学的帰納法
【数学的帰納法】
自然数\(n\)を含んだ命題\(P(n)\)が全ての自然数\(n\)について成り立つことを証明するには、次の2つのことを証明すればよい。
(1)\(P(1)\)が成り立つ。
(2)\(P(k)\)が成り立つと仮定すると、\(P(k+1)\)も成り立つ。
このような証明を数学的帰納法という。
【例題】\(n\)を自然数とするとき、次の等式を数学的帰納法で証明しなさい。
\(\displaystyle 1+2+2^2+2^3+・・・+2^{n-1}=2^n-1\)
(1)\(n=1\)のとき、
(左辺)\(=1\)
(右辺)\(=2^1-1=1\)
よって、等式は成り立つ。
(2)\(n=k\)のとき、
\(\displaystyle 1+2+2^2+2^3+・・・+2^{k-1}=2^k-1\)
が成り立つとする。
\(n=k+1\)のとき、
(左辺)\(\displaystyle =1+2+2^2+2^3+・・・+2^{k-1}+2^k\)
\(\displaystyle \ \ \ \ \ \ \ \ =2^k-1+2^k\)
\(\displaystyle \ \ \ \ \ \ \ \ =2^{k+1}-1\)
\(\displaystyle \ \ \ \ \ \ \ \ =\)(右辺)
よって、\(n=k+1\)のとき、等式は成り立つ。
(1)、(2)より、等式は全ての自然数\(n\)について成り立つ。
(左辺)\(=1\)
(右辺)\(=2^1-1=1\)
よって、等式は成り立つ。
(2)\(n=k\)のとき、
\(\displaystyle 1+2+2^2+2^3+・・・+2^{k-1}=2^k-1\)
が成り立つとする。
\(n=k+1\)のとき、
(左辺)\(\displaystyle =1+2+2^2+2^3+・・・+2^{k-1}+2^k\)
\(\displaystyle \ \ \ \ \ \ \ \ =2^k-1+2^k\)
\(\displaystyle \ \ \ \ \ \ \ \ =2^{k+1}-1\)
\(\displaystyle \ \ \ \ \ \ \ \ =\)(右辺)
よって、\(n=k+1\)のとき、等式は成り立つ。
(1)、(2)より、等式は全ての自然数\(n\)について成り立つ。
不等式を証明する数学的帰納法
【例題】\(n\)が\(2\)以上の自然数のとき、次の不等式を数学的帰納法で証明しなさい。
\(\displaystyle 2^n>n+1\)
(1)\(n=2\)のとき、
(左辺)\(=2^2=4\)
(右辺)\(=2+1=3\)
よって、不等式は成り立つ。
(2)\(n=k\)のとき、
\(\displaystyle 2^k>k+1\)
が成り立つとする。
\(n=k+1\)のとき、
(左辺\(-\)右辺)\(\displaystyle =2^{k+1}-(k+1+1)\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =2・2^k-(k+2)\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ >2(k+1)-(k+2)\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =2k+2-k-2\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =k\)
\(k\geqq 2\)より、
\(\displaystyle 2^{k+1}>(k+1)+1\)
よって、\(n=k+1\)のとき、不等式は成り立つ。
(1)、(2)より、不等式は\(2\)以上の自然数について成り立つ。
(左辺)\(=2^2=4\)
(右辺)\(=2+1=3\)
よって、不等式は成り立つ。
(2)\(n=k\)のとき、
\(\displaystyle 2^k>k+1\)
が成り立つとする。
\(n=k+1\)のとき、
(左辺\(-\)右辺)\(\displaystyle =2^{k+1}-(k+1+1)\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =2・2^k-(k+2)\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ >2(k+1)-(k+2)\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =2k+2-k-2\)
\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =k\)
\(k\geqq 2\)より、
\(\displaystyle 2^{k+1}>(k+1)+1\)
よって、\(n=k+1\)のとき、不等式は成り立つ。
(1)、(2)より、不等式は\(2\)以上の自然数について成り立つ。
整数の性質を証明する数学的帰納法
【例題】\(n\)が自然数のとき、\(n^3+2n\)が\(3\)の倍数であることを数学的帰納法で証明しなさい。
(1)\(n=1\)のとき、
\(=1^3+2・1=3\)
よって、\(3\)の倍数となる。
(2)\(n=k\)のとき、\(m\)を整数とすると、
\(\displaystyle k^3+2k=3m\)
\(n=k+1\)のとき、
\(\displaystyle (k+1)^3+2(k+1)\)
\(\displaystyle =k^3+3k^2+3k+1+2k+2\)
\(\displaystyle =k^3+2k+3k^2+3k+3\)
\(\displaystyle =3m+3(k^2+k+1)\)
\(\displaystyle =3(m+k^2+k+1)\)
よって、\(n=k+1\)のとき、\(3\)の倍数となる。
(1)、(2)より、全ての自然数\(n\)について、\(3\)の倍数となる。
\(=1^3+2・1=3\)
よって、\(3\)の倍数となる。
(2)\(n=k\)のとき、\(m\)を整数とすると、
\(\displaystyle k^3+2k=3m\)
\(n=k+1\)のとき、
\(\displaystyle (k+1)^3+2(k+1)\)
\(\displaystyle =k^3+3k^2+3k+1+2k+2\)
\(\displaystyle =k^3+2k+3k^2+3k+3\)
\(\displaystyle =3m+3(k^2+k+1)\)
\(\displaystyle =3(m+k^2+k+1)\)
よって、\(n=k+1\)のとき、\(3\)の倍数となる。
(1)、(2)より、全ての自然数\(n\)について、\(3\)の倍数となる。
漸化式を証明する数学的帰納法
【例題】次の数列の一般項を推定して、数学的帰納法によって証明しなさい。
\(\displaystyle a_1=1,a_n+a_{n+1}=4n\)
条件より、
\(a_1=1\)
\(a_2=4・1-1=3\)
\(a_3=4・2-3=5\)
\(a_4=4・3-5=7\)
一般項は
\(a_n=2n-1\)
(1)\(n=1\)のとき、
\(a_1=2・1-1=1\)
よって、成り立つ。
(2)\(n=k\)のとき、
\(\displaystyle a_k=2k-1\)
が成り立つとする。
\(n=k+1\)のとき、
\(\displaystyle a_{k+1}=4k-(2k-1)\)
\(\displaystyle \ \ \ \ \ \ \ =2k+1\)
\(\displaystyle \ \ \ \ \ \ \ =2(k+1)-1\)
よって、\(n=k+1\)のとき、成り立つ。
(1)、(2)より、全ての自然数\(n\)について成り立つ。
\(a_1=1\)
\(a_2=4・1-1=3\)
\(a_3=4・2-3=5\)
\(a_4=4・3-5=7\)
一般項は
\(a_n=2n-1\)
(1)\(n=1\)のとき、
\(a_1=2・1-1=1\)
よって、成り立つ。
(2)\(n=k\)のとき、
\(\displaystyle a_k=2k-1\)
が成り立つとする。
\(n=k+1\)のとき、
\(\displaystyle a_{k+1}=4k-(2k-1)\)
\(\displaystyle \ \ \ \ \ \ \ =2k+1\)
\(\displaystyle \ \ \ \ \ \ \ =2(k+1)-1\)
よって、\(n=k+1\)のとき、成り立つ。
(1)、(2)より、全ての自然数\(n\)について成り立つ。
次の学習に進もう!