Solve the system $x^2+y^2+z^2=2$ and $x+y+z = 2+xyz$, where $x,y,z$ are real numbers.
My idea was to write $$a=-x-y-z$$ $$b=xy+yz+zx$$ $$c=-xyz$$ then $x,y,z$ are solution of $$x^3+ax^2+bx+c=0$$ where $a^2-2b=2$ and $-a=2-c$ so $$2x^3+2ax^2+(a^2-2)x+2a+4=0$$ but could not solve this third degree equation.
Any idea?
Brute force: let $=+/3$ and write the equation in $$ as $^3+()+()=0$. The discriminant $−4^3()−27^2()$ is non-negative only when $=−2$. That forces one of the $$,$$,$$ to be 0 and all solutions are of the form $(0,1,1)$ or re-arrangements.