Suppose that:

and that the square root of the sum of their squraes is rational, then there exist with such that:

Then:

Now consider any prime factor of and the divisibility of by this prime, and in consequence the divisibility of by the same prime.

This will show that if is rational it is an integer and so ia a square.

CB