.
I will denote z =
, for brevity.
We are given that z is irrational, x and y are rational and
x + y*z = 0. (1)
If y =/= 0, then from (1) z =
;
is rational; hence, z is rational. Contradiction.
If x =/= 0, then from (1)
=
;
is rational; hence,
is rational; then z is rational Contradiction.
These contradictions prove the statement.