背理法とは何か？意味・証明の手順・よくある例題をわかりやすく解説
背理法とは何か？意味・証明の手順・よくある例題をわかりやすく解説
「背理法ってどうやって使えばいいの？」「なぜ矛盾を示すと証明になるの？」と疑問に思ったことはありませんか。背理法は高校数学・大学数学で頻繁に登場する証明手法で、一見ユニークに見えますが、論理的な仕組みを理解すれば使いこなせるようになります。
この記事では、背理法の定義・仕組み・手順・よくある例題・直接証明法との違いまで、中高生や数学に興味のある方にわかりやすく解説します。
背理法の基本
まず、背理法とは何かをしっかり理解しておきましょう。
背理法の定義
背理法とは、「証明したい命題が偽であると仮定したとき、矛盾が生じることを示すことで、元の命題が真であると結論づける証明法」です。
・命題「P ならば Q」を証明したい場合
・「Q が成り立たない（¬Q）」と仮定する
・その仮定から矛盾（例：ある数が偶数でも奇数でもないなど）を導く
・矛盾が生じたので「¬Q」の仮定は誤り → よって「Q」が成り立つ
「正しいことを直接示すのが難しいとき、正しくないと仮定して矛盾を引き出す」という発想がポイントです。
背理法が有効な場面
背理法は、特定のパターンの命題に特に有効な手法です。
・「〜でない」「〜は存在しない」という否定形の結論を証明するとき
・無理数の証明（例：√2 が無理数であることの証明）
・素数が無限に存在することの証明（ユークリッドの背理法）
・直接的に正しいことを構成的に示せない命題
逆に、単純な等式の変形で示せる命題には向きません。問題の形を見て適切に使い分けることが大切です。
背理法による証明の手順
背理法を使って証明するときは、決まった手順があります。ステップを覚えて練習しましょう。
証明の3ステップ
背理法の流れは次の3ステップで整理できます。
ステップ1 結論の否定を仮定する
証明したい結論「Q」が成り立たないと仮定します（「¬Q（Qでない）」と置く）。
ステップ2 矛盾を導く
「¬Q」という仮定と、問題の前提や既知の定理を組み合わせて計算・推論を進め、矛盾（例：「偶数かつ奇数」「整数でないのに整数」など）を導きます。
ステップ3 矛盾により結論を確定する
矛盾が生じたので「¬Q」の仮定は誤り。よって元の結論「Q」が真であることが示されました、と結びます。
答案では「〜と仮定すると、…矛盾が生じる。よって〜。」という形で記述します。
よくある書き方の例
実際の答案では次のような表現を使います。
・「〜でないと仮定する」
・「このとき、（計算・推論）… となり、矛盾が生じる」
・「よって、〜と仮定したことは誤りであり、〜が成り立つ」
仮定・矛盾の導出・結論の3パートを明確に分けて書くことが、答案として高評価を得るポイントです。
背理法の代表的な例題
実際の問題で背理法がどのように使われるか確認しましょう。
例題1 √2 が無理数であることの証明
最も有名な背理法の例題です。
【命題】√2 は無理数である。
【証明】
√2 が有理数であると仮定する。このとき、互いに素な整数 m、n を用いて √2 = m/n と表せる。
両辺を2乗すると 2 = m²/n²、すなわち m² = 2n²。これより m² は偶数なので m も偶数。m = 2k（k は整数）とおくと、4k² = 2n² → n² = 2k² となり n も偶数。
しかし、m と n が互いに素であることに矛盾する。よって √2 は無理数である。
この流れが背理法の典型パターンです。「有理数と仮定 → 整数の互いに素の条件と矛盾」という構造を覚えておきましょう。
例題2 素数は無限に存在することの証明
ユークリッドが古代ギリシャ時代に示した証明も背理法を使います。
【命題】素数は無限に存在する。
【証明】
素数が有限個しか存在しないと仮定し、すべての素数を p₁, p₂, …, pₙ とする。
N = p₁ × p₂ × … × pₙ + 1 とおくと、N はどの素数 pᵢ で割っても余りが1になるため、N はどの素数でも割り切れない。
しかし N は2以上の整数なので、少なくとも1つの素因数を持つはずであり、矛盾が生じる。よって素数は無限に存在する。
この例題は「無限に存在する」という命題を「有限個しかない」と仮定して矛盾を示す、背理法の美しい応用例です。
例題3 高校入試・大学入試レベルの問題
高校・大学入試でも背理法は頻出です。
【問題】a + b が奇数ならば、a と b の少なくとも一方は奇数であることを示せ。
【証明】
a も b も偶数であると仮定する。偶数の和は偶数なので a + b は偶数となり、「a + b が奇数」という前提に矛盾する。よって a と b の少なくとも一方は奇数である。
シンプルな問題でも背理法を使うと簡潔に示せる場合があります。直接証明と背理法のどちらを使うかを判断する力を養いましょう。
背理法と直接証明法の違い
証明の方針として、背理法だけでなく直接証明法も重要な手法です。両者の違いを整理しておきましょう。
直接証明法とは
直接証明法は、「P ならば Q」を P から出発して直接 Q を導く方法です。
・前提 P から計算や論理推論を積み重ねて Q を示す
・シンプルな等式や不等式の証明に向いている
・手順が明確で読む側にもわかりやすい
例：「n が偶数なら n² も偶数」→ n = 2k とおくと n² = 4k² = 2(2k²) で偶数。これは直接証明法です。
背理法を選ぶ判断基準
どちらの方法を選べばよいかは、問題の「結論の形」で判断します。
・結論が「〜でない」「〜は存在しない」「〜は有限個ではない」の形なら背理法が向いている
・結論を直接構成的に示せるなら直接証明法を使う
・両方で証明できる場合は、よりシンプルな方を選ぶ
「どうやって証明するか」を考えるとき、まず結論の否定を仮定したらどうなるかを試してみるのが背理法の第一歩です。
背理法を習得するための練習法
背理法は実際に問題を解きながら体で覚えることが大切です。効果的な練習法を紹介します。
有名な例題を繰り返し書く
まずは √2 の無理数証明・素数の無限性など、定番の例題を自分の手で何度も書いてみましょう。
・「仮定 → 矛盾 → 結論」の流れを体で覚える
・教科書や参考書の例題で3〜5問をひたすら繰り返す
・見て理解するだけでなく、自分で再現できるかを必ず確認する
最初は手順を見ながらでも構いません。書いていくうちに流れが自然と身につきます。
仮定から矛盾を見つける練習
背理法の核心は「結論の否定を仮定して矛盾を引き出す」部分です。この感覚を身につけるには、次の練習が有効です。
・問題を見たら「結論の否定とは何か」をすぐ言葉にする
・「この仮定から何がわかるか」を箇条書きで洗い出す
・矛盾の候補を探す：「互いに素なのに共通因数がある」「偶数かつ奇数」「整数なのに分数」など
矛盾のパターンをある程度知っておくと、証明の方針が立てやすくなります。
まとめ
背理法は「証明したい結論の否定を仮定し、矛盾を導くことで元の命題が正しいと示す」証明手法です。√2 の無理数証明・素数の無限性など、数学史に残る名証明にも使われており、論理的思考の基本となる考え方です。
「結論が否定形のときは背理法」という判断基準を覚え、定番の例題を繰り返し練習することで確実に身につけられます。直接証明法との使い分けも意識しながら、証明問題に自信を持って取り組めるようになりましょう。