背理法の理解とその証明方法：命題が成り立たぬと仮定する論理的根拠

背理法（反証法）は数学における強力な証明技法であり、ある命題が成り立たないと仮定し、その仮定が矛盾を引き起こすことを示すことで、元の命題が成り立つことを証明します。しかし、この方法がどのように成立するのか、またその証明自体が成立するのかについては、初心者には少し難解に感じられることもあります。

背理法の基本的な考え方

背理法は、「命題が成り立たぬと仮定して、その仮定から矛盾が導かれるならば、元の命題が正しい」という論理的手法です。この方法は、命題が成り立たないと仮定することからスタートします。次に、その仮定が何らかの論理的矛盾を生むことを示し、その矛盾から命題が成立することを導きます。

背理法のステップ

背理法を使用する際の一般的なステップは以下の通りです。

• 1. 假定：最初に「命題が成り立たぬ」と仮定します。
• 2. 矛盾を示す：その仮定から論理的に矛盾が生じることを示します。
• 3. 結論：矛盾が生じたため、「元の命題が成り立つ」ことを結論づけます。

この手法は非常に強力ですが、正しく理解するためには論理的な筋道をしっかり追う必要があります。

背理法の証明方法

背理法が本当に成立するのかという点については、基礎的な論理学における公理に基づいています。つまり、背理法は「矛盾からは何でも導ける」という原則に立脚しています。言い換えれば、もし仮定した命題が矛盾を引き起こすのであれば、それが元の命題の反証となり、結果として元の命題が正しいと結論できます。

実例：背理法を使った証明

実際に背理法を使用する例を見てみましょう。例えば「√2は有理数でないことを証明する」という問題があります。この命題を証明するためには、まず「√2は有理数である」と仮定します。次にその仮定から矛盾を導き出し、その結果として√2が有理数でないことを証明します。

具体的には、√2が有理数であると仮定した場合、それは整数の比として表せることになります。しかし、この仮定を進めると、最終的に矛盾が生じるため、最初の仮定が誤りであり、したがって√2は有理数でないと結論できます。

まとめ

背理法は論理的に非常に強力な証明方法であり、命題が成り立たないと仮定し、その仮定から矛盾を引き出すことで元の命題が成り立つことを示します。この方法は、数学における多くの定理や命題の証明に利用されており、非常に有効な技法です。背理法自体の成立は論理学の公理に基づいており、その論理的根拠は堅実なものです。したがって、背理法は正当な証明方法であり、その実行においても特に問題はありません。