DERIVACIN IMPLICITA

Definicin (caso particular)

Dado el punto T +" +# +8 y la relacin :

W J B" B# B8 . con . constante en definida por la funcin

J K 8 qqqp con J T .

Diremos que esta relacin W define implicitamente a B8 como una funcin 0

dependiente de las variables B" B# B8" en una vecindad del punto
U +" +# +8"
ssi
b$ ! tal que

0 FU $ 8" qqqqqqp funcin

B" B# B8" qqqp 0 B" B# B8"

con 1.- B8 0 B" B# B8"

2.- 0 U +8
3.- J B" B# B8" 0 B" B# B8" . aB" B# B8" F

Teorema (De la Funcin Implicita)(caso particular)

Dado el punto T +" +# +8 y la relacin :

W J B" B# B8 . con . costante en definida por la funcin

J K 8 qqqp diferenciable en una vecindad del punto T K

con J T . . Se cumple que

J define implicitamente a B8 como una funcin diferenciable

B8 0 B" B# B8" en una vecindad del punto U +" +# +8"
ssi
`J
`B8 T !

1
Ejemplo

Dada la relacin W : C# #C #B ( ! y el punto T $ "

1.-Es posible definir a C como una funcin que depende de B en una vecindad
del punto U $ tal que C$ "

2.-Es posible definir a B como una funcin que depende de C en una vecindad
del punto V " tal que B" $

Solucin

Es claro que T satisface la relacin W ya que evaluando se tiene : ! !

consideremos la funcin

J # qqqqqqqp funcin diferenciable en #

B C qqqp C# #C #B (

tal que J T ! y fJ B C # #C #

`J
1.- se tiene que `C T !

luego, no es posible definir a C como una funcin que depende de B en una

vecindad del punto U $

observe en este caso que se tiene graficamente lo siguiente

2
 cualquier vecindad centrada en U $ determina en la relacin W una curva que
no es funcional sin embargo,debe ser claro que si consideramos otro punto T
distinto del vertice de la parbola ,es posible definir una funcin implicita

`J
2.- se tiene que `B T #!

luego, es posible definir a B como una funcin que depende de C en una

vecindad del punto V "

observe en este caso que se tiene graficamente lo siguiente

existen vecindades centradas en V " que determina en la relacin W una

curva que es funcional y es claro que la funcin puede en este caso ser
expresada explicitamente porque la relacin algebraicamente lo permite
y se tiene que la funcin es de expresin algebraica :

B 0 C $ "# C "#

3
Observacin

Considerando el Teorema, si la funcin implicita existe se tiene que

0 FU $ 8" qqqqqqp es funcin diferenciable

B" B# B8" qqqp 0 B" B# B8"

donde se cumple que:

1.- B8 0 B" B# B8"

2.- 0 U +8
3.- J B" B# B8" 0 B" B# B8" . aB" B# B8" F

por lo tanto considerando el punto 4.-,podemos ver el lado izquierdo como una
compuesta de funciones en la cual la primera funcin que actua corresponde a
una funcion en 8 " variables con 8-funciones componentes en donde
slo a la ultima funcin componente no se le conoce su expresin algebraica,
usando regla de la cadena se tiene que :

J B" B# B8" 0 B" B# B8" . `

`B" se tiene

`J `B" `J `B# `J `B8" `J `B8

`B" `B" `B# `B" `B8" `B" `B8 `B" ! es decir

`J `J
`J `J `B8 `B8 `B" `0 `B"
`B" `B8 `B" ! `B" `J `B" `J
`B8 `B8

`J T
`0 (U `B"
en donde evaluando en U para 0 y T para J se tiene `B" `J T
`B8

`J T
`0 (U
analogamente se tendra que `B3 `B3
`J T a3 " # 8 "
`B8

`J T `J T `J T
`B" `B# `B8"
y 0 U `J T `J T `J T
`B8 `B8 `B8

4
Ejemplo

Dada la relacin W C$ $C# D #BD # B# #D $ #B &

y el punto T " # "
Determine
1.- Si es posible considerar a D como una funcin D 0 B C en una vecindad
del punto U " # tal que 0 U "

2.- `0
`B ( U `0
`C ( U 0 U .0 U
# #
` 0
3.- `C`B (U ``B0# (U
4.- La ecuacin del plano tangente y de la recta normal al K<+0 0
en el punto U
`0
5.- `(3,4) (U

Solucin

1.- Se tiene que T satisface W ya que evaluando se tiene ( (

consideremos
J $ qqqqqqqp funcin
B C D qqqp C$ $C# D #BD # B# #D $ #B

la cual es diferenciable en 3 y se tiene que W J B C D &

ademas se tiene que J en particular es diferenciable en T y
`J # # `J
`D $C %BD 'D con `D T ## !

luego, se tiene que

b$ ! tal que

0 FU $ # qqqp funcin diferenciable

B C qqqp 0 B C

con 1.- D 0 B C
2.- 0 U "
3.- J B C 0 B C & aB C F

5
2.- se tiene que : `J #
`B #D #B #
`J #
`C $C 'CD
luego `J
`B T #
`J
`C T !

`J
`0 `B T
con lo cual `B (U `J #
## "
"" `0
`C (U
!
## !
`D T
"
por lo tanto 0 U "" !

.0 U # qqqp
"
.B .C qp "" .B

` #0 ` `0
`B `0
`J
#D # #B#
3.- se tiene que `C`B `C C `B `B
`J $C# %BD'D #
`D
`0 #D # #B#
es decir : `B $C# %BD'D # es una relacin donde D DB C

`D `D `D
` #0 %D `C $C# %BD'D # #D # #B#'C %B `C "#D `C
luego `C`B #
$C %BD'D # #

`D
pero `C U !
` #0 !!#"# !! #% '
por lo tanto `C`B U ### ### ""#

T " # "

` #0 ` `0
`B
`D
%D `B `D
#$C# %BD'D # #D # #B# %D %B `B `D
"#D `B
por otro lado `B# `B #
$C %BD'D # #

% % %)
` #0 "" #### % "" "" &"
por lo tanto `B# U ## # ""$

"
4.- como 0 U "" ! yT " # " se tiene que

"
1 D" "" B "

B" C# D"
R "
""
! " -

6
 `0 "
5.- ` (3,4) (U "" ! &$ &% $
&&

Ejemplo
Dado el punto T " # " y la relacin :
S B C D $ C(#B D% $D C BC "
1.- Es posible hallar una funcin diferenciable D 0 B C en
una vecindad F del punto U " # tal que 0 U "
y B C 0 B C S para todo B C F ?
`0
2.- Determinar : 0 U `$% U

3.- Determinar : la ecuacin del plano tangente y la recta

normal al grfico de 0 en T
` #0
4.- Determinar `C`B U

Solucin
1.- Es claro que T W ya que evaluando ,se tiene : " "
Sea J B C D C(#B D% $D C BC "

`J
`D %C(#B D$ $ ``DJ T "" ! por lo tanto :
b 0 FU $ qqqqp diferenciable tal que :
0 U " J B C 0 B C ! aB C F

`J
`0 )C(#B D$ C `0 "%
2.- `B `B
`J %C(#B D$ $ `B U ""
`D
`J
`0 `C #B D% " B `0 "
`C `J %C(#B D$ $ `B U ""
`D
"% "
con lo cual : 0 U "" ""
`0 "% "
`$% U "" "" $& %& $)
&&

"% "
3.- 1 D " "" B " "" C #
B" C# D"
R "% " "" -

` #0 ` ``B0
4.- `C`B `C

7
 )(#B D$ #%C(#B D# ``CD " ``DJ `J $ # `D
`B %#BD "#C#BD `C
``DJ #
#
` 0 %("$
por lo tanto : `C`B U "$$"
Ejemplo
Dado el punto T " # " y la relacin :
S B C D $ C(#B D% $D C BC "
1.- Es posible hallar una funcin diferenciable D 0 B C en
una vecindad F del punto U " # tal que 0 U "
y B C 0 B C S para todo B C F ?
`0
2.- Determinar : 0 U `$% U
3.- Determinar : la ecuacin del plano tangente y la recta
normal al grfico de 0 en T
` #0
4.- Determinar `C`B U
Solucin

1.- Es claro que T W ya que evaluando ,se tiene : " "

Sea J B C D C(#B D% $D C BC "

`J
`D %C(#B D$ $ ``DJ T "" ! por lo tanto :
b 0 FU $ qqqqp diferenciable tal que :
0 U " J B C 0 B C ! aB C F

`J
`0 )C(#B D$ C `0 "%
2.- `B `B
`J %C(#B D$ $ `B U ""
`D
`J
`0 `C #B D% " B `0 "
`C `J %C(#B D$ $ `B U ""
`D
"% "
con lo cual : 0 U "" ""
`0 "% "
`$% U "" "" $& %& $)
&&

"% "
3.- 1 D " "" B " "" C #
B" C# D"
R "% " "" -

` #0 ` ``B0
4.- `C`B `C

8
 )(#B D$ #%C(#B D# ``CD " ``DJ `J $ # `D
`B %#BD "#C#BD `C
``DJ #
#
` 0 %("$
por lo tanto : `C`B U "$$"
Observacin

Sea J 87 qqqp7 una funcin

se tiene que un elemento de 87 puede ser expresado en al forma

B" B# B8 C" C# C7 o bien como par ordenado B C donde

B B" B# B8 C C" C# C7

Definicin (caso general)

Dado el punto T + , donde + +" +# +8 , ," ,# ,7

y la relacin :

W J B C . B B" B# B8 C C" C# C7
definida por la funcin

J K 87 qqqp7 con J T . ." .# .7

B C qqqp J" B C J7 B C
Diremos que esta relacin W define implicitamente a C como una funcin 0
dependiente de las variables de B en una vecindad del punto +
ssi
b$ ! tal que

0 F+ $ 8 qqqqqqp 7 funcin
B qqqp 0 B

con 1.- C 0 B
2.- 0 + ,
3.- J B 0 B . aB F

9
Teorema (De la Funcin Implicita)(caso general)

Dado el punto T + , donde + +" +# +8 , ," ,# ,7

y la relacin :

W J B C . B B" B# B8 C C" C# C7
con J T . ." .# .7

definida por la funcin

J K 87 qqqp7 diferenciable en una vecindad del punto T K

Se cumple que

J define implicitamente a C como una funcin diferenciable

C 0 B en una vecindad del punto +
ssi
`J" J# J7
`C" C# C7 T !

Observacin

Considerando el Teorema, si la funcin implicita existe se tiene que

0 FU $ 8 qqqqqqp 7 es funcin diferenciable

B qqqp C" C# C7

donde se cumple que:

1.- C" C# C7 0 B
2.- 0 + , ," ,# ,7
3.- J B 0 B . ." .# .7 aB F

10
Ejemplo

Dado el sistema
#B C D " !
B# #C# D # #

y el punto T B C D # " #

1.- Es posible exprear C D como funciones que dependan de B de

modo que C# " D# #?

`B B# `B B# `B# B# `B# B#
`C `D ` #C ` #D
2.- Calcular

3.- Es posible expresar B e C como funciones que dependan de D

de modo que B # # C # ".

`D D# `D D# `D # D# `D # D#
`B `C ` #B ` #C
4.- Calcular

Ejemplo

Dado el sistema
B# #BC ?@ C@ ( y TBC?@ " " # #.
?BC #@ $B@ !
1.- Pruebe que en una vecindad del punto " " es posible
expresar a ? ?B C @ @B C como funciones
diferenciables de las variables B e C .
`? `@
2.- Determine `B " " `B " "
` #? ` #@
3.- Determine `C`B " " `B# " "

11