数学的帰納法の全パターン
数学的帰納法の定義
自然数 \(n\)に関する命題 \(P\) が, [1] \(n=1\) のとき \(P\) が成り立つ。 [2] \(n=k\) のとき \(P\) が成り立つと仮定すると, \(n=k+1\) のときにも \(P\) が成り立つ。 [1]と[2]の両方を満たすとき, すべての自然数 \(n\) について命題 \(P\) が成り立つことを示すことができる証明方法を数学的帰納法といいます。 |
自然数 \(n\)に関する命題 \(P\) が, [1] \(n=1\) のとき \(P\) が成り立つ。 [2] \(n=k\) のとき \(P\) が成り立つと仮定すると, \(n=k+1\) のときにも \(P\) が成り立つ。 [1]と[2]の両方を満たすとき, すべての自然数 \(n\) について命題 \(P\) が成り立つことを示すことができる証明方法を数学的帰納法といいます。 |