無限降下法の正体｜なぜ矛盾が導けるのか、証明手順と大学入試での使い方

「無限に降下する」——この言葉だけを聞くと、終わりのない階段を延々と下り続けるような奇妙な感覚にとらわれる。だが数学における無限降下法は、その名前に反して「証明を完結させるための強力な武器」だ。17世紀にピエール・ド・フェルマーが整数問題で駆使したとされるこの技法は、一見すると遠回りに見えて、実は自然数のもつ根源的な性質を突いた鋭い論法である。

なぜ「無限に下がり続ける」ことが矛盾になるのか。どう使えば整数問題で突破口が開けるのか。本記事では、フェルマーが遺した証明の構造から大学入試での実践例まで、具体例を交えて解説する。数学的思考の醍醐味を、ここで体感してほしい。

📌 【この記事の重要ポイントまとめ】

• 要点1：無限降下法は「自然数が整列集合である」性質を利用した背理法の一種で、フェルマーが17世紀に用いた歴史的証明技法。
• 要点2：「条件を満たす自然数があると仮定→より小さい別の自然数を構成→無限に繰り返せる」という流れで矛盾を導く。
• 要点3：ルート2の無理数証明や3乗数の差に関する問題など、大学入試の整数問題でも頻出パターンとして攻略価値が高い。

【核心解説】無限降下法の原理と「なぜ矛盾が導けるのか」

無限降下法の土台にあるのは、自然数が「整列集合」であるという事実だ。公式発表資料や数学事典の記述を確認すると、整列集合とは「任意の空でない部分集合に必ず最小元が存在する集合」と定義される。ここがすべての出発点になる。

具体的な証明の流れを見てみよう。命題Pを満たす自然数n₁が存在すると仮定する。このとき、n₁より小さい自然数n₂で再び命題Pを満たすものが構成できるとする。すると同様の操作でn₃、n₄、n₅……と、いくらでも小さい自然数を生み出せるはずだ。

しかし自然数には最小値の壁がある。1より小さい自然数は存在しない。つまり、この操作は無限に続けられない。どこかで必ず止まらなければならない。それなのに「続けられる」と仮定したこと自体が論理的な破綻を引き起こす。この破綻こそが無限降下法における「矛盾」の正体だ。

数学的帰納法が「n=1から順に上へ」進むのに対し、無限降下法は「もし存在するなら、より小さい例へ下へ」と迫る。方向性は正反対だが、どちらも自然数の離散的な構造に根ざしている点では共通している。

【歴史的背景】フェルマーが編み出した証明技法とその威力

無限降下法を語る上で欠かせないのが、17世紀フランスの数学者ピエール・ド・フェルマーの存在だ。報道各社・数学史の研究資料によると、フェルマーは「ある自然数解が存在すれば、必ずそれより小さい別の自然数解が存在する」という論法を用いて、当時としては画期的な整数問題の証明を行ったとされる。

特に有名なのが、フェルマーの最終定理の特別なケースであるn=4の場合の証明だ。フェルマー自身がこの無限降下法を用いて証明に成功したことが、後世の数学者たちに大きな影響を与えた。彼が書簡で「この方法を発見した」と記したことが、無限降下法という名称の由来になったとも伝えられている。

ここで興味深いのは、フェルマーが証明の詳細をほとんど書き残さなかったという歴史的事実だ。彼は書物の余白に「証明できたが、余白が狭すぎて書けない」と記したことで知られるが、無限降下法はその数少ない例外として、後世に具体的な手順が伝わった貴重な技法でもある。

【具体例で理解】ルート2の無理数証明に見る無限降下法の使い方

無限降下法の入門例として最も理解しやすいのが、√2が無理数であることの証明だ。有名な背理法では√2=a/b（a,bは互いに素な自然数）とおいて矛盾を導くが、無限降下法を使うと別の角度から迫れる。

√2=a/bを満たす自然数a,bが存在すると仮定する。両辺を2乗して整理すると a²=2b² となる。ここからaは偶数であることが導かれ、a=2a′とおける。これを代入すると b²=2a′² となり、今度はbも偶数だとわかる。つまり b=2b′と書ける。

すると√2=(2a′)/(2b′)=a′/b′ となり、a,bより小さい自然数の組(a′,b′)が再び√2を表すことになる。この操作は無限に繰り返せてしまう。しかし自然数の組に「これ以上小さくなれない」限界がある以上、矛盾だ。よって√2は分数で表せない、つまり無理数だと結論づけられる。

この証明の美しさは、ただ「矛盾した」で終わらせず、「より小さい例が永遠に作れてしまう」という不自然さを前面に押し出す点にある。同じ結論でも、無限降下法ならではの構造的な説得力が生まれる。

【大学入試対策】整数問題で無限降下法が効くパターンと練習問題

大学入試の整数問題では、無限降下法は「隠れた頻出技法」として知られている。見た目は通常の背理法と変わらないが、条件を満たす解の「最小性」に着目して一気に矛盾を導く展開が典型だ。

たとえば「a²+b²=3c²を満たす自然数a,b,cが存在しないことを証明せよ」という問題を考えよう。仮に存在するとしたら、その中で最小のcを選べる。すると右辺が3の倍数であることから左辺も3の倍数となり、a,bがともに3の倍数であることが導かれる。a=3a′、b=3b′とおくと、代入して整理すれば cも3の倍数となり、c=3c′と書けてしまう。すると元の式に戻せば、より小さいc′で同じ式を満たす解ができてしまい、cの最小性に反する。これが無限降下法の典型的な応用例だ。

練習問題を挙げておこう。

問題：「x²+y²+z²=2xyzを満たす自然数x,y,zが存在しないことを示せ」（フェルマー由来の有名な類題）
問題：「3つの平方数の和で表される自然数が、再びより小さい3つの平方数の和で表せることを用いて矛盾を導く問題」

どちらも「最小の解を仮定→より小さい解を構成→最小性と矛盾」という流れが鍵になる。初見では思いつきにくいが、パターンとして身体に染み込ませれば、入試本番で強力な武器になる。

【比較データ】無限降下法と他の証明技法はここが違う

無限降下法の立ち位置を理解するために、数学的帰納法や通常の背理法との違いを整理した。証明技法の選択は問題との相性で決まる。以下の比較を参考に、使い分けの感覚をつかんでほしい。

この表から浮かび上がるのは、無限降下法が単なる背理法の下位互換ではなく、自然数の「整列性」という構造に特化した専門技法だという点だ。解の存在を否定したいとき、その解の最小性に着目できるかどうかが、無限降下法を使いこなす分かれ目になる。

【実態検証】初学者がつまずくポイントとネット上の誤解

学習者の声を分析すると、無限降下法に対しては大きく分けて2つの誤解が見られる。1つは「無限降下法は通常の背理法とまったく同じ」という認識。もう1つは「どんな整数問題でも無限降下法で解ける」という過信だ。

前者について言えば、確かに無限降下法は背理法の一種に分類される。だが「矛盾の導き方」に明確な個性がある。通常の背理法が「仮定から任意の矛盾を導く」のに対し、無限降下法は「最小解を仮定→より小さい解を構成→最小性との矛盾」という特定の型を持つ。この型を意識しているかどうかで、実際の問題への応用力が変わる。

後者はさらに危険だ。無限降下法が有効なのは、あくまで「自然数解が存在しない」ことを示したい場面に限られる。解が存在することを証明したい問題や、実数範囲での議論では、この技法は力を発揮しない。使えない場面を見極める判断力もまた、数学的思考の一部なのだ。

SNSや知恵袋の質問を見ると、「なぜ無限に降下したらダメなのか」「最小の解を勝手に選んでいいのか」という戸惑いが多く見受けられる。これらの疑問は、実は自然数の整列性にまで立ち返らないと解消できない。表面的な証明パターンの暗記ではなく、原理の理解が結局は最短の近道になる。

【応用の視点】無限降下法が教える数学的思考の本質

無限降下法の価値は、単なる証明テクニックの習得にとどまらない。この論法が教えてくれるのは、「最小性に着目する」という数学的思考の核心である。

数学の問題に限らず、現実の課題解決でも「最小の反例」を考えて議論を進める手法は有効だ。たとえば「ある条件を満たす最悪のケース」を想定し、そこからさらに悪いケースが導かれてしまうなら、そもそも条件自体が成立し得ない——この論理展開は、品質管理やリスク分析の現場でも通用する考え方だ。

また、無限降下法は「存在しないことの証明」がいかに難しいかも教えてくれる。存在することを示すのは、具体例を1つ挙げれば済む。しかし存在しないことを示すには、あらゆる可能性を論理的に排除しなければならない。無限降下法は、その困難なタスクを「最小性」という一点に集約することで乗り越える。ここに、この技法の普遍的な価値がある。

【無限 降下 法】に関するよくある質問（FAQ）

Q1：無限降下法と通常の背理法の違いは何ですか？
A1：通常の背理法が「命題の否定から任意の矛盾を導く」のに対し、無限降下法は「条件を満たす最小の自然数を仮定し、それより小さい別の解を構成して最小性と矛盾させる」という特定の型を持ちます。背理法の一種ですが、自然数の整列性に特化した専門技法です。

Q2：無限降下法はどんな問題で使えますか？
A2：主に「自然数解が存在しないこと」を証明する整数問題で威力を発揮します。特に「〇〇を満たす自然数a,b,cが存在しないことを示せ」という形式の問題で、最小の解を仮定してより小さい解を構成できる場合に有効です。

Q3：なぜ「無限に降下する」ことが矛盾になるのですか？
A3：自然数には最小値があり、1より小さい自然数は存在しません。つまり「いくらでも小さい自然数を作り続けられる」という仮定は、自然数の整列性に反します。無限に続けられるはずの操作が、実際には有限回で止まらざるを得ない——この構造的な破綻が矛盾として現れます。

まとめ：無限降下法は「最小性」で勝負する数学の必殺技

無限降下法の正体は、自然数が持つ「整列性」という根本性質を最大限に活用した背理法の一種だ。フェルマーが17世紀に編み出し、√2の無理数証明から大学入試の整数問題まで、幅広い場面で使われてきた実績がある。

この技法を自分のものにするためには、単に証明の流れを暗記するのではなく、「なぜ最小の解に注目するのか」「なぜより小さい解が作れると困るのか」という原理を理解することが欠かせない。表面的な解法暗記から一歩踏み込んで、自然数の構造そのものに目を向けたとき、無限降下法は初めて真の力を発揮する。

整数問題で手が止まったとき、ぜひ思い出してほしい。「いや、この解がもし存在するなら、もっと小さい解も作れてしまう——」。その直感が、フェルマー以来の歴史的な証明技法への入り口になる。 （出典: 無限 降下 法（Yahoo!ニュース））