>>300 a^2=2とならないことは示せたんですが、a^2＞2,a^2＜2とした時の矛盾はどうやって示せばいいんでしょうか？