>>525
√2が無理数でないとします
√2=m/nとかけます
2n^2=m^2となります
素因数分解を考えれば、左右で2の個数が異なってしまうので、これを満たすm,nは存在しません
よって√2は無理数です