背理法とは、数学における証明方法の1つである。帰謬法とも呼ばれる。
概要
ある命題Aを証明したいが直接証明するのが難しい時に使われる手法。
手順としては、
となる。
つまり、「Aの否定を仮定し、そこから正しい論理のみで式変形などを施すと、ありえない結論に行きついてしまう。これは最初の仮定が間違っていたからに違いない。」という証明方法である。
排中律
この証明方法の土台となるのは、「命題Aと命題Aの否定のどちらかが必ず成立する」という排中律という法則である。例えば、ある実数については「有理数であるか有理数でないか(無理数であるか)」のどちらかが必ず成立し、また、ある複素数については「実数であるか実数でないか(虚数であるか)」「代数的数であるか代数的数でないか(超越数であるか)」のどちらかが必ず成立することになる。
排中律は通常の論理学(古典論理学)では正しいが、直観主義論理など論理体系によっては排中律は無条件では認められず、命題毎に「命題と命題の否定のどちらかが必ず成立する」ことの証明が必要になる場合もある。
主だった用途
この証明方法がよく使われるパターンとして、「ある数が無理数や超越数であることの証明」「ある条件を満たす数が無数に存在することの証明・存在しないことの証明」などが挙げられる。これは、それらの否定である「有理数である」「代数的数である」「有限個しかない」「存在する」などが数式で表しやすいのに対し、「無理数である」「超越数である」「無限個存在する」「存在しない」ことを数式で表すのが困難であるからである。
証明における使用例
√2が無理数であることの証明
おそらく、一番有名な背理法による証明である。
- √2が無理数であることの証明のため、仮に命題が成り立たないとし、「√2が有理数である」と仮定する。
- 有理数は必ず既約分数(これ以上約分できない分数)で表されるので、互いに素な正の整数a、bを用いて、√2=b/aと表せると仮定する。(√2は正の数なので、あらかじめa,bは正の整数としてよい。)
- √2=b/aの両辺を2乗して2=b2/a2、両辺にa2を掛けて2a2=b2とする。
- ここで、b2は「2×整数」で表されているので偶数となるので、bも偶数となる。(対偶の「bが奇数ならばb2は奇数」が成立するので、「b2が偶数ならばbは偶数」も成立する。)
- bが偶数となるので、ある正の整数cを用いてb=2cと表すことができる。2a2=b2に代入して2a2=4c2、つまり2c2=a2となる。
- ここでbと同様の議論によりaも偶数となり、aもbも偶数であることが示された。
- しかし、aもbも偶数であることは、「aとbが互いに素」という仮定に反する。
- この矛盾は、そもそも「√2=b/aと表すことができる有理数」と仮定したことで起きるので、「√2は有理数」という仮定は間違っている。よって√2は無理数である。
√2が無理数であることの証明:別証
素因数分解の一意性(任意の正の整数はただ1通りの素数の積に表すことができる)を利用する。
- 互いに素な正の整数a,bを用いて、√2=b/aと表せると仮定し、2a2=b2を導くところまでは同じ。
- aを素因数分解した際に2がm回掛けられているとし、bを素因数分解した際に2がn回掛けられているとする。
- 2a2=b2の左辺の2a2には2の因数が2m+1個含まれ、右辺のb2には2の因数が2n個含まれていることになる。
- 2m+1は明らかに奇数、2nは明らかに偶数なので、2a2=b2の両辺の2の因数の個数が異なることになるが、これは素因数分解の一意性に反する。
- よって「√2=b/aと表すことができる有理数」という仮定が間違っていることになり、√2は無理数となる。
log102が無理数であることの証明
- 互いに素な正の整数a,bを用いて、log102=b/aと表せると仮定する。(log102は正の数なので、あらかじめa,bは正の整数としてよい。)
- 対数の定義より10b/a=2となり、両辺をa乗して10b=2a、すなわち2b・5b=2aとなる。
- 2b・5b=2aの左辺に5の因数はb個含まれるが、右辺には5の因数は含まれず、素因数分解の一意性に反する。
- よって「log102=b/aと表すことができる有理数」という仮定が間違っていることになり、log102は無理数となる。
素数が無限に存在することの証明
- 素数が有限個と仮定し、最大の素数をMと仮定する。
- 全ての素数の積に1を加えた数P=2×3×5×7×…×M+1を考える。
- このとき、Pが素数ならば、明らかにP>Mなので、「Mが最大の素数」という仮定に反する。また、Pが合成数ならば、Pは明らかにM以下の素数を因数に持たない(式の形より、M以下のどの素数で割っても1余る)ので、PはMより大きい素数を因数に持つことになるが、これも「Mが最大の素数」という仮定に反する。
- いずれの場合も「Mが最大の素数」という仮定が成立しないので、この仮定が間違っていることになり、最大の素数は存在せず、素数は無数に存在する。
関連動画
関連コミュニティ
関連項目
- 2
- 0pt