例題
2
'a+b/2 =0 を満たすならば, b=0 であることを証明せよ。
2が無理数であることを用いて,有理数a, bが
考え方 命題「a+b/2 =0→b=0」が成り立たない, すなわち, 偽である
15
とは,「a+bV2 =0 を満たすが, b=0 を満たさない」例が存在する
ことである。
証明 12=- となる。
a+by2 =0, bキ0 と仮定すると,
ニー
6
a, bは有理数であるから -も有理数となるが, これは、/2
6
が無理数であることに矛盾する。
よって, b=0 である。
細定」 例題2において, b=0 を a+b/2=0 に代入することにより,
a=0 が導かれる。
x, yを有理数とする。例題2の結果とその補足を用いて,
25
(3x+y-1)+(x-2y-5)、/2=0 のとき, x, yの値を求めよ。
IDp.149回, p.151 3.
集合と命題
ク