Die Relationsgleichung lässt sich (wenn weder x+1 noch y+1 Null sind) umstellen zu
(x^2+2)/(x+1) = (y^2+2)/(y+1)
Wenn auch noch yRz gilt, kann diese Gleichung entsprechend als
(y^2+2)/(y+1)=(z^2+2)/(z+1) geschrieben werden.
Aus (x^2+2)/(x+1) = (y^2+2)/(y+1) und (y^2+2)/(y+1)=(z^2+2)/(z+1) folgt selbstverständlich
(x^2+2)/(x+1)=(z^2+2)/(z+1)
Der mögliche Fall x=-1 führt (x^2+2)*(y+1) = (y^2+2)*(x+1) sofort auf (x^2+2)*(y+1)=0 und damit auch auf y=-1, was zwangsläufig auch z=-1 induziert.