Show that the polynomial $x^2+y^2-1$ is irreducible over $\mathbb{Q}[x,y]$ [duplicate]

Show that the polynomial $x^2+y^2-1$ is irreducible over $\mathbb{Q}[x,y]$.

Theorem : Let $A$ an integral domain and $I$ a proper ideal of $A$. If $f(x) \not \equiv a(x)b(x) \pmod I$ for any polynomials $a(x)$, $b(x)$ $\in A[x]$ of degree $\in [1, \deg(f))$, then $f(x)$ is irreducible in $A[x]$

I think I have to use this theorem, maybe in using the ideal $(y^2)$

The fact that $\mathbb{Q}[x,y]=\mathbb{Q}[x][y]$ and $\mathbb{\mathbb{Q}[y]}$ is a unique factorization domain could it help me here? Is anyone could help me at this point?

marked as duplicate by user26857 abstract-algebra StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Mar 10 '16 at 11:09

Hint: you're on the right track in considering the isomorphism $\mathbb{Q}[x, y] \cong (\mathbb{Q}[y])[x]$. Viewing $x^{2}+y^{2}-1$ as a polynomial in $x$ with coefficients in $\mathbb{Q}[y]$, observe that $y^{2}-1$ belongs to the ideal $\langle y-1\rangle \in \mathbb{Q}[y]$. Is this ideal prime? Does $y^{2}-1$ belong to $\langle (y-1)^{2} \rangle$?
As you observed, $\mathbf{Q}[x,y] = \mathbf{Q}[x][y]$ so viewing $x^2 + y^2 - 1$ as a polynomial with coefficients in $\mathbf{Q}[x]$, we can apply Eisenstein with, for example, $(x+1)$, which is a prime ideal in $\mathbf{Q}[x]$.