Ejemplo. Se da el nivel cero de una función diferenciable $F:\mathbb{R}^{4}\rightarrow \mathbb{R}$ y un punto P perteneciente a este nivel. Diga en cada caso si en los alrededores del punto p es posible ver la gráfica de F como la gráfica de una función diferenciable del tipo

$$a)~u=u(x,y,z)$$ $$b)~z=z(x,y,u)$$$$c)~y=y(x,u,z)$$ $$d)~x=x(y,z,u)$$ para $x^{2}+y^{2}+z^{2}+u^{u}=4$ en $p=(1,1,1,1)$

Solución. En este caso para todos los incisos podemos definir $f(x,y,z,u)=x^{2}+y^{2}+z^{2}+u^{u}-4=0$ y para el inciso a, se tiene
$$\frac{\partial F}{\partial u}=2u\left.\right|_{(1,1,1,1)}=2\neq0$$ por lo tanto es posible ver a la gráfica de F como una función diferenciable del tipo $u=u(x,y,z)$ y sus derivadas parciales seran:

$$\frac{\partial u}{\partial x}(1,1,1,1)=-\frac{\frac{\partial F}{\partial x}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial u}\left.\right|{(1,1,1,1)}}=-\frac{2x}{2u}=-1$$
$$\frac{\partial u}{\partial y}(1,1,1,1)=-\frac{\frac{\partial F}{\partial y}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial u}\left.\right|{(1,1,1,1)}}=-\frac{2y}{2u}=-1$$
$$\frac{\partial u}{\partial z}(1,1,1,1)=-\frac{\frac{\partial F}{\partial z}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial u}\left.\right|{(1,1,1,1)}}=-\frac{2z}{2u}=-1$$

para el inciso b, se tiene

$$\frac{\partial F}{\partial z}=2z\left.\right|{(1,1,1,1)}=2\neq0$$ por lo tanto es posible ver a la gráfica de F como una función diferenciable del tipo $z=z(x,y,u)$ y sus derivadas parciales seran: $$\frac{\partial z}{\partial x}(1,1,1,1)=-\frac{\frac{\partial F}{\partial x}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial z}\left.\right|{(1,1,1,1)}}=-\frac{2x}{2z}=-1$$ $$\frac{\partial z}{\partial y}(1,1,1,1)=-\frac{\frac{\partial F}{\partial y}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial z}\left.\right|{(1,1,1,1)}}=-\frac{2y}{2z}=-1$$ $$\frac{\partial z}{\partial z}(1,1,1,1)=-\frac{\frac{\partial F}{\partial z}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial z}\left.\right|_{(1,1,1,1)}}=-\frac{2u}{2z}=-1$$

para el inciso c, se tiene

$$\frac{\partial F}{\partial y}=2y\left.\right|{(1,1,1,1)}=2\neq0$$ por lo tanto es posible ver a la gráfica de F como una función diferenciable del tipo $y=y(x,z,u)$ y sus derivadas parciales seran: $$\frac{\partial y}{\partial x}(1,1,1,1)=-\frac{\frac{\partial F}{\partial x}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial y}\left.\right|{(1,1,1,1)}}=-\frac{2x}{2y}=-1$$ $$\frac{\partial y}{\partial z}(1,1,1,1)=-\frac{\frac{\partial F}{\partial z}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial y}\left.\right|{(1,1,1,1)}}=-\frac{2z}{2y}=-1$$ $$\frac{\partial y}{\partial u}(1,1,1,1)=-\frac{\frac{\partial F}{\partial u}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial y}\left.\right|{(1,1,1,1)}}=-\frac{2u}{2y}=-1$$ para el inciso d, se tiene $$\frac{\partial F}{\partial x}=2x\left.\right|{(1,1,1,1)}=2\neq0$$ por lo tanto es posible ver a la gráfica de F como una función diferenciable del tipo $x=x(y,z,u)$ y sus derivadas parciales seran:
$$\frac{\partial x}{\partial y}(1,1,1,1)=-\frac{\frac{\partial F}{\partial y}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial x}\left.\right|{(1,1,1,1)}}=-\frac{2x}{2y}=-1$$
$$\frac{\partial x}{\partial z}(1,1,1,1)=-\frac{\frac{\partial F}{\partial z}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial x}\left.\right|{(1,1,1,1)}}=-\frac{2z}{2y}=-1$$
$$\frac{\partial x}{\partial u}(1,1,1,1)=-\frac{\frac{\partial F}{\partial u}\left.\right|{(1,1,1,1)}}{\frac{\partial F}{\partial x}\left.\right|{(1,1,1,1)}}=-\frac{2u}{2y}=-1$$

Teorema de la Función Implicita (version (4))

Consideremos ahora el sistema
$$au+bv-k_{1}x=0$$ $$cu+dv-k_{2}y=0$$
con $a,b,c,d,k_{1},k_{2}$ constantes. Nos preguntamos cuando podemos resolver el sistema para $u$ y $v$ en términos de $x$ y $y$.
Si escribimos el sistema como
$$au+bv=k_{1}x$$ $$cu+dv=k_{2}y$$
y sabemos que este sistema tiene solución si $det \left|\begin{array}{cc} a&b \\c&d\end{array}\right|\neq0$ en tal caso escribimos
$u=\displaystyle \frac{1}{det \left|\begin{array}{cc} a&b \\c&d\end{array}\right|}(k_{1}dx-k_{2}by)$, $~~~$ $v=\displaystyle \frac{1}{det \left|\begin{array}{cc} a&b \\c&d\end{array}\right|}(k_{2}ay-k_{1}cx)$.
Esta solución no cambiaria si consideramos
$$au+bv=f_{1}(x,y)$$ $$cu+dy=f_{2}(x,y)$$

donde $f_{1}$ y $f_{2}$ son funciones dadas de $x$ y $y$. La posibilidad de despejar las variables $u$ y $v$ en términos de $x$ y $y$ recae sobre los coeficientes de estas variables en las ecuaciones dadas.

Ahora si consideramos ecuaciones no lineales en $u$ y $v$ escribimos el sistema como
$$g_{1}(u,v)=f_{1}(x,y)$$ $$g_{2}(u,v)=f_{2}(x,y)$$

nos preguntamos cuando del sistema podemos despejar a $u$y $v$ en términos de $x$ y $y$. Mas generalmente, consideramos el problema siguiente, dadas las funciones $F$ y $G$ de las variables $u,v,x,y$ nos preguntamos cuando de las expresiones

$$F(x,y,u,v)=0$$ $$G(x,y,u,v)=0$$

podemos despejar a $u$ y $v$ en términos de $x$ y $y$ en caso de
ser posible diremos que las funciones $u=\varphi_{1}(x,y)$ y
$v=\varphi_{2}(x,y)$ son funciones implícitas dadas. Se espera que
$\exists’$n funciones $u=\varphi_{1}(x,y)$ y
$v=\varphi_{2}(x,y)$ en
$$F(x,y,\varphi_{1}(x,y),\varphi_{2}(x,y)$$ $$G(x,y,\varphi_{1}(x,y),\varphi_{2}(x,y)$$
con $(x,y)$ en alguna vecindad $V$. Suponiendo que existen $\varphi_{1}$ y $\varphi_{2}$ veamos sus derivadas

$$\displaystyle \frac{\partial F}{\partial x}\displaystyle \frac{\partial x}{\partial
x}+\displaystyle \frac{\partial F}{\partial y}\displaystyle \frac{\partial y}{\partial x}+\displaystyle \frac{\partial F}{\partial u}\displaystyle \frac{\partial u}{\partial
x}+\displaystyle \frac{\partial F}{\partial v}\displaystyle \frac{\partial v}{\partial x}=0 \Rightarrow \displaystyle \frac{\partial F}{\partial u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle \frac{\partial F}{\partial v}\displaystyle \frac{\partial v}{\partial x}=-\displaystyle \frac{\partial F}{\partial x}$$

$$\displaystyle \frac{\partial G}{\partial x}\displaystyle \frac{\partial x}{\partial x}+\displaystyle \frac{\partial G}{\partial y}\displaystyle \frac{\partial y}{\partial x}+\displaystyle \frac{\partial G}{\partial u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle \frac{\partial G}{\partial v}\displaystyle \frac{\partial v}{\partial x}=0 ~~ \Rightarrow ~~ \displaystyle \frac{\partial G}{\partial u}\displaystyle \frac{\partial u}{\partial x}+\displaystyle \frac{\partial G}{\partial v}\displaystyle \frac{\partial v}{\partial x}=-\displaystyle \frac{\partial G}{\partial x}$$

Lo anterior se puede ver como un sistema de 2 ecuaciones con 2 incógnitas $\displaystyle \frac{\partial u}{\partial x}$ y $\displaystyle \frac{\partial v}{\partial x}$. Aquí se ve que para que el sistema tenga solución

$det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|\neq0$ en $(P)$ (el $det$ Jacobiano) y según la regla de Cramer

$\displaystyle \frac{\partial u}{\partial x}=-\frac{\det
\left|\begin{array}{cc} \displaystyle -\frac{\partial F}{\partial
x}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle -\frac{\partial G}{\partial x}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}{\det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}$, $~~ $ $\displaystyle \frac{\partial v}{\partial x}=-\frac{\det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle -\frac{\partial F}{\partial x} \\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle -\frac{\partial G}{\partial x}\end{array}\right|}{det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|}$ (con los dos $det$ Jacobianos).

Análogamente si derivamos con respecto a $y$ obtenemos
$$\displaystyle \frac{\partial F}{\partial
u}\displaystyle \frac{\partial u}{\partial y}+\displaystyle
\frac{\partial F}{\partial v}\displaystyle \frac{\partial
v}{\partial y}=-\displaystyle \frac{\partial F}{\partial y}$$ ,$$\displaystyle \frac{\partial G}{\partial u}\displaystyle \frac{\partial u}{\partial y}+\displaystyle
\frac{\partial G}{\partial v}\displaystyle \frac{\partial v}{\partial y}=-\displaystyle \frac{\partial G}{\partial y}$$
de donde

$\displaystyle \frac{\partial u}{\partial y}=-\frac{\det
\left|\begin{array}{cc} \displaystyle -\frac{\partial F}{\partial
y}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle -\frac{\partial G}{\partial y}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}{det
\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}$,$~~$ $\displaystyle \frac{\partial v}{\partial y}=-\frac{\det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle -\frac{\partial F}{\partial y} \\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle -\frac{\partial G}{\partial y}\end{array}\right|}{det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|}$ (con los dos $det$ Jacobianos).

Al determinante $det \left|\begin{array}{cc} \displaystyle
\frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial G}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|$ lo llamamos Jacobiano y lo denotamos por $\displaystyle \frac{\partial (F,G)}{\partial (u,v)}$.

Teorema de la Función Implícita (Versión 4)

Teorema 1. Considere las funciones $z_{1}=F(x,y,u,v)$ y $z_{2}=G(x,y,u,v)$. Sea $P=(x,y,u,v) \in \mathbb{R}^{4}$ un punto tal que $F(P)=G(P)=0$.
Suponga que en una bola $\textit{B} \in \mathbb{R}^{4}$ de centro $P$ las funciones $F$ y $G$ tienen (sus cuatro) derivadas parciales continuas. Si el Jacobiano $\displaystyle \frac{\partial (F,G)}{\partial (u,v)}(P)\neq0$ entonces las expresiones
$F(x,y,u,v)=0$ y $G(x,y,u,v)=0$ definen funciones (implícitas) $u=\varphi_{1}(x,y)$ y $v=\varphi_{2}(x,y)$ definidas en una vecindad $v$ de $(x,y)$ las cuales tienen derivadas parciales continuas en $v$ que se pueden calcular como se menciona arriba.

Demostración. Dado que $$det \left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v} \\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial v}\end{array}\right|\neq 0$$ entonces $\displaystyle{\frac{\partial F}{\partial u}(p)}$, $\displaystyle{\frac{\partial F}{\partial v}(p)}$, $\displaystyle{\frac{\partial G}{\partial u}(p)}$, $\displaystyle{\frac{\partial G}{\partial v}(p)}$ no son cero al mismo tiempo, podemos suponer sin pérdida de generalidad que $\displaystyle{\frac{\partial G}{\partial v}(p)}\neq0$. Entonces la función $z_{1}=G(x,y,u,v)$ satisface las hipótesis del T.F.I y en una bola abierta con centro p, v se puede escribir como $v=\psi(x,y,u)$. Hacemos ahora $$H(x,y,u)=F(x,y,u,\psi(x,y,u))$$ y tenemos que $$\frac{\partial H}{\partial u}=\frac{\partial F}{\partial x}\frac{\partial x}{\partial u}+\frac{\partial F}{\partial y}\frac{\partial y}{\partial u}+\frac{\partial F}{\partial u}\frac{\partial u}{\partial u}+\frac{\partial F}{\partial v}\frac{\partial \psi}{\partial u}=\frac{\partial F}{\partial u}+\frac{\partial F}{\partial v}\frac{\partial \psi}{\partial u}$$ por otro lado
$$\frac{\partial \psi}{\partial u}=-\frac{\frac{\partial G}{\partial u}}{\frac{\partial G}{\partial v}}$$ por lo tanto $$\frac{\partial H}{\partial u}=\frac{\partial F}{\partial u}+\frac{\partial F}{\partial v}\frac{\partial \psi}{\partial u}=\frac{\partial F}{\partial u}+\frac{\partial F}{\partial v}\left(-\frac{\frac{\partial G}{\partial u}}{\frac{\partial G}{\partial v}}\right)=\frac{\frac{\partial F}{\partial u}\frac{\partial G}{\partial v}-\frac{\partial F}{\partial v}\frac{\partial G}{\partial u}}{\frac{\partial G}{\partial v}}\neq0$$por lo tanto para $H(x,y,u)=0$ tenemos que existe una función $u=\varphi_{1}(x,y)$ y por lo tanto $v=\psi(x,y,u)=\psi(x,y,\varphi_{1}(x,y,u))=\varphi_{2}(x,y)$ y por tanto $u,v $ se pueden expresar en términos de $x,y$ en una vecindad de $p$ $\square$

Ejemplo. Analizar la solubilidad del sistema
$$e^{u}+e^{v}=x+ye$$ $$ue^{u}+ve^{v}=xye$$

Solución. En este caso definimos
$$F(x,y,u,v)=e^{u}+e^{v}-x-ye=0$$ $$G(x,y,u,v)=ue^{u}+ve^{v}-xye=0$$
por lo que el sistema tendrá solución si $\displaystyle{\det\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|}\neq 0$
En este caso
$$\det\left|\begin{array}{cc} \displaystyle \frac{\partial F}{\partial
u}&\displaystyle \frac{\partial F}{\partial v}
\\ \displaystyle \frac{\partial F}{\partial u}&\displaystyle \frac{\partial G}{\partial
v}\end{array}\right|=\det\left|\begin{array}{cc} \displaystyle e^{u}&\displaystyle e^{v}\\ ue^{u}+e^{e^{u}}&ve^{v}+e^{v}\end{array}\right|=e^{u}\left(ve^{v}+e^{v}\right)-e^{v}\left(ue^{u}+e^{u}\right)=ve^{u+v}-ue^{v+u}\neq 0$$
por lo tanto u y v se pueden ver en términos de x,y $\therefore$ se pueden calcular sus parciales en $u=0,~v=1,~x=1, ~y=1$ que es este caso dan

$$\displaystyle \frac{\partial u}{\partial x}=-\frac{\det
\left|\begin{matrix}-1&-ye\\e^{v}&ve^{v}+e^{v}\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-(ve^{v}+e^{v})+e^{v}ye}{ve^{u+v}-ue^{v+u}}\left.\right|{(1,1,1,1)}=\frac{2e-e^{2}}{e}=2-e$$ $$\displaystyle \frac{\partial v}{\partial x}=-\frac{\det \left|\begin{matrix}e^{u}&ue^{u}+e^{u}\\-1&-ye\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-ye^{u}e+ue^{u}+e^{u}}{ve^{u+v}-ue^{v+u}}\left.\right|{(1,1,1,1)}=\frac{e-1}{e}=1-e^{-1}$$ $$\displaystyle \frac{\partial u}{\partial y}=-\frac{\det
\left|\begin{matrix}-e&-xe\\e^{v}&ve^{v}+e^{v}\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-e(ve^{v}+e^{v})+e^{v}xe}{ve^{u+v}-ue^{v+u}}\left.\right|{(1,1,1,1)}=\frac{e^{2}+e^{2}-e^{2}}{e}=e$$ $$\displaystyle \frac{\partial v}{\partial y}=-\frac{\det \left|\begin{matrix}e^{u}&ue^{u}+e^{u}\\-e&-xe\end{matrix}\right|}{ve^{u+v}-ue^{v+u}}=-\frac{-e^{u}xe+e(ue^{u}+e^{u})}{ve^{u+v}-ue^{v+u}}\left.\right|{(1,1,1,1)}=\frac{e-e}{e}=0$$

Teorema de la Función Implicita (version (1))

Teorema 1. Considere la función $y=f(x)$. Sea $(x_{0},y_{0}) \in
\mathbb{R}^{2}$ un punto tal que $F(x_{0},y_{0})=0$. Suponga que la función F tiene derivadas parciales en alguna bola con centro $(x_{0},y_{0})$ y que $\displaystyle \frac{\partial F}{\partial y}(x_{0},y_{0})\neq 0$. Entonces $F(x,y)=0$ se puede resolver para $y$ en términos de $x$ y definir así una función $y=f(x)$ con dominio en una vecindad de $(x_{0},y_{0})$, tal que $y_{0}=f(x_{0})$, lo cual tiene derivadas continuas en $\mathcal{V}$ que pueden calcularse como $$y’=f'(x)=-\displaystyle \frac{\displaystyle \frac{\partial F}{\partial x}(x,y)}{\displaystyle \frac{\partial F}{\partial y}(x,y)}$, $x \in \mathcal{V}$$.

Vamos ahora a probar que f es continua en $(x_{0}-h,x_{0}+h)$ haciendo ver primero que es continua en$x_{0}$ y despues mostrando que es continua en todo $x\in (x_{0}-h,x_{0}+h)$

Demostración. Sea $0<\epsilon<k$. Si se repite el proceso para determinar la funcion f, pero ahora restringidos a un cuadrado más pequeño T, centrado en $(x_{0},y_{0})$, descrito por $$T={(x,y)\in\mathbb{R}^{2}~|~|x-x_{0}<\epsilon,|y-y_{0}|<\epsilon|}$$obtenemos la misma función pero con dominio restringido a un intervalo $(x_{0}-\delta,x_{0}+\delta)$ con $\delta0$ tal que para todo x, si $|x-x_{0}|<\delta$ entonces $|f(x)-f(x_{0})|<\epsilon$. Por tanto, f es continua en $x_{0}$.\Para probar que f es continua en x $\forall~x\in (x_{0}-h,x_{0}+h)$ tómese $x_{1}$ en $(x_{0}-h,x_{0}+h)$ con $x_{1}\neq x_{0}$ y un $\epsilon>0$ lo suficientemente pequeño para garantizar que el cuadrado $$U=\left\{(x,y)\in\mathbb{R}^{2}~|~|x-x_{1}<\epsilon,|y-y_{1}|<\epsilon|\right\}$$ centrado en $(x_{1},y_{1})$ y donde $y_{1}=f(x_{1})$ este totalmente contenido en el cuadrado original S, y ademas para todo x tal que $|x-x_{1}<\epsilon$, $x\in(x_{0}-h,x_{0}+h)$. Así, repitiendo el proceso para determinar f, ahora restringiendonos a las x que cumplen $|x-x_{1}<\epsilon$, encontramos que existe una $0<\delta_{1}<\epsilon$ tal que, para todo x, si $|x-x_{1}<\delta_{1}$ entonces $|f(x)-f(x_{1})<\epsilon$. lo cual quiere decir que f es continua en $x_{1}$. Por consiguiente, f es continua en $(x_{0}-h,x_{0}+h)$

Ahora probaremos que $y’$ es continua en $I=(x_{0}-h,x_{0}+h)$ con derivada
$$y’=-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial y}}$$

Demostración. Como F tiene parciales continuas en $x_{0}$ entonces F es diferenciable en $x_{0}$ por lo tanto
$$F((x_{0},y_{0})+(h_{1},h_{2}))=F(x_{0},y_{0})+\frac{\partial F}{\partial x}(x_{0},y_{0})h_{1}+\frac{\partial F}{\partial y}(x_{0},y_{0})h_{2}+r(h_{1},h_{2})$$donde
$$\lim_{(h_{1},h_{2})\rightarrow(0,0)}\frac{r(h_{1},h_{2})}{|(h_{1},h_{2})|}=0$$
tomando $x_{0}+h_{1}\in I$ y haciendo $y_{0}+h_{2}=f(x_{0}+h_{1})$ se tiene
$$F((x_{0},y_{0})+(h_{1},h_{2}))=F(x_{0}+h_{1},f(x_{0}+h_{2}))=0$$
también
$$F(x_{0},y_{0})=0$$por lo tanto
$$F(x_{0}+h_{1},f(x_{0}+h_{2}))-F(x_{0},y_{0})=0$$esto quiere decir
$$\frac{\partial F}{\partial x}(x_{0},y_{0})h_{1}+\frac{\partial F}{\partial y}(x_{0},y_{0})h_{2}+r(h_{1},h_{2})=0$$
como
$$r(h_{1},h_{2})=0parah_{1},h_{2}$$ cercanas a 0
$$\frac{\partial F}{\partial x}(x_{0},y_{0})h_{1}+\frac{\partial F}{\partial y}(x_{0},y_{0})h_{2}=0$$
por lo tanto
$$\frac{h_{2}}{h_{1}}=-\frac{\frac{\partial F}{\partial x}(x_{0},y_{0})}{\frac{\partial F}{\partial y}(x_{0},y_{0})}$$
pero $h_{2}=\triangle y$ y $h_{1}=\triangle x$ por lo tanto
$$\frac{\triangle y}{\triangle x}=-\frac{\frac{\partial F}{\partial x}(x_{0},y_{0})}{\frac{\partial F}{\partial y}(x_{0},y_{0})}$$
haciendo $\triangle y~\triangle x~\rightarrow~0$ se tiene
$$y'(x_{0})=\frac{dy}{dx}=-\frac{\frac{\partial F}{\partial x}(x_{0},y_{0})}{\frac{\partial F}{\partial y}(x_{0},y_{0})}$$
este mismo razonamiento es valido para $x\in I$. $\quad$

Teorema de la Función Implícita ( Versión (2))

Considere la función $F(x,y,z)$. Sea $(x_{0},y_{0},z_{0}) \in \mathbb{R}^{3}$ un punto tal que $F(x_{0},y_{0},z_{0})=0$. Suponga que la función F tiene derivadas parciales $\displaystyle{\frac{\partial F}{\partial x},~\frac{\partial F}{\partial y},~\frac{\partial F}{\partial z}}$ continuas en alguna bola con centro $(x_{0},y_{0},z_{0})$ y que $\displaystyle \frac{\partial F}{\partial z}(x_{0},y_{0},z_{0})\neq 0$.
Entonces $F(x,y,z)=0$ se puede resolver para $z$ en términos de $x,y$ y definir así una función $z=f(x,y)$ con dominio en una vecindad de $(x_{0},y_{0},z_{0})$, tal que $z_{0}=f(x_{0},y_{0})$, lo cual tiene derivadas continuas en $\mathcal{V}$ que pueden calcularse como $$\frac{d z}{dx}(x,y)=-\displaystyle \frac{\displaystyle \frac{\partial F}{\partial x}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}~~~\frac{d z}{dy}(x,y)=-\displaystyle \frac{\displaystyle \frac{\partial F}{\partial y}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}$$
$\textbf{Importante:}$ Este es un resultado que garantiza la existencia de una función $z=f(x,y)$ definida implícitamente por $F(x,y,z)=0$. Esto es, puede resolverse para $z$ en términos de $x,y$, pero no nos dice como hacer el despeje.

Ejemplo. Sea $f(x,y,z)=x+y+z-ze^{z}$ entonces $\displaystyle{\frac{\partial F}{\partial z}=1-e^{z}(z+1)}$ si el punto $P(x_{0},y_{0},z_{0}) \in \mathbb{R}^{3}$ es tal que $x_{0}+y_{0}+z_{0}e^{z_{0}}=0$ y $z\neq0$ y como $\displaystyle \frac{\partial F}{\partial z}\neq 0$. El $\textbf{T.F.Im.}$ sugiere que podamos despejar $z$ en términos de $x$ y $y$ y establecer así una función $z=f(x,y)$ con $z_{0}=f(x_{0},y_{0})$ de modo que su gráfica en los alrededores de $P$ coincide con $F(x,y,z)=0$. Las parciales de la función $f$ son

$\displaystyle \frac{\partial F}{\partial x}= \displaystyle \frac{\displaystyle \frac{-\partial F}{\partial x}}{\displaystyle \frac{\partial F}{\partial z
}}=\displaystyle \frac{-1}{1-e^{z}(z+1)}$,$~~~~$ $\displaystyle
\frac{\partial F}{\partial y}= \displaystyle \frac{\displaystyle
\frac{-\partial F}{\partial y}}{\displaystyle \frac{\partial
F}{\partial z }}=\displaystyle \frac{-1}{1-e^{z}(z+1)}$.

Ejercicio. Si $$\frac{d z}{dx}(x,y)=-\displaystyle \frac{\displaystyle \frac{\partial F}{\partial x}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}$$ calcular $$\frac{\partial^{2}F}{\partial x^{2}}$$

Solución. tenemos que
$$\frac{\partial^{2}F}{\partial x^{2}}=\frac{\partial}{\partial x}\left(-\displaystyle
\frac{\displaystyle \frac{\partial F}{\partial x}(x,y)}{\displaystyle \frac{\partial F}{\partial z}(x,y)}\right)=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial x^{2}} \frac{dx}{d x}+ \frac{\partial^{2} F}{\partial y\partial x} \frac{dy}{dx}+ \frac{\partial^{2} F}{\partial z\partial x} \frac{dz}{dx}\right]-\left( \frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}\frac{dx}{d x}+ \frac{\partial^{2} F}{\partial y\partial z} \frac{dy}{dx}+ \frac{\partial^{2} F}{\partial z^{2}} \frac{dz}{dx}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial x^{2}}+ \frac{\partial^{2} F}{\partial z\partial x} \frac{dz}{dx}\right]-\left( \frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}+\frac{\partial^{2} F}{\partial z^{2}} \frac{dz}{dx}\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)\left[ \frac{\partial^{2} F}{\partial x^{2}}+ \frac{\partial^{2} F}{\partial z\partial x} \left(-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial z}}\right)\right]-\left( \frac{\partial F}{\partial x}\right)\left[ \frac{\partial^{2} F}{\partial x \partial z}+\frac{\partial^{2} F}{\partial z^{2}}\left(-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial z}}\right)\right]}{\left(\frac{\partial F}{\partial z}\right)^{2}}$$
$$=-\frac{\left( \frac{\partial F}{\partial z}\right)^{2} \frac{\partial^{2} F}{\partial x^{2}}-2 \frac{\partial^{2} F}{\partial z\partial x} \frac{\partial F}{\partial x}\frac{\partial F}{\partial z}+\left(\frac{\partial F}{\partial x}\right)^{2}{\frac{\partial^{2} F}{\partial z^{2}}}}{\left(\frac{\partial F}{\partial z}\right)^{3}}$$

Teorema de la Función Implícita (Versión (3))

Teorema 1. Considere la función $z=f(x_{1},…,x_{n})$. Sea $p=(x_{1},…,x_{n},y) \in \mathbb{R}^{n+1}$ un punto tal que $F(p)=0$. Suponga que la función $F$ tiene derivadas parciales $\displaystyle \frac{\partial F}{\partial x_{i}}$, $i=1,…,n$, y $\displaystyle \frac{\partial F}{\partial y}$ continuas en alguna bola con centro $P$ y que $\displaystyle \frac{\partial F}{\partial y}\neq 0$.
Entonces, $F(x_{1}$,…,$x_{n})=0$ puede resolverse para $y$ en términos de $x$ y definir así una vecindad $v$ de $\mathbb{R}^{n}$ del punto $(x_{1},$…,$x_{n})$, una función $y=f(x_{1}$,…,$x_{n})$ lo cual tiene derivadas parciales continuas en $v$ que se pueden calcular con las fórmulas $\displaystyle \frac{\partial F}{\partial x_{i}}(x_{1}$,…,$x_{n})=\displaystyle \frac{\displaystyle \frac{-\partial F}{\partial x_{i}}(x_{1},….,x_{n})}{\displaystyle \frac{\partial F}{\partial y}(x_{1},…,x_{n})}$ con $(x_{1},…,x_{n}) \in v$.

Demostración. Una idea de como probar lo anterior es la siguiente:
Como $\frac{\partial F}{\partial \textcolor{Red}{y}}\neq 0$ entonces tenemos que $\frac{\partial F}{\partial \textcolor{Red}{y}}> 0$ ó $\frac{\partial F}{\partial \textcolor{Red}{y}}<0$ supongamos sin perdida de generalidad que $\frac{\partial F}{\partial \textcolor{Red}{y}}> 0$ entonces tenemos que $F(x_{1},x_{2},…,x_{q},y)$ es creciente cuando $(x_{1},…,x_{q})$ es constante $F(a_{1},…,a_{q},\textcolor{Red}{y})$ es creciente $\forall y\in [b-\epsilon,b+\epsilon]$ además se tiene que $F(a_{1},…,a_{q},b)=0$ entonces $$F(a_{1},…,a_{q},b+\epsilon)>0\quad
F(a_{1},…,a_{q},b-\epsilon)<0$$ $\therefore$ Si $(x_{1},…,x_{q})\in B_{\delta}(a_{1},…,a_{q})$ entonces $$F(x_{1},…,x_{q},b+\epsilon)>0\quad
F(x_{1},…,x_{q},b-\epsilon)<0\quad y\quad F\quad continua$$ se
tiene entonces que $\exists !\quad \textcolor{Red}{y}=f(x_{1},…,x_{q})\in [b-\epsilon,b+\epsilon]$ tal que $F(x_{1},x_{2},…,x_{q},f(x_{1},x_{2},…,x_{q}))=0$ y
$b=f(x_{1},x_{2},…,x_{q})$. Hemos encontrado que si $(x_{1},…,x_{q})\in B_{\delta}(a_{1},…,a_{q})$ entonces $f(x_{1},…,x_{q})=\textcolor{Red}{y}\in (b-\epsilon,b+\epsilon)$
$\therefore$ f es continua. $\square$