>xを有理数のとき、zが無理数となる証明はされてませんね

827と863で、証明しています。