背理法とは？──矛盾を導く証明のやり方と具体例を知りたい

背理法の証明手順と考え方

背理法は、直接証明が難しい命題を証明する強力な方法です。「存在しない」「無限である」「無理数である」といった否定的な主張や、直接示すことが困難な命題に特に有効です。矛盾を導くという逆説的なアプローチが、背理法の本質です。

ここでは、背理法の 4 ステップと考え方をまとめました。

背理法の4ステップ

• ステップ1: 結論の否定を仮定する (「〜でない」「〜は存在しない」「〜は有限個」など)
• ステップ2: 論理的に推論を進める (既知の事実や定理を使って結論を導く)
• ステップ3: 矛盾を見つける (仮定や既知の事実と矛盾することを示す)
• ステップ4: 結論を述べる (「仮定が誤り」→「よって元の結論が正しい」)

ひと目でわかる"背理法と他の証明法の比較"

証明方法	基本方針	向いている問題
直接証明	仮定から結論へ直接導く	因果関係が明確、構成的に示せる
対偶証明	対偶「」を証明	対偶の方が証明しやすい
背理法	結論の否定から矛盾を導く	存在しない、無限、無理数など

背理法の論理的根拠

背理法が成り立つのは、排中律(はいちゅうりつ)という論理学の基本原理に基づいています。

排中律: 任意の命題 P について、「Pは真」または「Pは偽」のどちらか一方が必ず成り立つ。

背理法の論理:

• 命題 P は真か偽のどちらか
• 「P が偽」と仮定して矛盾が生じた
• よって「P が偽」は不可能
• したがって「P は真」

背理法の具体例 (基本)

例1: が無理数であることの証明

証明

これは背理法の最も有名な例です。「 は有理数である」と仮定して矛盾を導きます。

【ステップ1】結論の否定を仮定

背理法で証明する。 が有理数であると仮定する。

【ステップ2】論理的に推論を進める

すると、 は既約分数で表せるので

(p, q は互いに素な正の整数)

両辺を 2 乗すると

,

【ステップ3】p は偶数

p² は偶数なので、p も偶数である。よって p = 2m ( m は整数) と表せる。

代入すると

(2m)² = 2q², 4m² = 2q², q² = 2m²

【ステップ4】q も偶数

q² も偶数なので、q も偶数である。

【ステップ5】矛盾を見つける

p と q がともに偶数であることは、p と q が互いに素であるという仮定に矛盾する。

【ステップ6】結論を述べる

よって、 は有理数ではない。したがって、 は無理数である。（証明終了）

ポイント:

例2: 素数が無限に存在することの証明 (ユークリッドの証明)

証明

これは背理法の古典的な美しい例です。「素数が有限個」と仮定して矛盾を導きます。

【ステップ1】結論の否定を仮定

背理法で証明する。素数が有限個しか存在しないと仮定する。

【ステップ2】すべての素数をリスト化

すべての素数を小さい順に p₁, p₂, ・・・, p_n とする。

【ステップ3】新しい数を構成

次の数 N を考える

N = p₁ × p₂ × ・・・ × p_n + 1

【ステップ4】N の性質を調べる

N を素因数分解すると、N は何らかの素数 p で割り切れる。

もし p が p₁ × p₂ × ・・・ × p_n のいずれかなら、p は p₁ × p₂ × ・・・ × p_n を割り切る。

したがって、p は N - (p₁ × p₂ × ・・・ × p_n) = 1 も割り切ることになる。

【ステップ3】矛盾を見つける

しかし、1 より大きい素数が 1 を割り切ることはできない。これは矛盾。

【ステップ4】結論を述べる

よって、素数は有限個ではない。したがって、素数は無限に存在する。（証明終了）

ポイント:

例3: 連続する2つの整数の積は偶数

証明

これは基本的な整数の性質を使った簡単な背理法の例です。

命題: 連続する 2 つの整数の積は偶数である。

【ステップ1】結論の否定を仮定

背理法で証明する。連続する2つの整数 n, n + 1 の積 n(n + 1) が奇数であると仮定する。

【ステップ2】論理的に推論

積が奇数であるためには、n と n + 1 がともに奇数でなければならない。

【ステップ3】矛盾を見つける

しかし、連続する 2 つの整数のうち、一方は必ず偶数である。

よって、n と n + 1 がともに奇数であることは不可能。これは矛盾。

【ステップ4】結論を述べる

したがって、n(n + 1) は偶数である。（証明終了）

ポイント: この問題は直接証明でも簡単に示せますが、背理法の基本的な手順を学ぶのに適した例です。

勉強の進め方と練習方法のアドバイス

• 4 ステップを必ず守る: 背理法の証明では、① 結論の否定を仮定、② 論理的推論、③ 矛盾の指摘、④ 結論、という流れを必ず明示しましょう。特に「背理法で証明する」という宣言を最初に書くことが大切です。
• 否定を正確に立てる: 「存在する」の否定は「存在しない」、「すべて」の否定は「少なくとも 1 つは〜でない」、「無限」の否定は「有限個」です。否定を正確に立てる練習をしましょう。
• 矛盾を明確に指摘: 「これは矛盾である」「これは仮定に反する」など、矛盾を明確に指摘する文章を必ず書きます。どこが矛盾しているのかを明示することが重要です。
• 論理の飛躍をしない: 各ステップで何が言えるかを明確にし、論理の飛躍をしないように注意します。使う定理や事実も明示しましょう。
• 他の証明法と比較: 同じ命題を直接証明や対偶証明でも証明できるか考えてみると、背理法の有効性がより理解できます。

練習は、たとえば「入門問題 2 題→標準問題 3 題→実戦問題 2 題→仕上げの小テスト 10 問」といった順で進めると、理解が深まるはずです。

間違えた問題は、原因別に整理します (否定の立て方の誤り / 論理の飛躍 / 矛盾の不明確な指摘など)。翌日に同じタイプの問題を 1 問だけ解き直すことで、ミスの再発を防げます。

背理法と関連するその他の重要知識

背理法ができるようになると、論理と証明の理解が一気に深まります。ここでは、次のステップとして押さえておきたい重要な知識を確認していきましょう。

• 対偶証明: 「p ⇒ q」を証明する代わりに、対偶「」を証明する方法です。背理法と似ていますが、より直接的な場合があります。
• 同値変形: 「」で結ばれた同値な命題を使った証明方法です。必要十分条件の証明に使います。
• 数学的帰納法: 自然数に関する命題を証明する方法です。背理法とは異なるアプローチです。
• 論理記号: （否定）、 ∩（かつ）、 ∪（または）、 ⇒（ならば）などの記号を理解すると、論理構造が明確になります。

余裕があれば、排中律や二重否定の除去など、背理法の論理的基礎を確認しておくと、理解の土台が強まり証明の不安が減ります。

まとめ｜背理法のポイント

ここまでの内容を振り返り、押さえておくべき背理法のポイントを整理しましょう。

背理法とは: 結論の否定を仮定 → 矛盾を導く証明方法

背理法の 4 つのステップ:

1. 1. 結論の否定を仮定する
2. 2. 論理的に推論を進める
3. 3. 矛盾を発見する
4. 4. よって結論が正しい

背理法が有効な場面:

• 「存在しない」ことの証明
• 「無限である」ことの証明
• 「唯一である」ことの証明
• 無理数の証明

他の証明法との使い分け:

• 直接証明: 因果関係が明確、構成的に示せる
• 対偶証明: 対偶が証明しやすい
• 背理法: 直接証明が困難、否定的な主張

注意点:

• 否定の正確な立て方 (「すべて」の否定は「少なくとも 1 つは〜でない」)
• 論理の厳密性 (各ステップを明確に)
• 矛盾の明確な指摘 (「これは矛盾である」と明示)

背理法をマスターして、論理と証明を得意にしよう!

背理法の理解は、高校数学の中でもつまずきやすい重要テーマです。しかし、

• 「否定をどう立てればいいかわからない」
• 「矛盾をどう見つければいいかわからない」
• 「背理法をいつ使えばいいかわからない」

といった壁に直面する高校生は多いです。そんなときに役立つのが進研ゼミのAI質問機能（お試し無料）。

AI質問の特徴

問題を撮影するだけ！
勉強中にわからない数学の問題を撮影すると、すぐにヒントや解き方を丁寧に解説してくれます。

考え方や途中過程まで、ステップごとに解説
答えだけでなく、解答に至るまでのステップをわかりやすく提示。追加解説まで丁寧に説明してくれます。

AI質問機能を活用することで、定期テストや入試の対策に向けて、理解の“穴”をすぐに埋めることに役立ちます。「進研ゼミ」は以下より無料で体験いただけます（スマートフォン／タブレットからアプリをダウンロード）。