>最初はx,y,zは実数であると仮定しておいて、途中からxだけ有理数
とするようなデタラメ極まる証明に何の価値がある。

どうして駄目でしょうか？
実数と仮定することは、有理数、無理数どちらも可能性があるということです。