Hey bigos.

You might want to take an alternative approach and prove that sqrt(y) is irrational if y is not the the square of a rational number and similarly for sqrt(x).

Then you can use the fact that sum of rationals is rational and division of one rational with respect to another is also rational if the denominator is non-zero.