100
基本 例題58 背理法による証明
V5+V7 は無理数であることを証明せよ。ただし, /7 は無理数であることは
知られているものとする。
Ap.96 基本事項 2
有理数(無理数でない実数)
実数
無理数(有理数でない実数)
指針> 無理数である(=D有理数でない)ことを直接示すの
は困難。そこで, 証明しようとする事柄が成り立た
ないと仮定して, 矛盾を導き, その事柄が成り立つ
ことを証明する方法,すなわち 背理法 で証明する。
直接がだめなら間接で 背理法
「でない」,「少なくとも1つ」 の証明に有効
CHART 背理法
解答
5+/7 は実数であり,
無理数でないと仮定してい
るから,有理数である。
V5+/7 が無理数でないと仮定する。
このとき,V5 +/7 は有理数であるから, rを有理数として
V5+/7=rとおくと 15=r-7
5=r2-2/7ァ+7
2/7ァー+2
p2+2
|2乗して, /5 を消す。
dD (*)有理数の和·差 積 商
両辺を2乗して
ゆえに
は有理数である。
アキ0であるから
V7 -
2r
(検討」
V5 が無理数であることを仮
定すれば,7 =rー 5 の両
の
三
p2+2, 2r は有理数であるから, ① の右辺も有理数である(*)。
よって,①から、7 は有理数となり, V7 が無理数であること「辺を2乗して, 同様に証明で
に矛盾する。
したがって,V5+/7 は無理数である。
きる。
検討背理法による証明と対偶による証明の違い
命題カ→gについて, 背理法では 「かであってqでない」 (命題が成り立たない)として矛盾を
導くが,結論の「qでない」に対する矛盾でも, 仮定の 「かである」に対する矛盾でもどちらで
もよい。後者の場合,「g→」つまり対偶が真であることを示したことになる。
このように考えると, 背理法による証明と対偶による証明は似ているように感じられるが、本質
的には異なるものである。対偶による証明 は「g→」を示す, つまり, (証明を始める段階
で)導く結論がbとはっきりしている。これに対し, 背理法の場合,「かであってgでない」と
して矛盾が生じることを示す, つまり,(証明を始める段階では)どういった矛盾が生じるのか
ははっきりしていない。
