【基礎知識】乃木坂46の「いつかできるから今日できる」を数学的命題として解釈する
- 命題
基礎知識
基礎知識
ここでは、数学的帰納法について例題を交えて説明していきます。
数学的帰納法は、「すべての自然数に対して成立する式を証明する」ような場合にとても有用な証明手法になります。
また、漸化式から数列の一般項を予想して、それを数学的帰納法を用いて証明することによって数列の一般項を決定するという方法も有名です。
数学的帰納法を用いて証明が行えそうな問題の場合は、多くの場合、数学的帰納法を用いる方法が最も簡単な証明方法になりますので積極的に使っていきましょう。
数学的帰納法とは、下のような手順による証明方法のことをいいます。
自然数に関する命題について
1〜3より、全ての自然数について命題は真であると結論づける。
数学的帰納法について、言葉だけの説明ではイメージがわきませんよね?
少し、具体的に考えてみましょう。
命題について、
のとき、P(1)の真偽を判定し、その結果は真であった。
のとき、P(2)の真偽を判定し、その結果は真であった。
のとき、P(3)の真偽を判定し、その結果は真であった。
このとき、が全ての自然数について成り立つような気がしますよね?
しかし当然ですが、この時点ではのときの命題の真偽を実際に確認にしたわけではありませんので、命題の真偽はわかりません。
では、引き続きを調べてみましょう。
のとき、P(4)の真偽を判定し、その結果は真であった。
ますます、が全ての自然数について成り立つような気がしますよね?
では、は真でしょうか?
それは確認していないのでわかりません。
つまり、の値を1つずつ変えて確認していったところで、自然数は無限に存在しますから、全ての自然数についての真偽を確認することは事実上できないわけです。
そこで、
のときの命題が真であることを仮定します。
というのは、の値を適当なという一定の値に固定している状況になります。
これまで、の場合は真であることを確認してきましたが、の値はのいずれかである保証がありません。
よって、命題の真偽は不明ですが、真であるものと仮定してしまいます。
マスマスターの思考回路
のときの命題が真であることを仮定したことによって、それは矛盾が発生するまでは事実になります。
この事実を用いて、のときの命題の真偽を判定することができるようになります。
マスマスターの思考回路
今は数学的帰納法の概要の解説ですので、「のときの命題が真であることを仮定することによって、のときの命題の真偽を判定することができるようになる」ことについては理解するのが難しいかと思います。
後の具体例でこのことは理解できるようになりますので、このまま読み進めてください。
のときの命題が真であることを仮定した状況で、の場合を考えます。
のとき、の真偽を判定し、その結果は真であった。
このとき、とが真であることになり、このことは非常に重要な意味を持ちます。
ここまでで、が真であることは確認済みで、の真偽は不明という状況になっていますが、とが真であることを用いると、が真であることがわかります。
つまり、次に調べるべき命題(の値を1足した命題)は真であるということがわかる状況になっているのです。
が真であることはが真であることを元に得られていますので、が真であることは事前に確認済みでなければならないことになりまが、実際にはが真であることだけ確認していればが真であることを言うには十分です。
つまり、
が真であれば、も真
が真であるから、も真
が真であるから、も真
が真であるから、も真
というように、連鎖的に命題が真であることがわかるからです。
このような連鎖は無限に続きますので、全ての自然数を代入して真偽を確認しなくても、全ての自然数について命題が真であると結論づけることができるということになります。
数学的帰納法について理解できましたか?
この時点で十分に理解できていなくても問題ありません。
具体例を通して理解を深めていきましょう。
例題 : すべての事前数について、はの倍数であることを証明せよ。
マスマスターの思考回路
まず、のときの確認を行います。
のとき、
より、はの倍数になります。
マスマスターの思考回路
次にのとき、命題が成立することを仮定しましょう。
のとき、はの倍数であることを仮定すると、整数を用いて、
(1)
と表すことができます。
マスマスターの思考回路
次にのとき、命題が成立することを確認しましょう。
のとき、は、
ここで、(1)式より、
であるから、指数法則を用いて計算を行うと、
は整数であるから、もの倍数となります。
つまり、のときもはの倍数になります。
以上により、すべての自然数について、はの倍数であることが証明されました。
いかがでしたか?
数学的帰納法はその根本的な考え方は理解しにくく、とっつきにくいものではあります。
しかし、実際の証明の流れについては、慣れてしまえばそれほど難しいものではありません。
数学的帰納法は証明を機械的に進めることができるという点で、とても使い勝手がよく重宝します。
すべての自然数についての証明を行う場合には、数学的帰納法を使うことを真っ先に考えると良いと思います。
【数列】数列のまとめ
-このサイトの記事を書いている人-
某国立大工学部卒のwebエンジニアです。
学生時代に塾講師として勤務していた際、生徒さんから「解説を聞けば理解できるけど、なぜその解き方を思いつくのかがわからない」という声を多くいただきました。
授業という限られた時間の中ではこの声に応えることは難しく、ある程度の理解度までに留めつつ、繰り返しの復習で覚えてもらうという方法を採らざるを得ないこともありました。
本ブログでは「数学の問題を解くための思考回路」に重点を置いています。
それらを通じて自らの力で問題を解決する力が身につくお手伝いができれば幸いです。
>> お問い合わせ
>> プライバシーポリシー
命題の真偽を真であると仮定すること自体には問題ありません。
命題が真であると仮定することによって矛盾が発生しなければその仮定は事実になるからです。
仮定を行ったことによって矛盾が発生すれば、背理法により命題が全ての自然数については成り立たないと結論づければよいでしょう。