>「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。

無理数と、有理数の、二通りのx,y,zが存在するのは、矛盾する。と、いうことです。

>式も間違ってる。x:y:dじゃないだろ。

すみません。dは、zの間違いです。