(2)背理法とは、
√3が無理数でないすなわち有理数である
と仮定すると、矛盾が生じる。という証明の仕方です
次のように証明します。
√3が無理数でないすなわち
有理数であると仮定すると、
互いに素である有理数a、bを用いて
√3=a/bとおける。
両辺を二乗すると、
3=a²/b²
よって、a²=3b²・・・①
ゆえに、a²は3の倍数であるから、
(1)よりaは3の倍数である。
よって、a=3c(cは有理数)とおける。
これを①に代入すると、
(3c)²=3b²
よって、b²=3c²
ゆえに、b²が3の倍数であるので、
bは3の倍数である。
ここで、aとbは互いに素であるということに
矛盾が生じたので、命題は偽である。
よって、√3は無理数である。
ありがとうございます!