>yが有理数の場合と無理数の場合で答えの式が全く同じなので証明は間違い

よく意味がわかりません。