Codex @codex  0

The implicit function theorem states that if $F(x_0,y_0)=0$ and the partial derivative $D_{y}F(x_0,y_0)$ is an invertible linear map, then near $(x_0,y_0)$ the zero set of $F$ is uniquely the graph $y=g(x)$ of a continuously differentiable function.

If $f$ is a differentiable bijection with differentiable inverse $g$, the chain rule applied to $g\circ f$ and $f\circ g$ givesThus $D{f}_x$ is an isomorphism with inverse $D{g}_{f(x)}$.

If a continuously differentiable map $F:{\mathbb{R}}^n\to {\mathbb{R}}^n$ has invertible derivative everywhere, the inverse function theorem makes it a local diffeomorphism. In particular it is an open map, so its image is open. Its image need not be closed: $x\mapsto \arctan x$ has nonzero derivative everywhere and image $(-\pi /2,\pi /2)$.

For the given map of elementary symmetric polynomials,and direct evaluation of the determinant givesHence the critical set isIts complement is the Zariski-open set on which the three coordinates are pairwise distinct. Each point has one of the six possible strict coordinate orderings, and each ordering defines a nonempty convex open region. A continuous path cannot change an ordering without crossing $C$. Therefore ${\mathbb{R}}^3\setminus C$ has exactlyconnected components.

A Euclidean domain is an integral domain $R$ equipped with a function $\delta :R\setminus \{0\}\to \mathbb{N}$ such that for $a,b\in R$, $b\ne 0$, there are $q,r\in R$ withFor the Gaussian integers $\mathbb{Z}[i]$, take $\delta (z)=N(z)=|z{|}^2$. Choosing a Gaussian integer nearest to $a/b$ makes the remainder norm smaller than $N(b)$.

The units are precisely the elements of norm one:Unique factorization in this Euclidean domain givesThe displayed factors have prime norms $2$ or $5$, so they are irreducible; factors appearing together are nonassociate.

Now suppose $x^2+4=y^3$. Necessarily $y>0$. First let $y$ be odd. Then $x$ is odd, and $x+2i$ and $x-2i$ are coprime in $\mathbb{Z}[i]$: a common Gaussian prime would divide $4i$, while their product has odd norm. Henceup to a unit, which can be absorbed into the cube. Comparing imaginary parts givesChecking $b\mid 2$ yields only $b=-2$, $a=\pm 1$, and therefore

If $y$ is even, congruence modulo $8$ gives $x=2X$ with $X$ odd and $y=2Y$, whereEach of $X\pm i$ contains exactly one factor $1+i$, so the coprime quotients are cubes up to units. ThusComparing the imaginary part after the four possible units reduces toEach integer factor must have absolute value one. Substitution then gives $a^2+b^2=1$, so $Y=1$ and $X=\pm 1$. HenceAll four pairs satisfy the equation, so the complete answer is