√2=m/n(m,nは互いに素な整数)とおく。
2n^2=m^2でmは偶数だから整数kを用いてm=2kとおける
↑これがわからん
2n^2=m^2→mは偶数　は自明じゃなくない？もっと言うと√2が有理数と仮定してるからm=√2kではだめなのか？