【世界のパラドックス】すべての馬は同じ色 ─ 数学的帰納法の落とし穴

当サイトを閲覧いただきありがとうございます。 本記事は「すべての馬は同じ色」のパラドックスについて解説します。

数学的帰納法という証明テクニックを使うと、世界中のすべての馬が同じ色であることを「証明」できてしまうということです。もちろん現実にはそんなことはありません。では、この「証明」のどこに誤りがあるのでしょうか？

偽の証明

数学的帰納法は2つのステップで証明を行います。

基底段階：n = 1 のとき成り立つことを示す 帰納段階：n = k で成り立つと仮定したとき、n = k+1 でも成り立つことを示す

この2つが示されれば、ドミノ倒しのように全ての自然数について命題が成り立つことになります。

では、「n頭の馬の任意の集合において、全ての馬は同じ色である」を帰納法で証明してみましょう。

基底段階（n = 1）：馬が1頭だけの集合では、全ての馬（1頭だけ）は当然同じ色です。成り立ちます。

帰納段階：「k頭の馬の任意の集合では全ての馬が同じ色」と仮定します。

k+1 頭の馬を考えます。これを馬1、馬2、…、馬k、馬k+1 とします。

最初のk頭（馬1〜馬k）は帰納法の仮定により全て同じ色です。 最後のk頭（馬2〜馬k+1）も帰納法の仮定により全て同じ色です。

この2つのグループは「馬2〜馬k」という部分で重なっていますので、最初のグループの色 ＝ 重なり部分の色 ＝ 最後のグループの色 となり、k+1頭全てが同じ色であることが示されました。

以上より、帰納法により全ての自然数nについて成り立ち、すべての馬は同じ色です。

…本当でしょうか？

証明の穴

この証明の誤りは、n = 1 から n = 2 への移行にあります。

k = 1 の場合を考えてみましょう。k+1 = 2 頭の馬、つまり馬1と馬2がいます。

帰納段階の論理に従うと：

• 最初のk頭（馬1だけ）は同じ色。はい、1頭ですから。
• 最後のk頭（馬2だけ）は同じ色。はい、1頭ですから。

ただ、2つのグループの「重なり部分」は…空っぽです。

馬1だけのグループと馬2だけのグループには共通の馬がいません。したがって、「重なり部分の色を経由して2つのグループの色が同じ」という論理が成り立たないのです。

帰納段階の証明は k ≥ 2 のときにしか有効ではありません。k = 1 のとき（n = 1 → n = 2 への移行）で論理が破綻するため、ドミノの最初の1枚が倒れず、帰納法は成立しません。

なぜこのパラドックスが教育的なのか

このパラドックスが数学教育でよく取り上げられるのは、帰納段階の証明が「全てのk」について成り立つことの重要性を強調するためです。

帰納法は強力な証明手法ですが、帰納段階の論理が基底段階に直接接続する部分で成り立つことを確認しなければ、偽の証明が成立してしまいます。

数学的帰納法を学ぶときに「帰納段階が全てのkで成り立つことを本当に確認したか？」と自問する習慣をつける良い教材なのです。

どこで帰納法が壊れているのか

証明の穴を、もう少し丁寧に追いかけてみます。この議論の弱点は1頭から2頭へ移る、たった1か所だけにあります。

頭数ごとに見た証明の成否

証明では「最初の1頭を除いたグループ」と「最後の1頭を除いたグループ」を作り、その重なりを橋渡しに使っていました。

ところが馬が2頭しかいない場合、前者は2頭目だけ、後者は1頭目だけになります。共通する馬が1頭もいないので、色を結びつける根拠が消えます。

面白いのは、3頭以上ではこの議論が完全に正しいことです。「2頭が同じ色なら、何頭でも同じ色」という主張自体は成立しています。壊れているのは出発点の1段だけで、そこから先の連鎖には問題がありません。

要するに、この偽証明は、土台が1ミリずれただけでその上の建物が全部倒れる、という構造をしています。

他にもある有名な偽証明

同じように、一見すると正しく見える誤った証明はいくつも知られているように思います。

共通しているのは、誤りが1か所に絞り込まれていて、それ以外は完全に正しいことです。全体を眺めても違和感がないので、どこがおかしいかを特定するのが難しくなります。

帰納法を使うときの点検項目

このパラドックスから引き出せる実践的な注意点をまとめておきます。

・出発点を確かめる：nが1で成り立つことを示しただけで満足しない ・最初の一歩を実際に踏む：1から2への移行を、一般論ではなく具体的に確認する ・使った条件を数える：議論の中に「n−1個以上必要」といった暗黙の前提がないか調べる ・小さい数で試す：2や3のあたりで結論が実際に正しいかを個別に検算する

とくに2つめが効きます。一般のnで書いた式は正しく見えても、小さい値を入れると破綻することがあるからです。

数学の証明に限らず、一般論として書かれた手順が端の場合で破綻するというのは、プログラムの設計でもよくある話だと思います。配列の要素が0個や1個のときだけ落ちる不具合は、まさに同じ形をしています。

誰が考えたのか

この偽証明は、ハンガリー出身の数学者ジョージ・ポリアが広めたものとして知られています。

ポリアは1954年の著書『数学における発見はいかになされるか』などで、数学的な推論の進め方を一般向けに解説した人物です。彼が重視したのは、正しい証明を暗記することではなく、どこで推論が壊れるかを自分で見抜く力でした。

この馬の話も、そうした教材として提示されています。結論が明らかに間違っているので、読者は必ず穴を探そうとします。探した結果として、帰納法の出発点がどれだけ重要かを体で覚えることになるという話になります。

なお、もとの形は馬ではなく「すべての女性は同じ髪の色をしている」だったという説もあります。細部は伝わり方によって違いますが、構造は同じです。

正しい証明との見分け方

この偽証明が教えてくれるのは、帰納法の2つの部分が別々の役割を持っているということかと思います。

・基底段階：出発点で成り立つことを示す。ここが真であることを確認する ・帰納段階：nで成り立つならn+1でも成り立つことを示す。ここが連鎖を作る

多くの人は帰納段階の証明に注意を集中させ、基底段階は「明らかだから」と流しがちです。

ところが実際に壊れやすいのは、基底段階と帰納段階のつなぎ目です。基底段階そのものは正しくても、帰納段階の議論がその出発点から始められないことがあります。

馬の例がまさにそれで、1頭のときに同じ色であることは正しく、2頭以上での議論も正しい。それでも全体としては成立しません。「両方とも正しいのに繋がらない」という状態がありうるということですね。

数学の証明を読むときは、帰納段階の議論が本当に基底段階の次から使えるのかを、一度は具体的に確かめてみるとよいと思います。

証明を読むときは帰納段階の議論にばかり目が行きがちですが、私はまず出発点のほうを疑うようにしています。壊れるのはたいていそちら側です。

帰納法の関連パラドックス

すべての馬は同じ色のパラドックスと同じく帰納的推論の落とし穴を扱う関連パラドックスです。

まとめ

本記事は「すべての馬は同じ色」のパラドックスについて解説しました。如何だったでしょうか。

一見すると完璧に見える証明の中に、わずか1ステップの見落としが潜んでいたというこのパラドックスは、数学における厳密さの重要性を教えてくれます。

パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。

それでは次の記事も閲覧いただけると幸いです。

【世界のパラドックス一覧】哲学・数学・物理・経済まで有名パラドックスを完全解説senkohome.com/paradox-list/