おそらく切断のはなしをしてるのだから√を使うべきでないだろう。
aが存在したと仮定して、aが有理数ならa^2=2とならないことを証明。
あとはa^2<2のときとa^2>2のときにわけて矛盾を導く。