Mi idea era buscar un polinomio de 2 variables que tuviera una factorización en los complejos, pero estuve buscando posibles ejemplos y el único que pensé que fuera posible fue el que escribí. Aunque ahora que veo el que me ha dicho

sí que cumple lo que quería.
-Es irreducible en

[x,y], pues no tiene ninguna raíz real.
-Es reducible en

[x,y], pues se puede factorizar como

, obteniendo dos soluciones en el campo de los complejos (

y

).
De nuevo muchas gracias. Sin lugar a dudas, hoy ha sido el día que más álgebra aprendí, así que gracias por ello.