誤った数学的帰納法
誤った数学的帰納法を使うと…3!=3
に続いて、数学的帰納法の原理の命題を誤解して使用すると誤った命題も証明できてしまうという別の例を思いついた。
数学的帰納法
- どんな自然数に対しても
が成立するならば、
任意の自然数に対して
を誤解していると思われる
誤った数学的帰納法
- ある自然数に対して
が成立するならば、
任意の自然数に対して
平面を直線で分割する
平面に直線を描くと、平面を2個の領域に分割できる。
直線による平面の分割
そこに最初の直線とは平行にならない2つ目の直線を描くと、平面は領域4個に分割される。
2本の直線による平面の分割
直線による分割した後の領域の数を考える
直線本で個の領域
直線本で個の領域
直線本で個の領域
なので、領域の数は線の数が増えるごとに倍になっているように見える。
(実は誤り)数学的帰納法?を用いる
- 本の直線で平面は個の領域に分割できる。つまりが成立。
- 冒頭に書いた通り、さらにもう本の直線を適切に描くと、もう一つの直線がによるつの領域を、それぞれ分割するので、個の領域に分割できる。が成立。つまり、が成立
ここで、誤った数学的帰納法を使用する。
とするととが成り立つので、任意の自然数に対してが成立。つまり「本の直線で平面は最大個の領域に分割できる。」∎
しかし実際に平面に直線を描くと…
実際に本の直線でつの領域に分割されているところに、本目の直線を描くと...
どうやっても、最大で個の領域にしか分割できないことがわかる。すでにある交点を通るようにしたり、すでにある直線に平行に引いたりすると個の領域に分割できるが、個の領域になるようには分割できない。
「本の直線で平面は最大個の領域に分割できる。」は偽である。
このように誤った数学的帰納法を使用すると誤りである命題も証明できてしまう。
3本の直線による平面の分割
平面を直線で分割した時の領域の最大個数はいくつか?
数学的帰納法を正しく使う
数学的帰納法を用いる
の時、なので
が成立。
が成立と仮定する。本の直線で平面が個の分割されているとする。
そこに、もう本の他のどの直線とは平行にならずに既存の交点を通らない直線を描く。(できる領域の個数が最大になるようにしている)
そうすると、この直線はすでにある本の直線と交わる。この直線上に交点は個ある。直線がこれらの交点によって個の区間に分割される。直線が通る各領域(直線本で分割された各領域)はこれらのそれぞれの区間(直線との共通部分)によって分割されるので、新たにの領域が増える。
新たな直線による分割
領域の数は
となり、新たに引いた直線はそれと平行でない他の本の直線とは回交わるだけなので、これより多い個数の領域には分割できない。が成り立つ。
任意ののときのが示せた。と合わせて、数学的帰納法を適用すると、任意の自然数に対してが成立する。
よって、本の直線で平面は最大個の領域に分割できる∎
おわりに
数学的帰納法の確かめるべき条件を誤解すると、誤った命題を証明できてしまうという簡単な例を紹介した。
数列の一般項のような簡単な事にもある一つの一般化の推測が正しいとは限らない例にもなっている。
と以上が大きく異なる現象の一例にもなっている。先日で、そういう現象に関する
投稿
を見かけたので、自分も
いくつかの例
を挙げてみた。その一つの例で、誤った数学的帰納法で誤った命題を証明する例にもなると思いこの記事を書いた。
これもまた、難しい本を読まなくても難しい問題を解かなくてもできる数学の楽しみ方の一つと言える。