>967
x,y,zが有理数の場合の証明ができるのならば,無理数の場合を問題にする必要はそもそもないのですから,

その通りです。
どうしても、x,yが無理数の場合に、こだわる人が、いるので、書き加えました。