2

誤った数学的帰納法で誤った命題を証明する

399
0

誤った数学的帰納法

誤った数学的帰納法を使うと…3!=3 に続いて、数学的帰納法の原理の命題を誤解して使用すると誤った命題も証明できてしまうという別の例を思いついた。

数学的帰納法

(P(1)kN;(P(k)P(k+1)))
nN;P(n)

数学的帰納法
  1. P(1)
  2. どんな自然数kに対してもP(k)P(k+1)

が成立するならば、
任意の自然数nに対してP(n)

を誤解していると思われる

誤った数学的帰納法

(P(1)kN;(P(k)P(k+1)))
nN;P(n)

誤った数学的帰納法
  1. P(1)
  2. ある自然数kに対してP(k)P(k+1)

が成立するならば、
任意の自然数nに対してP(n)

平面を直線で分割する

平面に直線を描くと、平面を2個の領域に分割できる。
直線による平面の分割 直線による平面の分割
そこに最初の直線とは平行にならない2つ目の直線を描くと、平面は領域4個に分割される。
2本の直線による平面の分割 2本の直線による平面の分割

直線による分割した後の領域の数を考える

直線0本で1個の領域
直線1本で2個の領域
直線2本で4個の領域
なので、領域の数は線の数が増えるごとに2倍になっているように見える。

実は誤った命題P(n)

n本の直線で平面は最大2n個の領域に分割できる

(実は誤り)数学的帰納法?を用いる
  1. 1本の直線で平面は2個の領域に分割できる。つまりP(1)が成立。
  2. 冒頭に書いた通り、さらにもう1本の直線を適切に描くと、もう一つの直線がP(1)による2つの領域を、それぞれ2分割するので、22=4個の領域に分割できる。P(2)が成立。つまり、P(1)P(2)が成立

ここで、誤った数学的帰納法を使用する。
k=1とするとP(1)P(1)P(2)が成り立つので、任意の自然数nに対してP(n)が成立。つまり「n本の直線で平面は最大2n個の領域に分割できる。」∎

しかし実際に平面に直線を描くと…

実際に2本の直線で4つの領域に分割されているところに、3本目の直線を描くと...
どうやっても、最大で7個の領域にしか分割できないことがわかる。すでにある交点を通るようにしたり、すでにある直線に平行に引いたりすると6個の領域に分割できるが、8個の領域になるようには分割できない。
P(3)3本の直線で平面は最大23(=8)個の領域に分割できる。」は偽である。
このように誤った数学的帰納法を使用すると誤りである命題も証明できてしまう。
3本の直線による平面の分割 3本の直線による平面の分割

平面を直線で分割した時の領域の最大個数はいくつか?

数学的帰納法を正しく使う

命題Q(n)

n本の直線で平面は最大12(n2+n+2)個の領域に分割できる

数学的帰納法を用いる

n=1の時、12(n2+n+2)=12(12+1+2)=2なので
Q(1)が成立。
kN;Q(k)が成立と仮定する。k本の直線で平面が12(k2+k+2)個の分割されているとする。
そこに、もう1本の他のどの直線とは平行にならずに既存の交点を通らない直線を描く。(できる領域の個数が最大になるようにしている)
そうすると、この直線はすでにあるk本の直線と交わる。この直線上に交点はk個ある。直線がこれらの交点によってk+1個の区間に分割される。直線が通る各領域(直線k本で分割された各領域)はこれらのそれぞれの区間(直線との共通部分)によって2分割されるので、新たにk+1の領域が増える。
新たな直線による分割 新たな直線による分割
領域の数は
12(k2+k+2)+(k+1)
=12(k2+k+2+2k+2)
=12((k+1)21+k+2+2)
=12((k+1)2+k+1+2)
=12((k+1)2+(k+1)+2)
となり、新たに引いた直線はそれと平行でない他のk本の直線とはk回交わるだけなので、これより多い個数の領域には分割できない。Q(k+1)が成り立つ。
任意のkN;n=kのときのQ(k)Q(k+1)が示せた。Q(1)と合わせて、数学的帰納法を適用すると、任意の自然数nに対してQ(n)が成立する。
よって、n本の直線で平面は最大12(n2+n+2)個の領域に分割できる

おわりに

数学的帰納法の確かめるべき条件を誤解すると、誤った命題を証明できてしまうという簡単な例を紹介した。
数列の一般項のような簡単な事にもある一つの一般化の推測が正しいとは限らない例にもなっている。
n=0,1,23以上が大きく異なる現象の一例にもなっている。先日Xで、そういう現象に関する 投稿 を見かけたので、自分も いくつかの例 を挙げてみた。その一つの例で、誤った数学的帰納法で誤った命題を証明する例にもなると思いこの記事を書いた。
これもまた、難しい本を読まなくても難しい問題を解かなくてもできる数学の楽しみ方の一つと言える。

投稿日:20日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

IIJIMAS
19
3731

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 誤った数学的帰納法
  2. 直線による分割した後の領域の数を考える
  3. 平面を直線で分割した時の領域の最大個数はいくつか?
  4. おわりに