そもそも√2が無理数である証明に背理法を使うのが筋が悪いけどな。
任意の有理数の二乗は平方数分の平方数の既約分数で表される。
2/1は既約分数だが平方数分の平方数ではないので有理数の二乗ではない。