>>747
同じ証明で√2が代数的無理数でないことも示せるんじゃね?