Cuando dios creó el mundo, ${\mathbb R}^3$ las tres variables $x$, $y$, $z$ se utiliza para tratar los puntos de $p\in{\mathbb R}^3$ eran verdaderamente independiente.
Ahora una ecuación
$$x^2+y^2+(z-c)^2=a^2\tag{1}$$ is given, whereby for simplicity we assume $a>0$. Esta ecuación no define ninguna función en sí, sino un conjunto de soluciones de
$$S:=\bigl\{(x,y,z)\,\bigm|\,x^2+y^2+(z-c)^2=a^2\bigr\}\ .$$
En el caso de que este conjunto es un $2$-esfera de radio $a$ centro $(0,0,c)$.
Sin embargo, una ecuación como $(1)$ lo hace de forma implícita definir un seleccionados adecuadamente, de las tres variables como las funciones de los otros dos, aunque sólo a nivel local. El teorema de la función implícita garantiza este (en "los supuestos técnicos"), aun si no son capaces de resolver $(1)$ explícitamente el elegido variable, decir $z$. Para ser precisos:
Si $f\in C^1$, e $\nabla f(x_0,y_0,z_0)\ne(0,0,0)$ en algún punto de $(x_0,y_0,z_0)\in S$, decir $f_z(x_0,y_0,z_0)\ne0$, entonces no es una caja rectangular (una "ventana local")$$W=[x_0-h,x_0+h]\times[y_0-h',y_0+h']\times[z_0-h'',z_0+h'']$$ with center $(x_0,y_0,z_0)$, and a $C^1$-function $$\phi:\>[x_0-h,x_0+h]\times[y_0-h',y_0+h']\to[z_0-h'',z_0+h'']$$ tal que
$$S\cap W=\bigl\{(x,y,z)\,\bigm|\,|x-x_0|\leq h,\ |y-y_0|\leq h', \ z=\phi(x,y)\bigr\}\ .$$
Esto significa que dentro de la caja de $W$ la ecuación dada $f(x,y,z)=0$ define $z$ "implícitamente" como una función de $z=\phi(x,y)$.