100
00000
基本例題 58 背理法による証明
√5 +√7 は無理数であることを証明せよ。 ただし, V7 は無理数であること
知られているものとする。
指針 無理数である(=有理数でない)ことを直接示すの
は困難。 そこで、証明しようとする事柄が成り立た
ないと仮定して,矛盾を導き、その事柄が成り立つ
ことを証明する方法,すなわち 背理法で証明する。
CHART 背理法
実数
解答
√5 +√7が無理数でないと仮定する。
このとき,55+√7は有理数であるから, rを有理数として
√√√5 +√7=r<$<¢ √5=r-√7
両辺を2乗して
ゆえに
5=r²-2√7r+7
2√7r=r²+2
²+2
√5=12+2
直接がだめなら間接で 背理法
「でない」 「少なくとも1つ」の証明に有効
......
r=0 であるから
①
2r
2 + 2,2rは有理数であるから、①の右辺も有理数である (*)。
よって、①から√7は有理数となり.7 が無理数であること
に矛盾する。
したがって、√5+√7 は無理数である。
p.96 基本事項
(有理数(無理数でない実数
〔無理数(有理数でない実数
<√5+√7 は実数であり、
無理数でないと仮定してい
るから.有理数である。
2乗して、√5 を消す。
(*) 有理数の和・差・積・商
は有理数である。
検討
√5 が無理数であることを仮
定すれば、17
5の両
辺を2乗して、同様に証明で
きる。
検討 背理法による証明と対偶による証明の違い
命題
qについて,背理法では「♪であってgでない」(命題が成り立たない)として矛盾を
導くが、結論の「q でない」に対する矛盾でも、仮定の「かである」に対する矛盾でもどちらで
もよい。後者の場合,「9 」つまり対偶が真であることを示したことになる。
このように考えると,背理法による証明と対側による証明は似ているように感じられるが、本質
的には異なるものである。対偶による証明は「4 か」を示す、つまり、(証明を始める段階
で)導く結論が力とはっきりしている。これに対し、背理法の場合、「pであってgでない」と
して矛盾が生じることを示す、つまり、(証明を始める段階では)どういった矛盾が生じるのか
ははっきりしていない。
指
Wilde
I
