√2 = a/b
a,bの最大公約数をgとして、a=a'g、b=b'gとする。
明らかに√2 = a'/b' が成り立つ。

ここで、√2 = a'/b'から矛盾を導ければ、a/bでもOKつーのは分からん？