>383
あるyで式が成立しない(xが無理数)ということだけしか使っていないからです

どうしてだめなのでしょうか?十分だと思います。