無限降下法の正体｜なぜ矛盾が導けるのか、証明手順と大学入試での使い方の全貌を詳しく解説してご紹介します。

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

証明技法主な適用対象論理の方向性無限降下法との関係無限降下法自然数の解が「存在しない」ことの証明仮定した最小解から、より小さい解へ下降—背理法命題の否定を仮定し、任意の矛盾を導く矛盾の種類は問わない（論理破綻全般）無限降下法は背理法の一種として分類される数学的帰納法すべての自然数nで成り立つ命題の証明n=1から順に上へ積み上げる自然数の順序構造を利用する点で思想的に共通対偶証明法「PならばQ」を示す際に、その対偶を示す条件の否定を仮定して、仮定の否定を導く無限降下法と組み合わせて使うことも可能

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