背理法による証明

背理法による証明は、数学における強力なツールです。これは、数学者がある命題の反対を仮定し、その仮定が矛盾などの不可能な結果を導くことを示すことで命題が真であることを示す方法です。

ある命題Pを証明したいと仮定します。背理法の証明では、最初にPが真でないと仮定します。そこから、事実と矛盾する論理的な結論を見つけます。矛盾に到達した時点で、元の仮定が不可能な結果を導くため、Pが真であるに違いないと結論できます。

なぜ背理法による証明を使うのか？

背理法による証明は、命題を直接証明することが難しい場合や、直接の証明が命題の真実性を明確に示さない場合に役立ちます。反対を仮定することで間接的に真理を明らかにする方法があります。

背理法による証明の基本構造

1. 証明したい内容の反対を仮定する。
2. 論理的な結論を用いて矛盾を示す。
3. 元の命題は真でなければならないと結論する。なぜなら、反対の仮定が矛盾を引き起こすから。

例: 2の平方根

この命題を考えます：「2の平方根は無理数である」。背理法を用いてこの命題をどのように証明できますか？

ステップ 1: 反対を仮定する: √2が有理数であると仮定する。これは、2つの整数aとb（b ≠ 0）が次のようであることを意味します：

√2 = a/b

a/bが既約分数であると仮定します。つまり、aとbの最大公約数（GCD）は1です。

ステップ 2: 両辺を2乗して平方根を求めます。

(√2)² = (a/b)² => 2 = a²/b² => 2b² = a²

したがって、a² = 2b²です。

ステップ 3: a² = 2b²ですので、a²は偶数です（それは他の整数の2倍であるため）。これは、aも偶数でなければならないことを意味します。なぜなら、奇数の2乗は奇数だからです。したがって、ある整数kに対してa = 2kとします。

a = 2k

これを元に戻して代入します：

a² = (2k)² => a² = 4k² => 2b² = 4k² => b² = 2k²

したがって、b²も偶数であり、bも偶数です。

ステップ 4: 今、aとbの両方が偶数であることを示しました。これは、2の共通因数を持つことを意味します。しかしこれは、a/bが最簡分数であるという元の仮定と矛盾します。aとbが1以外の共通因数を持たないと仮定しました。

結論: √2が有理数であるという仮定は矛盾を引き起こします。したがって、元の命題は真でなければなりません：2の平方根は無理数である。

視覚例

別の例: 無限に存在する素数

背理法による別の証明として、無限に多くの素数が存在することを証明します。命題は：「最大素数は存在しない」です。

ステップ 1: 反対を仮定する: 最大の素数が存在すると仮定する。素数のリストが有限で、p1, p2, ..., pnとして表されると仮定します。

ステップ 2: リストのすべての素数を掛けて1を加えた新しい数を考慮します：

N = p1 × p2 × ... × pn + 1

ステップ 3: 数Nはリストのいかなる素数で割っても商が1余るので、リストのいずれの素数でも割り切れません。したがってNはそれ自体が素数であるか、その素因数がリストにはないはずです。

結論: いずれかのケースでもNはリストにない新しい素数であるか、リストにない他の素数があります。どちらの場合もp1, p2, ..., pnがすべての素数を含んでいるという仮定と矛盾します。

背理法による証明の一般的なヒント

• 何を証明したいかを特定する。 命題や主張を明確に理解します。
• 反対を仮定する: まず、主張の反対が真であると仮定する。
• 論理的推論: 慎重な論理的ステップを使って矛盾に到達します。各ステップは合理的でなければなりません。
• 仮定を見直す: 仮定が矛盾に正しく導いているか確認します。
• 明確な結論を引き出す: 矛盾に到達したとき、元の命題が真であると結論します。

背理法の一般的な使用

• 無理数の証明（例: √3, √5）。
• 整数の性質の証明、例えば割り切りの法則。
• 代数方程式における解の存在（または非存在）の証明。
• 微積分と解析における限界または境界の確立。

結論

背理法による証明は、数学的論理の基盤を探求するための優雅で効果的な方法です。命題の否定を仮定し、矛盾に到達することで、数学の論理構造を利用して真実を確認します。これは学習者に批判的思考を促し、数学理論に内在する論理的一貫性を強調します。

この技法を練習することで、生徒は抽象的推論の深さと美しさを味わい、数学およびそれを超えた複雑なトピックへのより深い探求の準備をします。

コメント