>440
馬鹿だなあ、じゃあy=1, x=√2でもいいよ
いずれにせよ式は成り立たない

y=1とすると、x=√2以外の無理数となります。