背理法
ある主張が正しいことを直接証明するのが難しいとき、「もし逆が正しいとしたら、どんなおかしなことが起きるか？」を示して真実をあぶり出す、名探偵のような推理法です。
定義 背理法（証明したい命題の「逆」を仮定し、そこから矛盾を導き出すことで元の命題が正しいと証明する数学的・論理的手法）は、「間違った道をとことん進むと行き止まりに突き当たる」ことを利用して、正しい道を確認する証明アプローチです。
犯人を追い詰める探偵のロジック
友だちが「昨日の夜7時は塾にいたよ」とアリバイを主張したとします。この嘘を暴くにはどうすればいいでしょうか？ まずは、あえて「友だちの言うことが正しい」と信じてみるのです。
「わかった、7時に塾にいたとしよう。でも、どうして7時5分に家の前のコンビニで買い物をしたレシートがあるの？ 5分で塾から家までワープするのは不可能だよね！」というように、仮定から生じる明らかな矛盾を指摘するやり方です。
「友だちが塾にいた」という前提があり得ない結論につながるため、元の主張である「塾にいた」は嘘であり、「塾にいなかった」が真実になります。日常会話でも無意識に使っている、非常に強力な論理的思考法です。
数学者がこの「まわり道」を愛する理由
数学の世界で「何かが永遠に続く」ことや「絶対に存在しない」ことを直接証明するのは至難の業です。すべての数字を無限にひとつずつ調べるわけにはいかないからです。
ここで背理法が大活躍します。古代ギリシャの数学者ユークリッドは、素数（1とその数自身でしか割れない数）が無限に存在することをこの方法で証明しました。「素数は全部で100個しかない（有限である）」とあえて逆に仮定した上で、その素数をすべて掛け合わせて1を足すと、今までになかった新しい素数が必ず現れてしまうことを計算で示したのです。
「素数が有限である」という仮定そのものが矛盾を生み出したため、消去法で「素数は無限にある」という結論が美しく導かれます。無限の果てまで直接調べに行かなくても、真実を解き明かすことができたのです。
もう少し正確に言うと：排中律のルール
背理法が完璧に成り立つためには、ひとつ重要な大前提があります。論理学における排中律（どんな命題も「真」か「偽」のどちらかであり、中間はない）というルールです。
「Aでなければ絶対にBだ」という世界だからこそ、「Aではない」を否定した瞬間にBが真実として確定します。もし白と黒の間にグレーのような「真でも偽でもない第3の状態」があると、背理法だけで白黒をつけるのは難しくなってしまいます。
現代数学のほぼすべての体系はこの排中律の上に築かれているため、背理法は数学の土台を支える最もエレガントな道具として認められています。ルート2（√2）が分数で表せない無理数であるという有名な証明も、まさにこの背理法で完成されたものなんですよ。
🤔 よくある誤解
背理法は、相手の意見が気に入らないときに揚げ足を取るための屁理屈である。
単なる粗探しではなく、逆の仮定を論理のルール通りに厳密に展開した結果、数学的・論理的な矛盾が生じることを隙なく示す厳密な演繹的証明法です。
🧺 日常で出会う場面
主張の「逆」が正しいと仮定したときに生じるおかしな矛盾を暴くことで、元の主張が絶対に正しいことを証明する論理的思考法です。