基礎例題57
基礎例題56 O00
2 は無理数であることを, 背理法を用いて証明せよ。ただし, 整数nにつ
いて, n°が偶数ならばnは偶数であることを用いてよい。 -6 ,J
CHART
GUIDE)
証明の問題
Saupo
背理法で,前ページの例題56 と同様に /2 =r (rは有理数)とおいてもうまくいか
一約分できる数を除外するため。
直接も対偶利用もだめなら 背理法
ない。そこで,ここでは
m
V2 =
(m, n は1以外の正の公約数をもたない自然数) とおく。
n
この等式の両辺を2乗して, 矛盾を導く。
ー2>0であるから, 自然数とした。