数学的帰納法。それは強力で美しくさえある証明法でしょう。ある数学者は、数学という宝冠を飾る宝石の一つ、と評しています。しかし、如何に強力でも、自ずと適不適があると思います。問題によっては、向いていない場合もあるでしょう。では、帰納法の取り扱い方とは?
具体的に例え話をしたほうが分かりやすいと思いますので、次に数学のこぼれ話的に一例を紹介したいと思います。なお、長くなりますので、退屈しないよう脚色しております。ご了承ください。
ある街に、GさんとBaさんという二人の数学好きがおりました。ある日、Baさんが洗濯をしようとしているところに、Gさんが息せき切ってやってきました。
「どうしたんだい、Gさん」驚いたBaさんが尋ねますと、「数学の難問の証明に成功したんだよ」
とGさん。
「へえ、そうかい」これまで何度もこんなGさんの”驚き話”に付き合わされてきたBaさんです。
「のほほんとしている場合じゃないよ。なんせ、四色問題だぜ」
(四色問題は御存知の方も多いと思いますが、簡単に説明すると、平面上にある地図で、境界線を接して隣り合う国同士が異なる色になるように塗り分けるには四色あれば必要にして十分という予想です)
「なんだ、四色問題ならとっくに解決済みじゃないか」
「それは、コンピュータを使って虱潰しに調べた実証だろ。俺は論理的に証明したんだ。論証だよ!誰も何十年も成功しなかった、さ」
「それで?」
「証明には数学的帰納法を使うんだ。まず、10とか20ぐらいの比較的少数の国で四色でできることを示す。コンピュータを使えば可能な配置の仕方全てについて秒殺だろ」
「ふんふん、それで」
「そんで、国の数n=kのとき成り立つと仮定して、n=k+1のときにも成り立つと示せればいいんだ」
「そんなにうまくいくのかい?」
「ああ!そもそも四色で足りるってことは、四色が必要な配置になった時、四色のうちの一色が、五色目が必要になるような国の接触から遮断されるように、他の三色の国で囲まれてるってことさ。あるいは、三色で間に合う配置の部分があっても、四色目が必要なように国同士の配置を変えたとき、やはり、囲まれるようになっちまうってことだよ。そうだろ?」
「あ、ああ、まあそうなんだろうな」
「そうなんだよ!それで、まずは少数の場合について、これを実地に確認する。これは、まあ、実証ということになるが」いったん、休んで、また話を続けるGさん。
「次に、n=kのとき成り立つと仮定して、n=k+1のとき、つまり新たに一国を追加した時どうなるか」
「どうなるんだい?」
「今、説明した状況のところに追加することになると、どんな追加、配置の仕方をしても、その一国が置かれる状況は非常に限られたパターンの配置になる。そのため、結局、四色の内の一つは、五色目が要らないよう、遮断された、または、遮断さるようになる状態に置かれるって寸法さ」
満足げに話し終えたGさんでした。が、
「ほんで、その”非常に限られたパターン”てのは、具体的にどんなん?」とBaさんが質問しますと、
「ええっと、それは…」と急に、シドロモドロになって汗を滲ませ始めたGさんは、「あっそうだ!隣の庭の芝刈りをする約束だった。行かなきゃ!」と言ってソソクサと芝刈りに行ってしまいました。
呆気にとられたBaさんは、肩をすくめてやりかけの洗濯に取り掛かりましたとさ。めでたしめでたし。
以上です。ここで語られる”非常に限られたパターン”なるものがいかなるものか、非常に気になるところですが、要点は最初に述べたとおり、数学的帰納法の使い方なのです。このようなグラフ理論(と思いますが)の問題に帰納法をこのように使うのは、いささか乱用というものでしょう。では、グラフ理論に限らず、数学的帰納法を使用するに相応しい問題とは?
熟考を重ねた結果、次の2点になりました。
①問題に出てくるパラメータが自然数、せめて、整数の変化をすること
②証明する関係が定量的に数式、方程式の形をとっていること(例えば、数列の一般項の式)
言われてみれば当たり前ではないか、とも思いますが、ということは、一般的にも言えることだとも思います。他にはないでしょう…(でも、本当に?)。
A 回答 (4件)
- 最新から表示
- 回答順に表示
No.4
- 回答日時:
思考法の大別として演繹法と帰納法があって、
「数学的帰納法」は演繹法のほうに属してる。
ここ、ちょっとややこしい話だけど。
数学の話をしてるときは、つい省略して
「数学的帰納法」のことを単に「帰納法」って
言ってしまうが、本来あれはすごくマズい。
No.3
- 回答日時:
この話だと「数学的帰納法」は不自然かなぁ.... 実際のところ単に「帰納法」であれば問題ないし, 「帰納法」と呼ぶべきところ不注意で「数学的帰納法」としちゃった, という可能性は否定できないけど.
厳密にどこからどこまでを「数学的帰納法」と呼ぶのか, は難しいね. 「超限帰納法を『数学的帰納法』と言っていいのか」とか, はっきりいってどうでもいいような話題になるような気もする.
No.1
- 回答日時:
②←漸化式だけが帰納法じゃないよ。
こんなのもあるし。↓https://corollary2525.hatenablog.com/entry/2019/ …
①←自然数は一応必須だけど、超元気農法なんてのもあるね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の証明問題で、「証明終了」...
-
素数の性質
-
数学の「証明」のときなどの接...
-
幽霊が存在していないことを証...
-
ゴールドバッハ予想について考...
-
実息とは?
-
夫が亡くなった後の義理家族と...
-
ゴールドバッハ予想はナンセン...
-
親の再婚相手との問題です。私...
-
証明終了の記号。
-
無理数って二乗しても有理数に...
-
rot rotA=grad divA-∇^2Aの証明...
-
婿養子に入ったのに出て行けと...
-
一生彼女が出来ない証明
-
(4^n)-1が3の倍数であることの...
-
3,4,7,8を使って10を作る
-
図形の証明なので出てくる「対...
-
「証明証」と「証明書」はどう...
-
大学の給付型奨学金について 現...
-
正の整数a.b.cが a^2+b^2=c^2を...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報