数学の証明方法として有名な背理法ですが、「どんな命題にも使えるのか」「反例がある場合でも使えるのか」と疑問に思う人は少なくありません。実際には背理法は非常に汎用的な証明法ですが、使い方や証明したい命題の種類によって向き不向きがあります。この記事では、背理法が使える条件や存在命題との関係について解説します。
背理法とは何か
背理法とは、証明したい命題が偽であると仮定し、その結果として矛盾が生じることを示して元の命題が真であると結論する方法です。
例えば「√2は無理数である」を証明するときは、「√2は有理数である」と仮定して矛盾を導きます。
『否定を仮定して矛盾を示す』ことが背理法の本質です。
背理法が使える形は決まっているのか
古典論理を採用する通常の数学では、原則としてどの命題にも背理法を適用できます。
命題が「すべてのxについて成立する」「あるxが存在する」「AならばBである」といったどの形式であっても、その否定を仮定して矛盾が導ければ背理法による証明になります。
ただし、使えることと証明しやすいことは別です。背理法が可能でも、直接証明や対偶証明の方がはるかに簡単な場合があります。
反例が簡単な場合と背理法
命題が偽であることを示す場合は、通常は反例を1つ示す方が効率的です。
例えば「すべての偶数は素数である」という命題は、4という反例を示せば一瞬で否定できます。
この場合も理論上は背理法的な議論は可能ですが、反例が存在するならそれを示す方が簡潔です。そのため、数学では命題の性質に応じて証明法を選びます。
存在命題の否定と背理法
質問にある命題を考えてみましょう。
「Nは4より大きい偶数であり、N=p+qを満たす素数p,qが存在しない」
これはゴールドバッハ予想の否定に関係する形です。
存在命題では、否定の形に注意する必要があります。
| 命題 | 否定 |
|---|---|
| あるxが存在する | どんなxも存在しない |
| すべてのxについて成立する | 成立しないxが存在する |
このような存在量化と全称量化の変換が背理法では重要になります。
背理法だけでは証明できない場合があるのか
背理法そのものは強力な論理手法ですが、矛盾を導く材料がなければ証明は進みません。
例えばゴールドバッハ予想のような未解決問題について、「予想が偽である」と仮定しても、現在の数学では矛盾を導く方法が見つかっていません。
つまり背理法が使えないのではなく、矛盾を導く技術や理論がまだ存在しないという状況です。
背理法・対偶法・直接証明の使い分け
数学では複数の証明法があります。
- 直接証明：定義や定理からそのまま示す
- 対偶証明：「A⇒B」を「¬B⇒¬A」で示す
- 背理法：否定を仮定して矛盾を導く
実際の研究や受験数学では、どの方法が最も自然かを考えることが重要です。
背理法は万能ですが、常に最短ルートとは限りません。
まとめ
背理法は古典数学では基本的にあらゆる命題に適用できる証明法です。しかし、反例が簡単に見つかる場合は反例を示した方が効率的です。また、未解決問題のように背理法を試しても矛盾を導く手段が見つかっていないケースもあります。重要なのは「背理法が使えるか」ではなく、「矛盾を導けるだけの数学的根拠があるか」という点です。
コメント