Suppose that the polynomial x^2+y^2-1 is not irreducible.
It means that there exists two fractions such that :

We found that q divide t and q divide s, but s and t are supposed to be prime each other. It is a contradiction.
The polynomial x^2+y^2-1 is then irreducible in q[x,y]