>764
証明できていないということじゃありませんか。

x,yが有理数の場合は、成立しないことが、分かれば十分だと思います。