CAPÍTULO 5 À

EL TEOREMA
DE LA FUNCIÓN INVERSA
La inversión de una función requiere que ésta sea biyectiva. Sin
embargo, si dejamos de lado el problema del recorrido, bastará que la
función sea inyectiva para que posea una inversa: restringiendo el co-
dominio al recorrido de la función ésta será biyectiva y el dominio de la
inversa será precisamante el recorrido de la función original. Por otro
lado, ya desde los tiempos de Cantor se sabe que se pueden establecer
biyecciones entre los más dispares dominios de números reales, por
ejemplo entre dos intervalos cualquiera, de cualquier longitud, finita o
infinita. Pero, peor aún, también se puede establecer una biyección entre
un intervalo real y un paralelógramo 8  dimensional cualquiera. El
problema es que estas biyecciones pueden no tener propiedades
topológicas deseables, por ejemplo continuidad o derivabilidad.
Es así como tenemos dos teoremas de inversión para funciones reales de
variable real:

ñ Si 0 À Ò+ß ,Ó Ò ‘ es inyectiva y continua, entonces el

recorrido es un intervalo y 0 " es continua sobre ese intervalo.

ñ Si además 0 es diferenciable en B9 y 0 w ÐB9 Ñ Á ! , entonces la

función inversa 0 " es diferenciable en C9 œ 0 ÐB9 Ñ y vale :
"
Ð0 " Ñw ÐC9 Ñ œ 0 w ÐB9 Ñ

La pregunta que surge es: ¿que tipo de generalización se podrá establecer

para funciones de varias variables? ¿Cómo se generaliza la condición
0 w ÐB9 Ñ Á ! ? ¿Acaso suponiendo que la diferencial sea diferente de cero?
La respuesta a estas interrogantes se encuentra en el siguiente Teorema de
la función Inversa, de grandes aplicaciónes prácticas, como veremos más
adelante.

153
TEOREMA 10 ( Teorema de la Función Inversa )
‰
Sea 0 À Y © ‘8 Ò ‘8 ß B9 − Y ß 0 − G " en una vecindad de B9 ß
`03
./>Ð `B4
ÐB9 ÑÑ Á !Þ Entonces existe 0 " en una vecindad de 0 ÐB9 Ñ , es
diferenciable y

H0 " Ð0 ÐB9 ÑÑ œ ÐH0 ÐB9 ÑÑ"

DEMOSTRACIÓN

Para mayor claridad, vamos a estructurar la demostración dividiéndola en

varios puntos:

1. Como el determinante de la matriz de H0 ÐB9 Ñ es diferente de cero,

esta función lineal es invertible. Vamos a introducir la función auxiliar:

1 À œ ÐH0 ÐB9 ÑÑ" ‰ 0 À Y © ‘8 Ò ‘8

Como ÐH0 ÐB9 ÑÑ" es lineal, entonces es diferenciable y su diferencial es,

como lo vimos anteriormente, ella misma. También 0 es diferenciable,
luego 1 es diferenciable y su diferencial, según la regla de la cadena, es:

H1ÐB9 Ñ œ ÐH0 ÐB9 ÑÑ" ‰ H0 ÐB9 Ñ œ M.

Si demostramos el teorema para la función 1 , entonces se tendría que

0 œ H0 ÐB9 Ñ ‰ 1 , o sea 0 es la compuesta de dos funciones invertibles,
por lo tanto es invertible y su inversa sería:

0 " œ 1" ‰ ÐH0 ÐB9 ÑÑ"

o sea, la compuesta de dos funciones diferenciables , por lo tanto

diferenciable.
Vamos entonces a demostrar el teorema para la función especial 1Þ

2. Existe una vecindad Z œ FÐB9 ß $ Ñ tal que:

B Á B9 ß B − Z Ê 1ÐBÑ Á 1ÐB9 Ñ

En efecto, si 1ÐB9  2Ñ œ 1ÐB9 Ñ ß entonces, como H1ÐB9 Ñ œ M. :

154
 ll2ll ll1ÐB9 2Ñ1ÐB9 ÑH1ÐB9 ÑÐ2Ñll
"œ ll2ll œ ll2ll Ò0

lo que no puede ser si se toma 2 suficientemnente pequeño

3. Por continuidad de H1 , eventualmente achicando la vecindad Z À

./>ÐH1ÐBÑÑ Á ! ß aB − Z

y por la misma razón podemos elegir Z tal que

`13 `13 "
ll `B4
ÐBÑ  `B4 ÐB9 Ñll  #8# ß 3ß 4 œ "ß ÞÞÞß 8 ß B − Z

`13
Recordemos que, como H1ÐB9 Ñ œ M. , entonces `B 4
ÐB9 ) œ $34 ß es decir,
es el delta de Kronecker, por lo tanto , si definimos la función auxiliar:

2ÐBÑ À œ 1ÐBÑ  B

se tendrá
`23 "
ll `B4
ÐBÑll  #8# ß 3ß 4 œ "ß ÞÞÞß 8 ß B − Z

%Þ Apliquemos el Teorema de Taylor a la función 2 : b) tal que

8
`23
23 ÐBÑ  23 ÐCÑ œ `B4 Ð)ÑÐB4  C4 Ñ ß Bß C − Z
4œ"

luego, por lo anterior:

8
" "
|23 ÐBÑ  23 ÐCÑ| Ÿ #8# lB4  C4 l Ÿ #8 llB  Cll
4œ"

por lo tanto:
8 8
" llBCll
ll2ÐBÑ  2ÐCÑll œ ll Ð23 ÐBÑ  23 ÐCÑÑ/3 ll Ÿ #8 llB  Cll ll/3ll œ #
3œ" 3œ"

es decir, volviendo a las notaciones anteriores:

155
 llBCll
ll1ÐBÑ  B  1ÐCÑ  Cll Ÿ #

pero por la desigualdad triangular:

ll1ÐBÑ  B  (1ÐCÑ  CÑll   llB  Cll  ll1ÐBÑ  1ÐCÑll

se concluye que :

#ll1ÐBÑ  1ÐCÑll   llB  Cll ß a Bß C − Z

5. La función 1 es continua sobre el borde `Z de la bola Z œ FÐB9 ß $ Ñ ß

que es compacto , por lo tanto 1Ð`Z Ñ es un conjunto compacto que no
contiene a 1ÐB9 Ñ ß por lo tanto existe un número real .  ! tal que

ll1ÐB9 Ñ  1ÐBÑll   . ß a B − `Z

6. Por fin podemos introducir la vecindad donde 1 es invertible:

[ À œ FÐ1ÐB9 Ñß .Ñ

Esta vecindad satisface, por construcciónß la propiedad:

llC  1ÐB9 Ñll  llC  1ÐBÑll ß a C − [ ß a B − `Z

En efecto:
.
. Ÿ ll1ÐB9 Ñ  C  C  1ÐBÑll Ÿ #  llC  1ÐBÑll
luego
.
# Ÿ llC  1ÐBÑll
por lo tanto
.
llC  1ÐB9 Ñll  # Ÿ llC  1ÐBÑll

7. Sea C − [ À se busca una pre-imágen de C bajo 1 en VÞ

Para esto, definimos una función auxiliar: A À Z Ò ‘ por:
8
AÐBÑ œ llC  1ÐBÑll# œ ÐC3  13 ÐBÑÑ#
3œ"


A es continua sobre la cerradura Z que es compacta, por lo que tiene un

mínimo B" en Z Þ Si B − `Z ß entonces , por la desigualdad del punto 6:

156
 AÐB9 Ñ œ llC  1ÐB9 Ñll#  llC  1ÐBÑll# œ AÐBÑ

lo que significa que el mínimo de A no está en la borde ` V , por lo que

tiene que estar en el interior de Z y por lo tanto HAÐB" Ñ œ ! Þ Luego
8
`A `13
`B4 ÐB" Ñ œ  #ÐÐC3  13 ÐB" ÑÑ `B4
ÐB" Ñ œ ! ß 4 œ "ß ÞÞÞß 8
3œ"

`13
pero como ./> Ð `B 4
ÐB" ÑÑ Á ! , el sistema lineal de ecuaciones solo tiene
las soluciones nulas, es decir:

ÐC3  13 ÐB" Ñ) œ ! ß 3 œ "ß ÞÞÞß 8

o sea:
C œ 1ÐB" Ñ

es decir, B" es la pre-imágen buscada.

8. Por la desigualdad establecida en el punto 4, la pre-imágen encontrada

para cada C − [ es única, luego existe la inversa À
1" À [ Ò Z
Llamando 1ÐBÑ œ ? ß 1ÐCÑ œ @ la desigualdad del punto 4 se puede
escribir :

#ll?  @ll   ll1" Ð?Ñ  1" Ð@Ñll

lo que demuestra que 1" es continua.

9. La diferenciabilidad de 1 nos dice:

1ÐCÑ  1ÐBÑ œ H1ÐBÑÐC  BÑ  VÐCß BÑ ß Bß C − Z

Aplicando a ambos lados la función ÐH1ÐBÑÑ" , obtenemos:

ÐH1ÐBÑÑ" Ð1ÐCÑ  1ÐBÑÑ œ C  B  ÐH1ÐBÑÑ" ÐVÐCß BÑÑ

y despejando la diferencia C  B À

C  B œ ÐH1ÐBÑÑ" Ð1ÐCÑ  1ÐBÑÑ  ÐH1ÐBÑÑ" ÐVÐCß BÑÑ

157
Llamando : 1ÐBÑ œ ? ß 1ÐCÑ œ @ ß tenemos:

1" Ð@Ñ  1" Ð?Ñ œ ÐH1ÐBÑÑ" Ð@  ?Ñ  ÐH1ÐBÑÑ" ÐVÐCß BÑÑ

con lo que falta demostrar que ÐH1ÐBÑÑ" ÐVÐCß BÑÑ satisface la condición
de resto. Pero siendo ÐH1ÐBÑÑ" una función lineal, se tiene:

llÐH1ÐBÑÑ" ÐVÐCß BÑÑll Ÿ OllÐVÐCß BÑÑll

por lo tantoß usando la desigualdad establecida en el punto 8:

llÐH1ÐBÑÑ" ÐVÐCßBÑÑll "

Ð@Ñ1 "Ð?Ñll
ll?@ll Ÿ O llVÐCßBÑll
llCBll
ll1
ll?@ll Ÿ O llVÐCßBÑll
llCBll # Ò !

lo que demuestra la diferenciabilidad de la función 1

Q.E.D.

EJEMPLOS

1. La inversión solamente el local . El siguiente ejemplo lo muestra:

0 À ‘# Ò ‘# , definida por:

0 ÐBß CÑ œ Ð/B -9= C ß /B =/8 CÑ

Su matriz jacobiana es:

N0 ÐBß CÑ œ Œ
/B -9= C  /B =/8 C
/B =/8 C /B -9= C

por lo tanto 0 − G " Þ Su determinante es

./> Œ
/B -9= C  /B =/8 C
œ /#B Á ! ß a ÐBß CÑ − ‘#
/B =/8 C /B -9= C

Por lo tanto, esta función tiene inversa local en una vecindad de cada
punto de ‘# Þ
Pero la función es periódica de período Ð!ß #1Ñ , es decir:
0 ÐBß CÑ œ 0 ÐBß C  #1Ñ

158
con lo cual no es inyectiva y por lo tanto no tiene inversa en ‘#

2. La continuidad de la diferencial H0 es necesaria. Esto lo muestra el

ejemplo siguiente:

0 À ‘ Ò ‘ , definida por : 0 ÐBÑ œ œ

B
 B# =/8Ð B" Ñ ß B Á !
#
! ßBœ!

La función 0 es obviamente continua, por la propiedad del " cero

aniquila". Pero es además derivable en todo ‘ :

ñ 0 w Ð!Ñ œ lim 0 ÐBÑ0

B
Ð!Ñ
œ lim Ð #"  B=/8Ð B" ÑÑ œ "
# Á!
BÄ! BÄ!
ñ 0 w ÐBÑ œ "#  #B=/8Ð B" Ñ  -9=Ð B" Ñ ß B Á !

Es claro que 0 ' no es continua en B œ ! Þ

Se afirma que 0 no es invertible en ninguna vecindad de cero: sea $  !Þ
Vamos a ver que 0 no es inyectiva en ]0,$ [ . Existe un 5 −  tal que :
" " "
#5 1  $ Þ Sea B" œ #5 1 . Su valor de función será : 0 ÐB" Ñ œ %5 1 Þ
Pero su derivada en ese punto es negativa:
" " "
0 w ÐB" Ñ œ #  5 1 =/8Ð#5 1Ñ  -9=Ð#5 1Ñ œ  #

es decir, la función es decreciente en una vecindad de este punto. Si

calculamos el valor de la función en el punto B# œ #51"1 tendremos:

"
0 ÐB# Ñ œ %5 1#1  0 ÐB" Ñ

Luego, por el Teorema del valor intermedio b ) , B#  )  B" tal que

0 Ð)Ñ œ 0 ÐB" Ñ

(Ver Figura 5.1)

159
 0.20
y

0.15

0.10

0.05

0.00
0.00 0.02 0.04 0.06 0.08 0.10 0.12 0.14 0.16 0.18 0.20 0.22 0.24 0.26 0.28 0.30
x

Figura 5.1

COROLARIO " (Teorema de la función implícita)

‰
Sea J À Y © ‘7 ‚ ‘8 Ò ‘8 ß J − G " ß Ð+ß ,Ñ − Y tal que J Ð+ß ,Ñ œ !
y HJ Ð+ß ,ÑÐ!ß † Ñ un isomorfismo de ‘8 en ‘8 . Entonces existen
vecindades Z de Ð+ß ,Ñ y [ de + y una función 1 À [ © ‘7 Ò ‘8
diferenciable y tal que :
ÐBß CÑ − Z • J ÐBß CÑ œ ! Í B − [ • C œ 1ÐBÑ

DEMOSTRACIÓN . Sea K À Y © ‘7 ‚ ‘8 Ò ‘7 ‚ ‘8 definida

por : KÐBß CÑ œ ÐBß J ÐBß CÑÑÞ Es claro que K − G " y su diferencial en el
punto (a,b) esß según el Teorema 7 :

HKÐ+ß ,ÑÐ?ß @Ñ œ Ð?ß HJ Ð+ß ,ÑÐ?ß @ÑÑ

y por lo tanto su matriz será:

Î" Ñ
Ð! Ó
ÞÞÞ ! !
HKÐ+ß ,Ñ: Ð Ó
ÞÞÞ ! !

Ï! HJ Ð+ß ,ÑÐ!ß † Ñ Ò
! ! " !
! !

Luego,

160
 ./> HKÐ+ß ,Ñ œ ./> HJ Ð+ß ,ÑÐ!ß † Ñ Á !

Por lo tanto podemos aplicar el Teorema de Función Inversa a la función

K À K" ÐBß CÑ œ ÐBß 1" ÐBß CÑÑ , donde 1" es una función que queda
determinada por K" Þ Como K" es diferenciable, 1" también lo es.
Definimos la función buscada: 1ÐBÑ œ 1" ÐBß !Ñ , por lo que 1 es también
diferenciable y , localmente: si J ÐBß CÑ œ ! ß entonces

KÐBß CÑ œ ÐBß J ÐBß CÑÑ œ ÐBß !Ñ

y aplicando la inversa K" a ambos lados:

K" ÐBß !Ñ œ ÐBß CÑ œ ÐBß 1" ÐBß !ÑÑ

Luego
C œ 1" ÐBß !Ñ œ 1ÐBÑ
…

Resulta interesante explicitar las coordenadas en este Teorema:

J ÐBß CÑ œ ! Í J" ÐB" ß ÞÞÞß B7 ß C" ß ÞÞÞß C8 Ñ œ !

.........................................ÞÞÞÞÞÞÞ
J8 ÐB" ß ÞÞÞß B7 ß C" ß ÞÞÞß C8 Ñ œ !

y se quiere despejar las C3 en función de las B4 es decir: C œ 1ÐBÑ

Este problema representa un sistema de 8 ecuaciones y 8 incógnitas.
Que HJ Ð+ß ,ÑÐ!ß † Ñ sea un isomorfismo, significa:

Î!Ñ
Ð ÞÞ Ó
Î `B" `C8 Ñ Ð Ó
Ð!Ó
`J" `J" `J" `J"

Ð ÞÞÞ ÞÞÞ Ó Ð Ó œ
ÞÞÞ `B7 `C" ÞÞÞ

Ï `J `J8 Ò Ð
Ð
C" Ó
Ó
ÞÞÞ ÞÞÞ ÞÞÞ ÞÞÞ
8 `J 8 `J8
ÞÞÞ ÞÞÞ
Ï C8 Ò
`B " `B7 `C" `C8 ÞÞ

Î `C" ÑÎ C" Ñ
`J" `J"

œ Ð ÞÞÞ ÞÞÞ Ó ÞÞÞ

ÞÞÞ `C8

Ï `J `J8 ÒÏ C Ò
ÞÞÞ
8
`C "
ÞÞÞ `C8
8

161
 Î `C" Ñ
`J" `J"

Es decir, la matriz cuadrada Ð ÞÞÞ ÞÞÞ Ó debe ser invertible, es

ÞÞÞ `C8

Ï `J `J8 Ò
ÞÞÞ
8
`C "
ÞÞÞ `C8
decir,
./>Ð `J
`C4 Ð+ß ,ÑÑ Á !
3

Por lo tanto, la matriz completa de Ð7  8Ñ ‚ 8 debe tener rango máximo

que es 8Þ

EJEMPLOS.

1. Sea J ÐBß Cß DÑ œ BD $  CD  ' ¿Dónde es posible encontrar la función

implícita D œ 1ÐBß CÑ definida por la condición: BD $  CD  ' œ !?
Observemos que J À ‘$ œ ‘# ‚ ‘ Ò ‘ y consideremos , por ejemplo :
Ð+ß ,Ñ œ ÐÐ!ß #Ñß  $Ñ À

`J
`D Ð!ß #ß  $Ñ œ $BD #  ClÐ!ß#ß$Ñ œ # Á !

Por lo tanto existe la función implícita en una vecindad de + œ Ð!ß #Ñ

Si consideramos, por ejemplo Ð+ß ,Ñ œ ÐÐ!ß !Ñß "Ñ se tiene

`J
`D Ð!ß 0ß 1Ñ œ $BD #  ClÐ!ß!ß1Ñ œ 0

Además, la ecuación BD $  CD  ' œ ! no tiene solución para

ÐBß CÑ œ Ð!ß !ÑÞ Por lo tanto, alrededor del punto Ð!ß !Ñ no hay función
implícita.

#Þ Sea J À ‘# ‚ ‘# Ò ‘# definida por:

J ÐBß Cß ?ß @Ñ œ ÐB  C  ?  @ß ?B  @C  "Ñ

Queremos encontrar dos funciones ?ÐBß CÑ y @ÐBß CÑ tales que

J ÐBß Cß ?ß @Ñ œ ! ß es decir BC?@ œ!

?B  @C  " œ !

œ ./>Œ
`J" `J"
`? `@ " "
./> `J# `J# œCB
B C
`? `@

162
Por lo tanto habrá función implícita en puntos fuera de la diagonal: B Á C
Las derivadas parciales de esta función implícita las podemos calcular
derivando implícitamente las ecuaciones anteriores:
` `? `@
`B Ò B  C  ?  @Ó œ "  `B  `B œ !
` `? `@
`B Ò ?B  @C  "Ó œ ?  B `B  C `B œ !

`@ `?
De la primera ecuación: `B œ " `B e introduciendo en la segunda:

?  B `?
`B  CÐ  " 
`?
`B Ñ œ!

de donde:
`? C?
`B = BC

Análogamente :
`? C@
`C = BC

`@ ?B `@ @B
Y reemplazando : `B = BC ß `C = BC

Notemos que estas derivadas efectivamente requieren que B Á C .

Además, siendo las funciones ? y @ continuas, las derivadas también lo
son. Por otro lado, siendo este ejemplo tan sencillo, podemos encontrar
explícitamente las funciones implícitas despejando ? y @ de sus
ecuaciones:
# #
?ÐBß CÑ œ C BC"
BC ß @ÐBß CÑ œ B BC"
CB

COROLARIO 2 ( Los Multiplicadores de Lagrange)

Sea 0 À Y © ‘8 Ò ‘ ß 0 − G " Þ Si B9 − Y es un extremo local de 0

relativo al conjunto de puntos de Y que satisfacen las :  8 condiciones:

1" ÐB" ß ÞÞÞß B8 Ñ œ !

ÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞÞ
1: ÐB" ß ÞÞÞß B8 Ñ œ !

163
donde 1 œ Ð1" ß ÞÞÞß 1: Ñ − G " y el rango de H1ÐB9 Ñ es : , entonces existen
: números reales -" ß ÞÞÞß -: (llamados multiplicadores de Lagrange Ñ tales
que:
:
f0 ÐB9 Ñ  -5 f15 ÐB9 Ñ œ !
5œ"

DEMOSTRACIÓN. Llamemos W © ‘8 al conjunto de puntos que

satisfacen las : condiciones , es decir : W œ ÖB − ‘8 À 1ÐBÑ œ !×Þ Lo
que se busca son los llamados máximos y mínimos condicionadosß es
decir, puntos B9 − Y tales que

0 ÐB9 Ñ   0 ÐBÑ ,aB − W ∩ FÐB9 ß $ Ñ

para un máximo y

0 ÐB9 Ñ Ÿ 0 ÐBÑ ,aB − W ∩ FÐB9 ß $ Ñ

para un mínimo. La comparación de valores se hace, entonces, solo sobre

los puntos que satisfacen las condiciones. El conjunto W puede ser
pensado como una superficie en el espacio ‘8 y efectivamente lo será si
8 œ $ y si : œ ".
Sea B9 un extremo local condicionado. La diferencial de la función 1 es

H1ÐB9 Ñ À ‘8 Ò ‘: © ‘8 ß :  8

Recordemos que el rango de una función lineal es la dimensión de su

recorrido, por lo tanto, si evaluamos esta función sobre la base canónica,
tendremos que de los 8 vectores À H1ÐB9 ÑÐ/" Ñß ÞÞÞß H1ÐB9 ÑÐ/8 Ñ hay
efectivamente : linealmente independiente. Si perder generalidad, solo
cambiando la numeración, podemos suponer que los :-últimos vectores:
H1ÐB9 Ñ(e8:" Ñß ÞÞÞß H1ÐB9 ÑÐ/8 Ñ son linealmente independientes. Por lo
tanto, si desglosamos la diferencial: H1ÐB9 Ñ À ‘8: ‚ ‘: Ò ‘: ß resulta
que
H1ÐB9 Ñ(0, † ) À ‘: Ò ‘:

es un isomorfismo. Además 1 − G " y 1ÐB9 Ñ œ ! ß luego, por el teorema

de la función implícita existe una función

9 : ‘8: Ò ‘:

164
donde 1Ð?ß 9Ð?ÑÑ œ ! en vecindad de B9 œ Ð?9 ß @9 Ñ − ‘8: ‚ ‘:
Definamos la función auxiliar: < À ‘8: Ò ‘8 por <Ð?Ñ œ Ð?ß 9Ð?ÑÑÞ
Por lo tanto, la función compuesta 0 Ð<Ð?ÑÑ œ 0 Ð?ß 9Ð?ÑÑ debe tener un
extremo local en el punto ?9 y por lo tanto su diferencial debe anularse.
La diferencial de < es:

H<Ð?9 ÑÐDÑ œ ÐDß H9Ð?9 ÑÐDÑÑ

Luego,

! œ HÐ0 ‰<ÑÐ?9 Ñ œ H0 Ð<Ð?9 ÑщH<Ð?9 Ñ œ Ð H<Ð?9 Ñч ÐH0 ÐB9 ÑÑ

donde Ð H<Ð?9 Ñч denota la función adjunta de H<Ð?9 Ñ en el espacio

dual correspondiente. Luego

H0 ÐB9 Ñ − O/<ÐÐ H<Ð?9 Ñч Ñ

Análogamente À 15 Ð<Ð?ÑÑ œ 15 Ð?ß 9Ð?ÑÑ œ ! ß 5 œ "ß ÞÞÞß : ß luego,

diferenciando esta función compuesta:

! œ HÐ15 ‰<ÑÐ?9 Ñ œ H15 Ð<Ð?9 ÑщH<Ð?9 Ñ œ Ð H<Ð?9 Ñч ÐH15 ÐB9 ÑÑ

Es decir:

H15 ÐB9 Ñ − O/<ÐÐ H<Ð?9 Ñч Ñ ß ß 5 œ "ß ÞÞÞß :

Queremos demostrar que la dimensión del núcleo O/<ÐÐ H<Ð?9 Ñч Ñ es :.

Para eso apliquemos la función (H<Ð?9 Ñ)‡ a la base dual 1" ß ÞÞÞß 18: À

ÐH<Ð?9 Ñч Ð15 Ñ œ 15 ‰H<Ð?9 Ñ œ 15 ß 5 œ "ß ÞÞÞß 8  :

Por lo tanto (H<Ð?9 Ñ)‡ es epiyectiva , luego À

.37Ð</-Ð(H<Ð?9 Ñ)‡ ÑÑ œ 8  :

y por lo tanto

.37ÐO/<Ð(H<Ð?9 Ñ)‡ ÑÑ œ 8  Ð8  :Ñ œ :

165
Luego, como los H15 ÐB9 Ñ , 5 œ "ß ÞÞÞß : son linealmente independientes,
ellos forman una base de O/<Ð(H<Ð?9 Ñ)‡ , por lo tanto el elemento
H0 ÐB9 Ñ es una combinación lineal de los elementos de esta base, es decir,
µ µ
existen números -" ß ÞÞÞß -: tales que
:
µ
H0 ÐB9 Ñ œ -5 H15 ÐB9 Ñ
5œ"
Bastará entonces definir los multiplicadores de Lagrange como:
µ
-5 œ  -5 ß 5 œ "ß ÞÞÞß :

para tener
:
H0 ÐB9 Ñ  -5 H15 ÐB9 Ñ œ !
5œ"

o, en su versión matricial:
:
f0 ÐB9 Ñ  -5 f15 ÐB9 Ñ œ !
5œ"

Q.E.D.

EJEMPLOS

1. Que el teorema dá una condición necesaria pero no suficiente, lo

muestra el siguiente ejemplo:
0 ÐBß CÑ œ B$ ß con la condición 1ÐBß CÑ œ C œ !Þ

`0 `1
`B  - `B œ $B#  - † ! œ !

`0 `1
`C  - `C œ !-†"œ!
Cœ!

Luego - œ ! ß B œ !ß C œ ! son las soluciones del sistema.

Además À H1Ð!ß !ÑÐBß CÑ œ Ð"ß !Ñ , por lo que H1Ð!ß !Ñ tiene rango
máximo que es 1. Por lo tanto todas las condiciones se cumplen pero 0
claramente no tiene extremo en C œ ! À 0 ÐBß !Ñ œ B$

166
2. Sea 0 ÐBß Cß DÑ œ B  C  D y busquemos extremos condicionados
sobre la esfera unitaria : 1ÐBß Cß DÑ œ B#  C#  D #  " œ !. Como hay
solo una condición, habrá solo un multiplicador -:
`0 `1
`B  - `B œ 1+-(#BÑ œ !
`0 `1
`C  - `C œ "  -Ð#CÑ œ !
`0 `1
`D - `D œ "  -Ð#DÑ œ !
B  C  D#  "
# #
œ!
" " #
Resulta : B œ  œ C œ D ß luego $ † Ð  #- Ñ œ " y por lo tanto
È
#-
-œ „ #$ Þ Se desprende que hay dos soluciones :

Ð È"$ ß È"$ ß È"$ Ñ y Ð  È$

"
ß  È$ ß
"
 È$ Ñ
"

Por otro lado, el rango de la matriz de H1ÐB9 Ñ es

Î È$ Ñ
#

Ð # Ó
<+81 Ð È$ Ó œ "
Ï È# Ò
$
que es máximo. Por lo tanto , si hay máximo y mínimo de 0 sobre la
esfera, deben ser los obtenidos:
Ð È"$ ß È"$ ß È"$ Ñ el máximo y Ð  È"$ ß  È"$ ß  È"$ Ñ el mínimo.
Pero el conjunto sobre el que se buscan los extremos es un conjunto
compacto y la función 0 es continua. Luego tiene que haber máximo y
mínimo.

5.1 PROBLEMAS

1. Sea 1 À Ò!ß ∞Ò Ò ‘ continua y positiva ,

Y œ ÖÐBß CÑ − ‘# À !  B  C× y la función 0 À Y Ò ‘# definida por

0 ÐBß CÑ œ Ð'! 1Ð>Ñ.>ß '! 1Ð>Ñ.>Ñ

BC CB

Demuestre que 0 se puede invertir localmente alrededor de todo punto del

dominio Y

167
2. Encuentre los extremos de las siguientes funciones , sujetas a las
condiciones que se indican:
# #
(a) 0 ÐBß Cß DÑ œ B#  C#  D # à B%  C*  D # œ "
Ð,Ñ 0 ÐBß CÑ œ BC à B  C œ "
Ð-Ñ 0 ÐBß Cß DÑ œ 691 B  691 C  $691 D ß B#  C #  D #  &< # œ ! ß
Bß Cß D  !

3. Encontrar los máximos y mínimos globales de la función:

0 ÐBß CÑ œ $B#  B  C#  "
# #
en el dominio: H œ ÖÐBß CÑ − ‘# À B$  C# Ÿ "×

%Þ Determine el paralelepípedo rectangular de máximo volumen y lados

paralelos a los planos coordenados que puede inscribirse en el elipsoide de
ecuación:
B# C# D#
#  &  % œ "

&. Encuentre la máxima y la mínima distancia del origen a los puntos de la

curva de ecuación:
&B#  'BC  &C# œ )

'. Encuentre los puntos de la superficie de ecuación:

D #  BC œ "
que están más cerca del origen

(Þ Demuestre que, para números reales positivos, el promedio geométrico

es siempre menor o igual al promedio aritmético , es decir:

È
8
B" † B# † † † B8 Ÿ B" B# ÞÞÞB8
8 ß B3   !ß 3 œ "ß ÞÞÞß 8

). Para +ß ,ß - números reales positivos , encuentre el máximo de la

función:
0 ÐBß Cß DÑ œ B+ C, D -
sujeto a la condición:
BCD œ"

*. (*) Encontrar el paralelepípedo rectangular de máximo volumen, con

área total de 48cm#

168