# Teorema da função implícita

Em matemática, mais especificamente no cálculo multi variável, o teorema da função implícita é uma ferramenta que permite estabelecer relações envolvendo funções de várias variáveis reais.
O teorema afirma que se a equação F(x$_1$, ..., x$_n$, y$_1$, ..., y$_m$) = F(x, y) = 0 satisfaz algumas condições de suavidade em suas derivadas parciais, em seguida, pode-se expressar as m variáveis y$_i$ em termos de n variáveis x$_j$ como y$_i$ = f$_i$(x), pelo menos em uma vizinhança de (x$_1$, ..., x$_n$). Em seguida, cada uma dessas funções implícitas f$_i$(x) satisfaz F(x, y) = 0.

## Versão bidimensional

Seja $f:\mathbb {R} ^{2}\to \mathbb {R}$, isto é, $z=f(x,y)$ é uma função de duas variáveis independentes. Agora se fixamos $z=c=f(x,y)$, onde $c$ é uma constante, então as variáveis x e y deixam de ser independentes, livres. Agora só é possível alguns valores de x e y de modo que f(x,y) seja igual a c. Estamos fazendo a intersecção da superfície $S=(x,y,f(x,y))$ com o plano $z=c$, isto é, $(x,y,f(x,y))=(x,y,c)$. No pior dos casos esta intersecção pode ser vazia ou apenas um ponto. Mas ela também pode ser uma curva(uma linha) chamada curva de nível pois ela está no nível(altura) c.
Neste caso esta curva $f^{-1}(c)=\{(x,y)\in \mathbb {R} ^{2}:f(x,y)=c\}$ pode representar localmente uma função entre x e y, a saber, $y=g(x)$, $g:\mathbb {X} \to \mathbb {R} ,\mathbb {X} \subset \mathbb {R}$ e $c=f(x,g(x))$.
Por exemplo, se $f(x,y)=y-x^{2}=c$, para digamos, $c=-4$, então está função define implicitamente a função $y=g(x)=x^{2}-4$ , uma simples função de segundo grau, uma parábola.

## Versão tridimensional

Da mesma forma podemos definir $f:\mathbb {R} ^{3}\to \mathbb {R}$, isto é, $w=f(x,y,z)$ é agora uma função de três variáveis independentes. Se fizermos a intersecção da hiper superfície $S=(x,y,z,f(x,y,z))$ com o plano $w=c$ (ambos na 4ª dimensão), isto é, $c=f(x,y,z)$ , podemos ter dependendo de $\ S$ e $c$, uma superfície em $\mathbb {R} ^{3}$. Neste caso esta superfície $f^{-1}(c)=\{(x,y,z)\in \mathbb {R} ^{3}:f(x,y,z)=c\}$ pode representar localmente uma função entre $x,y$ e $z$ , a saber, $z=h(x,y)$, $h:\mathbb {X} \to \mathbb {R} ,\mathbb {X} \subset \mathbb {R} ^{2}$ e $c=f(x,y,h(x,y))$.
Por exemplo $f(x,y,z)=x^{2}+y^{2}+z^{2}-9=c$, para digamos, $c=0$, temos $x^{2}+y^{2}+z^{2}=9$ , uma esfera centrada na origem de raio 3. Já neste exemplo a esfera completa não define uma função, mas se escolhermos o hemisfério superior ou inferior temos uma função. Escolhendo o hemisfério inferior temos: $z=h(x,y)=-{\sqrt {9-x^{2}-y^{2}}}$.

## Critérios, condições para existir a função implícita e sua derivada

Vejamos agora que características deve ter a função $f$. Digamos que $w=f(x,y,z)=c=0$. Neste caso a diferencial de $f$ é $df={\partial f \over \partial x}dx+{\partial f \over \partial y}dy+{\partial f \over \partial z}dz=0$, pois $f$ é constante. Vamos supor que esta restrição $f=c$ define uma função implícita $z=g(x,y)$.
Então, $dz=-{{\partial f \over \partial x} \over {\partial f \over \partial z}}dx-{{\partial f \over \partial y} \over {\partial f \over \partial z}}dy={\partial z \over \partial x}dx+{\partial z \over \partial y}dy$.
Onde o lado direito é o diferencial de $z=g(x,y)$ e o lado esquerdo isolamos $dz$ do diferencial $df$ acima.
Comparando os dois lados da equação percebemos que se existe $z=g(x,y)$ e se $z_{0}=g(x_{0},y_{0})$ então:
(1) ${\partial f \over \partial z}(x_{0},y_{0},z_{0})\neq 0$
(2) ${\partial z \over \partial x}(x_{0},y_{0})=-{{\partial f \over \partial x}(x_{0},y_{0},z_{0}) \over {\partial f \over \partial z}(x_{0},y_{0},z_{0})}$ e ${\partial z \over \partial y}(x_{0},y_{0})=-{{\partial f \over \partial y}(x_{0},y_{0},z_{0}) \over {\partial f \over \partial z}(x_{0},y_{0},z_{0})}$
Ou seja, em (2) vemos que para existir a função implícita, a derivada da $f$ em relação a $z$ não pode ser nula, pois não existe divisão por zero.
E se a condição (1) é satisfeita então (2) mostra como deve ser o cálculo das derivadas parciais de $z=g(x,y)$.
Também podemos observar o seguinte em (2), se queremos que as derivadas parciais de $g$ sejam contínuas então as derivadas parciais de $f$ também devem ser contínuas, pois a divisão de funções contínuas é também uma função contínua(desde que o denominador não se anule). Logo $f$ deve ser no mínimo de classe $C^{1}$ e nesse caso $g$ também é no mínimo de classe $C^{1}$.
Para facilitar vamos agora enunciar o teorema da função implícita no caso mais simples possível.

## Teorema da Função Implícita (Caso Especial parte A, $f:\mathbb {R} ^{2}\supset U\rightarrow \mathbb {R}$ )

Seja $f:U\rightarrow \mathbb {R}$ uma função de classe $C^{1}$, definida num aberto $U\subset \mathbb {R} ^{2}$, e $(x_{0},y_{0})\in U$ tal que $f(x_{0},y_{0})=c,$ ${\partial f \over \partial y}(x_{0},y_{0})\neq 0.$ Então existe um retângulo aberto $I\times J,$ de centro $(x_{0},y_{0}),$ tal que $f^{-1}(c)\cap (I\times J)$ é o gráfico de uma função $g:I\rightarrow J,$ de classe $C^{1}.$ Isto é, para cada $x\in I$ existe um único $y=g(x)\in J$ tal que $f(x,y)=f(x,g(x))=c$. E para todo $x\in I$ temos $g'(x)=-{\frac {df/dx}{df/dy}},$ onde estas derivadas são calculadas no ponto $(x,g(x))=(x,y)\in (I\times J)$

### Demonstração

Sem perda de generalidade, podemos sempre supor que $0=c=f(x_{0},y_{0})$.
Também vimos nos critérios para existir a função implícita e novamente reforçado no enunciado do teorema que:
i) tanto $f$ como $g$ são funções contínuas e possuem derivadas contínuas, logo, ambos são no mínimo de classe $C^{1}$ ,
ii) e ${\partial f \over \partial y}(x_{0},y_{0})\neq 0.$
Então vamos escolher uma região onde ${\partial f \over \partial y}$ é sempre positivo ou é sempre negativo. Para fixar as ideias vamos supor que ${\partial f \over \partial y}(x_{0},y_{0})=2M>0$.
Como $f$ é contínua existem:
a) Um retângulo centrado em $(x_{0},y_{0})$, $I=(x_{0}-a,x_{0}+a)$ e ${\bar {J}}=[y_{0}-b,y_{0}+b]$ sendo $a>0$ e $b>0$ tal que ${\partial f \over \partial y}\geqslant M$ em $I\times {\bar {J}}$.
b) E $P>0$ tal que o módulo(valor absoluto) da derivada parcial, $|{\partial f \over \partial x}|<P$ em $I\times {\bar {J}}$.
Podemos agora escrever:
. $f(x,y_{0}+b)=f(x,y_{0}+b)-f(x_{0},y_{0})=[f(x,y_{0}+b)-f(x_{0},y_{0}+b)]+[f(x_{0},y_{0}+b)-f(x_{0},y_{0})]$ (3)
Usando o teorema do valor médio podemos reescrever a parte direita de (3):
. $f(x,y_{0}+b)={\partial f \over \partial x}(\alpha x+(1-\alpha )x_{0},y_{0}+b)(x-x_{0})+{\partial f \over \partial y}(x_{0},\beta (y_{0}+b)+(1-\beta )y_{0})((y_{0}+b)-y_{0})$ (4)
onde $\alpha$ e $\beta$ estão entre 0 e 1. Agora se definirmos $\delta =min\{a,{bM \over P}\}$ e $|x-x_{0}|<\delta$ temos que o primeiro termo do lado direito de (4) é em valor absoluto menor que $P{Mb \over P}=Mb$ e o segundo termo do lado esquerdo de (4) é maior ou igual a $Mb>0$. E portanto $f(x,y_{0}+b)$ é positivo. Repetindo o mesmo procedimento de (3) e (4) para $f(x,y_{0}-b)$ chegaremos a conclusão que $f(x,y_{0}-b)$ é negativo. Agora usando o Teorema do Valor Intermediário chegamos a conclusão que existe $y$ entre $y_{0}-b$ e $y_{0}+b$ tal que $f(x,y)=0$. E este ponto $y$ é único pois para $x$ fixado $f$ é crescente pois ${\partial f \over \partial y}>0$ em $I\times {\bar {J}}$, e isto mostra que depois que $f$ passa do zero ela continua crescendo(ela não retorna ao zero). Logo para cada $x$ tal que $|x-x_{0}|<\delta$ existe um único $y$ tal que $f(x,y)=0$ e esta relação de um para um, para cada x existe um único y, define uma função $y=g(x)$. Assim a primeira parte do teorema está demonstrado.
Segunda parte:
Acabamos de mostrar para cada $x$ que satisfaz $|x-x_{0}|<\delta$ e $\delta =min\{a,{bM \over P}\}$ existe um único $y$ tal que $f(x,y)=0$ e isto define implicitamente a função $y=g(x)$. Então para cada $x$que satisfaz $f(x,y)=f(x,g(x))=0$ podemos reescrever (3) e (4)
. $0=f(x,y)-f(x_{0},y_{0})=[f(x,y)-f(x_{0},y)]+[f(x_{0},y)-f(x_{0},y_{0})]$ (3A)
. $0={\partial f \over \partial x}(\alpha x+(1-\alpha )x_{0},y)(x-x_{0})+{\partial f \over \partial y}(x_{0},\beta y+(1-\beta )y_{0})(g(x)-g(x_{0}))$ (4A)
. Em (4A) usamos o fato que $y=g(x)$ e $y_{0}=g(x_{0})$ e $\alpha$ e $\beta$ variam, dependem de $x$ e $y$ , mas estão entre 0 e 1.
. De (4A) temos: ${g(x)-g(x_{0}) \over x-x_{0}}=-{{\partial f \over \partial x}(\alpha x+(1-\alpha )x_{0},y) \over {\partial f \over \partial y}(x_{0},\beta y+(1-\beta )y_{0})}$
. Quando $x\rightarrow x_{0}$, por continuidade tem-se $y=g(x)\rightarrow y_{0}=g(x_{0})$ e
. $g'(x_{0})=\textstyle \lim _{x\to \ x_{0}}\displaystyle {g(x)-g(x_{0}) \over x-x_{0}}=-{{\partial f \over \partial x}(x_{0},y_{0}) \over {\partial f \over \partial y}(x_{0},y_{0})}$(5)
. Também podemos escolher $x_{0}\rightarrow x$ e neste caso temos:
. $g'(x)=\textstyle \lim _{x_{0}\to \ x}\displaystyle {g(x_{0})-g(x) \over x_{0}-x}=-{{\partial f \over \partial x}(x,y) \over {\partial f \over \partial y}(x,y)}$.(5A)
Observe que $f:U\rightarrow \mathbb {R}$ é uma função de classe $C^{1}$(derivadas contínuas) e pela condição a) ${\partial f \over \partial y}\geqslant M$ em $I\times {\bar {J}}$, logo o denominador não se anula e portanto o lado direito de (5) e (5A) é uma função contínua, assim a função $g'(x)$é contínua e portanto $g:I\rightarrow J,$ é uma função de classe ,no mínimo, $C^{1}.$

## Teorema da Função Implícita (Caso Especial parte B, $f:\mathbb {R} ^{n+1}\rightarrow \mathbb {R}$ )

Seja $f:\mathbb {R} ^{n+1}\rightarrow \mathbb {R}$ uma função de classe $C^{1}$(possua derivadas parciais contínuas). Denote os pontos em $\mathbb {R} ^{n+1}$por $(\mathbf {x} ,z_{0})$, onde $\mathbf {x} \in \mathbb {R} ^{n}$e $z\in \mathbb {R}$
Assuma que $(\mathbf {x} ,z_{0})$satisfaz $f(\mathbf {x} _{0},z_{0})=0$ e ${\partial f \over \partial z}(\mathbf {x} _{0},z_{0})\neq 0$. Então existe uma bola $U$que contem $\mathbf {x_{0}}$em $\mathbb {R} ^{n}$e uma vizinhança $V$de $z_{0}$em $\mathbb {R}$ tal que existe uma única função $z=g(\mathbf {x} )$ definido para $\mathbf {x}$em $U$e $z$em $V$que satisfaz $f(\mathbf {x} ,g(\mathbf {x} ))=0$.
Além disso, se $\mathbf {x}$em $U$e $z$em $V$satisfaz $f(\mathbf {x} ,z)=0$, então $z=g(\mathbf {x} )$. Finalmente, $z=g(\mathbf {x} )$ é de classe $C^{1}$(é uma função com derivadas contínuas), e suas derivadas parciais são calculadas por:
. ${\partial g \over \partial x_{i}}(\mathbf {x} )=-{{\partial f \over \partial x_{i}}(\mathbf {x} ,g(\mathbf {x} )) \over {\partial f \over \partial z}(\mathbf {x} ,g(\mathbf {x} ))}$ para $i=1,..,n$

### Demonstração

A demonstração é essencialmente a mesma da parte A (adaptado de Marsden e Tromba - Vector Calculus - 4ª edição) . Vamos mostrar para $n=2$, logo $f:\mathbb {R} ^{3}\rightarrow \mathbb {R}$. O caso geral para qualquer $n$ é similar, apenas mudando a notação. Escrevemos $\mathbf {x} =(x,y)$e $\mathbf {x_{0}} =(x_{0},y_{0})$. Por hipótese ${\partial f \over \partial z}(x_{0},y_{0},z_{0})\neq 0$, logo ou é positivo ou é negativo, para fixar as ideias vamos supor que ${\partial f \over \partial y}(x_{0},y_{0},z_{0})=2M>0$.
Como $f$ é contínua existe:
c) Uma caixa(paralelepípedo) centrado em $(x_{0},y_{0},z_{0})$, $I=(x_{0}-a,x_{0}+a)\times (y_{0}-b,y_{0}+b)$ e ${\bar {J}}=[z_{0}-c,z_{0}+c]$ sendo $a>0$, $b>0$ e $c>0$ tal que ${\partial f \over \partial z}\geqslant M$ em $I\times {\bar {J}}$.
d) E $P>0$ tal que o módulo(valor absoluto) da derivada parcial, $|{\partial f \over \partial x}|<P$ e $|{\partial f \over \partial y}|<P$ em $I\times {\bar {J}}$.
Podemos agora escrever:
. $f(\mathbf {x} ,z_{0}+c)=f(\mathbf {x} ,z_{0}+c)-f(\mathbf {x} _{0},y_{0})=[f(\mathbf {x} ,z_{0}+c)-f(\mathbf {x} _{0},z_{0}+c)]+[f(\mathbf {x} _{0},z_{0}+c)-f(\mathbf {x} _{0},y_{0})]$ (6)
Considere a função $h(t)=f(t\mathbf {x} +(1-t)\mathbf {x} _{0},z_{0}+c)$para $\mathbf {x}$e $z$fixos. Pelo teorema do valor médio existe um número $\theta$ entre 0 e 1 tal que
. $h(1)-h(0)=h'(\theta )(1-0)=h'(\theta )$, isto é,
. $f(\mathbf {x} ,z_{0}+c)-f(\mathbf {x} _{0},z_{0}+c)=[D_{x}f(\theta \mathbf {x} +(1-\theta )\mathbf {x} _{0},z_{0}+c)](\mathbf {x} -\mathbf {x} _{0})$
Substituindo esta fórmula em (6) junto com uma fórmula similar ao segundo termo temos:
.$f(\mathbf {x} ,z_{0}+c)=[D_{x}f(\theta \mathbf {x} +(1-\theta )\mathbf {x} _{0},z_{0}+c)](\mathbf {x} -\mathbf {x} _{0})+[{\partial f \over \partial z}(\mathbf {x} _{0},\phi (z_{0}+c)+(1-\phi )z_{0})]((z_{0}+c)-z_{0})$
ou
$f(\mathbf {x} ,z_{0}+c)=$
$[{\partial f \over \partial x}(\theta \mathbf {x} +(1-\theta )\mathbf {x} _{0},z_{0}+c)](x-x_{0})+[{\partial f \over \partial y}(\theta \mathbf {x} +(1-\theta )\mathbf {x} _{0},z_{0}+c)](y-y_{0})+[{\partial f \over \partial z}(\mathbf {x} _{0}+\phi z+(1-\phi )z_{0})]((z_{0}+c)-z_{0})$ (7)
Agora se definirmos $\delta =min\{a,b,{Mc \over 2P}\}$ e $||\mathbf {x} -\mathbf {x} _{0}||<\delta$ temos que o primeiro termo e o segundo termo do lado direito de (7) é em valor absoluto menor que $P{Mc \over 2P}={Mc \over 2}$ e o segundo termo do lado esquerdo de (7) é maior ou igual a $Mc>0$, portanto $f(\mathbf {x} ,z_{0}+c)$é positivo. Repetindo o mesmo procedimento de (6) e (7) para $f(\mathbf {x} ,z_{0}-c)$ chegaremos a conclusão que $f(\mathbf {x} ,z_{0}-c)$ é negativo. Agora usando o Teorema do Valor Intermediário chegamos a conclusão que existe $z$ entre $z_{0}-c$ e $z_{0}+c$ tal que $f(x,y,z)=0$. E este ponto $z$ é único pois para cada $\mathbf {x} =(x,y)$ fixado $f$ é crescente pois ${\partial f \over \partial z}>0$ em $I\times {\bar {J}}$, e isto mostra que depois que $f$ passa do zero ela continua crescendo(ela não retorna ao zero). Logo para cada $\mathbf {x}$ tal que $||\mathbf {x} -\mathbf {x} _{0}||<\delta$ existe um único $z$ tal que $f(\mathbf {x} ,z)=f(x,y,z)=0$ e esta relação de um para um, para cada $\mathbf {x} =(x,y)$existe um único $z$, define uma função $z=g(x,y)=g(\mathbf {x} )$. Assim a primeira parte deste segundo teorema está demonstrado.