>762
「同じ」で終わっていますが、それが起こらないことを証明せねばなりません。

x,yが無理数の場合は、成立するかどうかは、不明です。