(証明)対偶
「a+b, a-bがともに有理数ならば,a, bの
少なくとも一方は有理数である」
を証明する。
a+b, a-bは有理数であるから,p, qを有理数と
して
p=a+b, q=a-b
とおくことができる。これをa, bについて解くと
p+q
p-9
a=
2
三
2
p, qはともに有理数であるから,a, bもともに有
理数である。
「a, bがともに有理数ならば,a, bの少なくとも
一方は有理数である」は真であるから,命題(A) は
真である。
したがって,与えられた命題は真である。