＞最初の式変形からおかしい
z=y+1なの？

この場合
x,yは、有理数です。