2m^2=n^2

nは2の倍数でなくてはならないから、n=2kとおくと、

m^2=2k^2

mは2の倍数でなくてはならないが、nとmが互いに素である事に矛盾