ECUACION DEL PLANO TANGENTE A UNA SUPERFICIE

Sea 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ3 una función diferenciable sobre un conjunto abierto E

y sea 𝑆 la superficie dada por
𝑆 = {(𝑥, 𝑦, 𝑧) ∈ 𝐸/ 𝐹(𝑥, 𝑦, 𝑧) = 𝑘}
Sea ⃗⃗⃗⃗
𝑥0 = (𝑥0 , 𝑦0 , 𝑧0 ) un punto sobre S y sea

𝑥 = 𝑔(𝑡), 𝑡 ∈ (𝑎, 𝑏)

la ecuación de una curva C cualquiera sobre S que pasa

por 𝑥0 (figura 1). Como ⃗⃗⃗⃗
𝑥0 está sobre C (𝑥
⃗⃗⃗⃗0 es un punto
de C), ⃗⃗⃗⃗
𝑥0 = 𝑔(𝑡0 ) para un cierto 𝑡0 ∈ (𝑎, 𝑏). Y como C
se encuentra sobre S,

𝐹(𝑔(𝑡)) = 𝑘, para todo 𝑡 ∈ (𝑎, 𝑏)

Si suponemos que 𝑔 es diferenciable sobre (𝑎, 𝑏),

entonces,

𝐹 ∘ 𝑔 es diferenciable sobre (𝑎, 𝑏) y 𝐷(𝐹 ∘ 𝑔 )(𝑡0 ) está dada por

⃗∇𝐹( 𝑔(𝑡0 )) • 𝑔′ (𝑡0 ) = 0 (1)

Según la ecuación (1) vemos que en ⃗⃗⃗⃗𝑥0 el gradiente de 𝐹 es ortogonal al vector tangente a
cualquier curva 𝑥 = 𝑔(𝑡) (asociada a una función 𝑔 diferenciable) que se encuentre sobre
la superficie S y pase por ⃗⃗⃗⃗ ⃗ 𝐹( ⃗⃗⃗⃗
𝑥0 . Así, pues, si ∇ 𝑥0 ) ≠ 0𝑣 , las tangentes de todas las curvas
sobre S en el punto ⃗⃗⃗⃗
𝑥0 se encuentran sobre un mismo plano.

Si ⃗∇𝐹( ⃗⃗⃗⃗
𝑥0 ) ≠ 0𝑣 , definimos como plano tangente a la superficie 𝑆 = {(𝑥, 𝑦, 𝑧)/ 𝐹(𝑥, 𝑦, 𝑧) =
𝑘}

en el punto ⃗⃗⃗⃗ 𝒙𝟎 y tiene como vector normal a ⃗𝛁𝑭( ⃗⃗⃗⃗

𝑥0 , al plano que pasa por ⃗⃗⃗⃗ 𝒙𝟎 ) .

Así pues, el plano tangente a S en ⃗⃗⃗⃗

𝑥0 tiene la ecuación:

( 𝑥 − ⃗⃗⃗⃗ ⃗ 𝐹( ⃗⃗⃗⃗
𝑥0 ) • ∇ 𝑥0 ) = 0

Es decir
𝜕𝐹 𝜕𝐹 𝜕𝐹
(𝑥 − 𝑥0 ) (𝑥0 , 𝑦0 , 𝑧0 ) + (𝑦 − 𝑦0 ) (𝑥0 , 𝑦0 , 𝑧0 ) + (𝑧 − 𝑧0 ) (𝑥 , 𝑦 , 𝑧 ) = 0
𝜕𝑥 𝜕𝑦 𝜕𝑧 0 0 0

⃗ 𝐹( ⃗⃗⃗⃗
Donde las derivadas parciales son evaluadas en el punto (𝑥0 , 𝑦0 , 𝑧0 ). Si ∇ 𝑥0 ) = 0𝑣 ,
entonces S no tiene plano tangente en ⃗⃗⃗⃗
𝑥0 .

NOTA:

• ⃗∇𝐹(𝑥⃗⃗⃗⃗0 ) = 𝑔𝑟𝑎𝑑 𝐹(𝑥 ⃗ 𝐹(𝑥0 )

⃗⃗⃗⃗0 ) = 𝐷
• En la ecuación del plano tangente, muchos autores escriben 𝑧𝑡 en lugar de z, para
indicar que se encuentra en el plano tangente.

32
 I) Sea S una superficie dada en la forma:

𝑆 = {(𝑥, 𝑦, 𝑧)/ 𝑧 = 𝐺(𝑥, 𝑦), (𝑥, 𝑦) ∈ 𝐸}

Donde G es diferenciable sobre el conjunto abierto E de ℝ2 .

Haciendo 𝐹(𝑥, 𝑦, 𝑧) = 𝐺(𝑥, 𝑦) − 𝑧, podemos escribir S en la forma:

𝑆 = {(𝑥, 𝑦, 𝑧)/ 𝐹(𝑥, 𝑦, 𝑧) = 0}

Donde F es diferenciable sobre el conjunto abierto {(𝑥, 𝑦, 𝑧)/ (𝑥, 𝑦) ∈ 𝐸, 𝑧 ∈ ℝ}.

Así pues, si ⃗∇𝐹( ⃗⃗⃗⃗

𝑥0 ) ≠ 0𝑣 una ecuación del plano tangente a S en ⃗⃗⃗⃗
𝑥0 = (𝑥0 , 𝑦0 , 𝑧0 ) es

𝑥0 ) • ⃗∇𝐹( ⃗⃗⃗⃗
( 𝑥 − ⃗⃗⃗⃗ 𝑥0 ) = 0

Escribiendo la ecuación anterior en términos de G , obtenemos

(𝑥 − 𝑥0 )𝐷1 𝐺(𝑥0 , 𝑦0 ) + (𝑦 − 𝑦0 )𝐷2 𝐺(𝑥0 , 𝑦0 ) − (𝑧𝑡 − 𝑧0 ) = 0 (a)

como una ecuación del plano tangente a S en (𝑥0 , 𝑦0 , 𝑧0 ). La ecuación (a) puede también
escribirse en la forma
𝜕𝑧 𝜕𝑧
(𝑥 − 𝑥0 ) (𝑥0 , 𝑦0 ) + (𝑦 − 𝑦0 ) (𝑥0 , 𝑦0 ) − (𝑧𝑡 − 𝑧0 ) = 0
𝜕𝑥 𝜕𝑦

Donde las derivadas parciales están evaluadas en el punto (𝑥0 , 𝑦0 ). Además, como
⃗∇𝐹(𝑥0 , 𝑦0 , 𝑧0 ) = (𝐷1 𝐺(𝑥0 , 𝑦0 ), 𝐷2 𝐺(𝑥0 , 𝑦0 ), −1), el gradiente de 𝐹 no puede ser el vector
nulo y, por lo tanto, existe un plano tangente en cada punto de S.

Observación: con la sola idea de indicar que z pertenece al plano tangente, en la ecuación del
plano tangente, en lugar de z se coloca 𝑧𝑡 ).

RECTA NORMAL A UNA SUPERFICIE EN UN PUNTO DADO

Sea 𝑆 = {(𝑥, 𝑦, 𝑧)/ 𝑧 = 𝐺(𝑥, 𝑦), (𝑥, 𝑦) ∈ 𝐸} una superficie, donde 𝐺 es diferenciable sobre
un conjunto abierto E de ℝ2 y ⃗⃗⃗⃗
𝑥0 un punto sobre S.

La superficie asociada a 𝐺 admite plano tangente en ⃗⃗⃗⃗

𝑥0 (visto anteriormente).

Se define como recta normal a la superficie en 𝒙 ⃗⃗⃗⃗𝟎 , a la recta que es normal al plano
tangente en dicho punto y su ecuación vectorial es:

𝑥 = ⃗⃗⃗⃗ ⃗ 𝐹(𝑥
𝑥0 + 𝑡∇ ⃗⃗⃗⃗0 ) con 𝑡 ∈ ℝ
𝜕𝐺 𝜕𝐺
De donde (𝑥, 𝑦, 𝑧) = (𝑥0 , 𝑦0 , 𝑧0 ) + 𝑡 ( 𝜕𝑥 (𝑥0 , 𝑦0 ), 𝜕𝑦 (𝑥0 , 𝑦0 ), −1)

A partir de la cual es posible obtener las ecuaciones paramétricas y cartesiana de la recta.

Ejemplo: Halle las ecuaciones del plano tangente y de la recta normal a la superficie
dada por 𝑧 = 2𝑥 2 + 𝑦 2 𝑒𝑛 (1,2,6)

33
 INTERPRETACION GEOMETRICA DE LA DIFERENCIAL

G es diferenciable sobre el conjunto abierto E de ℝ2 y su gráfica una superficie S dada por

𝑆 = {(𝑥, 𝑦, 𝑧)/ 𝑧 = 𝐺(𝑥, 𝑦), (𝑥, 𝑦) ∈ 𝐸}

Supongamos que la superficie asociada a S

sea la dada en la figura y ⃗⃗⃗⃗
𝑥0 = (𝑥0 , 𝑦0 , 𝑧0 ) un
punto sobre S.

Como sabemos, 𝑆 admite plano tangente en ⃗⃗⃗⃗

𝑥0
, dibujamos el mismo y escribimos su
ecuación:
𝜕𝐺 𝜕𝐺
(𝑥 − 𝑥0 ) (𝑥 , 𝑦 ) + (𝑦 − 𝑦0 ) (𝑥 , 𝑦 )
𝜕𝑥 0 0 𝜕𝑦 0 0
− (𝑧𝑡 − 𝑧0 ) = 0

De donde:
𝜕𝐺 𝜕𝐺
𝑧𝑡 − 𝑧0 = (𝑥 − 𝑥0 ) (𝑥0 , 𝑦0 ) + (𝑦 − 𝑦0 ) (𝑥0 , 𝑦0 ) (1)
𝜕𝑥 𝜕𝑦

Proyectamos ortogonalmente ⃗⃗⃗⃗

𝑥0 sobre el
plano xy y obtenemos en 𝐸 el punto (𝑥0 , 𝑦0 ) .

Consideramos en 𝐸 un punto cualquiera (𝑥, 𝑦) cercano a (𝑥0 , 𝑦0 ), y por el trazamos una recta
paralela al eje 𝑧 hasta intersecar al plano tangente en el punto (𝑥, 𝑦, 𝑧𝑡 ) y a la superficie en el
punto (𝑥, 𝑦, 𝑧).
Trazamos el segmento que une (𝑥0 , 𝑦0 ) con (𝑥, 𝑦) y desde ⃗⃗⃗⃗
𝑥0 trazamos una paralela a ese
segmento, obteniendo así el punto (𝑥, 𝑦, 𝑧0 ).

Volviendo a (1) tenemos:

𝜕𝐺 𝜕𝐺
𝑧𝑡 − 𝑧0 = (𝑥 − 𝑥0 , 𝑦 − 𝑦0 ) • ( 𝜕𝑥 (𝑥0 , 𝑦0 ), 𝜕𝑦 (𝑥0 , 𝑦0 ))

de donde 𝑧𝑡 − 𝑧0 = 𝑑𝐺((𝑥0 , 𝑦0 ), (𝑥 − 𝑥0 , 𝑦 − 𝑦0 ))

Cuando ‖(𝑥, 𝑦) − (𝑥0 , 𝑦0 )‖ es pequeña, nos aproximamos al incremento

∆𝐺((𝑥0 , 𝑦0 ), (𝑥 − 𝑥0 , 𝑦 − 𝑦0 )) por la 𝑑𝐺((𝑥0 , 𝑦0 ), (𝑥 − 𝑥0 , 𝑦 − 𝑦0 )), es decir, nos estamos
aproximando a la superficie por su plano tangente en un entorno de (𝑥0 , 𝑦0 ).

FUNCIONES IMPLICITAS

Sea 𝑓: 𝐷𝑓 ⟶ ℝ/𝐷𝑓 ⊂ ℝ una función real de variable real.

𝑥 ↦ 𝑦 = 𝑓(𝑥)

La función 𝑓 dada por 𝑦 = 𝑓(𝑥) está definida implícitamente por la ecuación 𝐹(𝑥, 𝑦) = 0 sí
y sólo si 𝐹(𝑥, 𝑓(𝑥)) = 0 para toda 𝑥 ∈ 𝐷𝑓

34
Ejemplos:
1
a) La ecuación 𝑥 + 2𝑦 − 10 = 0 define a 𝑦 , dada por 𝑦 = − 2 𝑥 + 5 , como función
implícita de 𝑥, pues ∀𝑥 ∈ ℝ, existen valores reales de 𝑦 para los cuales se satisface
la ecuación dada.
1
(𝑥 + 2 (− 2 𝑥 + 5) − 10 = 𝑥 − 𝑥 + 10 − 10 = 0)
b) 𝑥 2 + 𝑦 2 − 25 = 0 → 𝑦 2 = 25 − 𝑥 2 → 𝑦 = ±√25 − 𝑥 2 con 25 − 𝑥 2 ≥ 0
define a 𝑦1 , 𝑦2 dadas por las ecuaciones:
𝑦1 = √25 − 𝑥 2 con 𝑥 ∈ [−5,5]
𝑦2 = −√25 − 𝑥 2 con 𝑥 ∈ [−5,5]
como funciones implícitas de “𝑥”.
c) 𝑥 2 + 𝑦 2 + 25 = 0 no define a “𝑦” como función implícita de “𝑥”. JUSTIFICAR

d) 3𝑥 2 𝑦 − 𝑠𝑒𝑛 (𝑥𝑦) = 0 no se puede expresar “𝑦” como función de “𝑥” por la

dificultad propia que presenta la misma.

TEOREMA DE EXISTENCIA Y DERIVABILIDAD PARA UNA FUNCION

DEFINIDA EN FORMA IMPLICITA

Teorema de la Función Implícita para funciones con dominio en ℝ2

Sea una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2 y ⃗⃗⃗⃗

𝑥0 = (𝑥0 , 𝑦0 ) 𝑝. 𝑖𝑛𝑡 𝐷𝐹 .

Si
𝜕𝐹 𝜕𝐹
a) 𝐹 es continua y existen 𝜕𝑥 , 𝜕𝑦 y son continuas en una 𝑉(𝑥
⃗⃗⃗⃗0 , 𝛿).
𝜕𝐹
⃗⃗⃗⃗0 ) = 0 y
b) 𝐹(𝑥 𝜕𝑦
(𝑥
⃗⃗⃗⃗0 ) ≠ 0

𝑥0 = (𝑥0 , 𝑦0 ) un rectángulo abierto 𝐻 ⊂ 𝑉(𝑥

entonces, existe, con centro en ⃗⃗⃗⃗ ⃗⃗⃗⃗0 , 𝛿) definido
así:

𝐻 = {(𝑥, 𝑦)/|𝑥 − 𝑥0 | < 𝑎 ∧ |𝑦 − 𝑦0 | < 𝑏}

Tal que ∀𝑥 ∈ (𝑥0 − 𝑎, 𝑥0 + 𝑎) la ecuación 𝐹(𝑥, 𝑦) = 0 tiene solución única dada por

𝑦 = 𝑓(𝑥), que satisface las siguientes propiedades:

i) ∀𝑥 ∈ (𝑥0 − 𝑎, 𝑥0 + 𝑎), 𝑓(𝑥) ∈ (𝑦0 − 𝑏, 𝑦0 + 𝑏)

ii) En 𝑥 = 𝑥0 , 𝑦0 = 𝑓(𝑥0 )
iii) 𝑓 es continua y derivable en (𝑥0 − 𝑎, 𝑥0 + 𝑎) y su derivada es:
𝜕𝐹
(𝑥, 𝑦)
𝑓 ′ (𝑥) = − 𝜕𝑥
𝜕𝐹
(𝑥, 𝑦)
𝜕𝑦

35
Ejemplo:
Aplicando el Teorema de Funciones Implícitas para funciones con dominio en ℝ2 . Calcule
dy
para la función dada en forma implícita por 3𝑥 2 𝑦 − 𝑠𝑒𝑛 (𝑥𝑦) = 0 con ⃗⃗⃗⃗
𝑥0 = (1,0)
dx

𝐹(𝑥, 𝑦) = 3𝑥2 𝑦 − 𝑠𝑒𝑛 (𝑥𝑦)

𝜕𝐹 𝜕𝐹
(𝑥, 𝑦)= 𝑥𝑦 − 𝑦 cos(𝑥𝑦) (𝑥, 𝑦) = 3𝑥2 − 𝑥 cos(𝑥𝑦)
𝜕𝑥 𝜕𝑦

𝜕𝐹 𝜕𝐹
𝐹, 𝜕𝑥 y 𝜕𝑦 son funciones continuas en 𝑉((1,0), 𝛿) (justifique)
𝜕𝐹
Además 𝐹 (1,0)=0 y (1,0) ≠ 0
𝜕𝑦

Entonces, por el Teorema de la existencia y derivabilidad de función implícita,

aseguramos que existe 𝑓 continua y derivable en (1 − 𝑎, 1 + 𝑎) y su derivada es
𝜕𝐹
(𝑥, 𝑦) 𝑥𝑦 − 𝑦 cos(𝑥𝑦)
𝑓 ′ (𝑥) = − 𝜕𝑥 =−
𝜕𝐹 3𝑥2 − 𝑥 cos(𝑥𝑦)
(𝑥, 𝑦)
𝜕𝑦

Definición
Una función G de las variables “𝑥”, “ 𝑦”, está definida implícitamente por la ecuación

𝐹(𝑥, 𝑦, 𝑧) = 0 si y sólo si ∀(𝑥, 𝑦): 𝐹(𝑥, 𝑦, 𝐺(𝑥, 𝑦)) = 0

Teorema de la Función Implícita (para funciones con dominio en ℝ3 )

Sea una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ3 y ⃗⃗⃗⃗

𝑥0 = (𝑥0 , 𝑦0 , 𝑧0 ) 𝑝. 𝑖𝑛𝑡 𝐷𝐹 .

Si
𝜕𝐹 𝜕𝐹 𝜕𝐹
a) 𝐹 es continua y existe 𝜕𝑥 , 𝜕𝑦 , 𝜕𝑧 y son continuas en una 𝑉(𝑥
⃗⃗⃗⃗0 , 𝛿).
𝜕𝐹
⃗⃗⃗⃗0 ) = 0 y
b) 𝐹(𝑥 (𝑥
⃗⃗⃗⃗0 ) ≠ 0
𝜕𝑧

𝑥0 = (𝑥0 , 𝑦0 , 𝑧0 ) un paralelepípedo recto 𝜋 ⊂ 𝑉(𝑥

entonces existe con centro ⃗⃗⃗⃗ ⃗⃗⃗⃗0 , 𝛿), abierto,
definido así: 𝜋 = {(𝑥, 𝑦, 𝑧) / |𝑥 − 𝑥0 | < 𝑎, |𝑦 − 𝑦0 | < 𝑏, |𝑧 − 𝑧0 | < 𝑐} tal que ∀(𝑥, 𝑦) ∈ 𝐻
la ecuación 𝐹(𝑥, 𝑦, 𝑧) = 0 admite solución única dada por 𝑧 = 𝐺(𝑥, 𝑦), que satisface las
propiedades:

i) ∀(𝑥, 𝑦) ∈ 𝐻, 𝐺(𝑥, 𝑦) ∈ (𝑧0 − 𝑐, 𝑧0 + 𝑐)

ii) (𝑥, 𝑦) = (𝑥0 , 𝑦0 ), 𝑧0 = 𝐺(𝑥0 , 𝑦0 )
𝜕𝐺 𝜕𝐺
iii) 𝐺 es continua y existen 𝜕𝑥 y 𝜕𝑦
y son continuas, y se las calculan así:
𝜕𝐹 𝜕𝐹
𝜕𝐺 (𝑥, 𝑦, 𝑧) 𝜕𝐺 (𝑥, 𝑦, 𝑧)
𝜕𝑦
(𝑥, 𝑦) = − 𝜕𝑥 y (𝑥, 𝑦) = −
𝜕𝑥 𝜕𝐹 𝜕𝑦 𝜕𝐹
(𝑥, 𝑦, 𝑧) (𝑥, 𝑦, 𝑧)
𝜕𝑧 𝜕𝑧

36
Ejemplo

Aplicando el Teorema de Funciones Implícitas para funciones con domino en ℝ3 , mostrar

que en un entorno del punto (4,3,0), la ecuación 𝑥 2 𝑧 + 𝑠𝑒𝑛(𝑦𝑧) = 0 puede resolverse para
𝑧 en términos de 𝑥 y 𝑦.
𝜕𝑧 𝜕𝑧
Calcular: 𝜕𝑥 y 𝜕𝑦

𝐹(𝑥, 𝑦, 𝑧) = 𝑥 2 𝑧 + 𝑠𝑒𝑛(𝑦𝑧) , F es continua, pues es suma de funciones continuas

𝐹(4,3,0) = 42 . 0 + 𝑠𝑒𝑛(3.0) = 0 + 0 = 0
𝜕𝐹 𝜕𝐹 𝜕𝐹
(𝑥, 𝑦, 𝑧) = 2𝑥𝑧 , (𝑥, 𝑦, 𝑧) = 𝑧 cos(𝑦𝑧) , (𝑥, 𝑦, 𝑧) = 𝑥 2 + 𝑦. cos(𝑦𝑧)
𝜕𝑥 𝜕𝑦 𝜕𝑧

Las derivadas parciales son continuas y

𝜕𝐹
(4,3,0) = 42 + 3. cos(3.0) = 16 + 3 ≠ 0
𝜕𝑧
Luego existe z=G(x,y) tal que

𝜕𝐹 𝜕𝐹
𝜕𝐺 (𝑥, 𝑦, 𝑧) 2𝑥𝑧 𝜕𝐺 (𝑥, 𝑦, 𝑧)
𝜕𝑦
(𝑥, 𝑦) = − 𝜕𝑥 =− 2 y (𝑥, 𝑦) = −
𝜕𝑥 𝜕𝐹 𝑥 + 𝑦. cos(𝑦𝑧) 𝜕𝑦 𝜕𝐹
(𝑥, 𝑦, 𝑧) (𝑥, 𝑦, 𝑧)
𝜕𝑧 𝜕𝑧

FUNCIONES DEFINIDAS IMPLICITAMENTE POR SISTEMAS DE

ECUACIONES

Teorema:
Sean las funciones
𝐹: 𝐷𝐹 ⟶ ℝ/ 𝐷𝐹 ⊂ ℝ4 𝐺: 𝐷𝐺 ⟶ ℝ/ 𝐷𝐺 ⊂ ℝ4
(𝑥, 𝑦, 𝑢, 𝑣) ↦ 𝐹(𝑥, 𝑦, 𝑢, 𝑣) (𝑥, 𝑦, 𝑢, 𝑣) ↦ 𝐺(𝑥, 𝑦, 𝑢, 𝑣)

y 𝑃0 = (𝑥0 , 𝑦0 , 𝑢0 , 𝑣0 ) 𝑝. 𝑖𝑛𝑡 𝐷𝐹 ∩ 𝐷𝐺 .

Si
a) F y G son continuas y existen 𝐹𝑥 , 𝐹𝑦 , 𝐹𝑢 , 𝐹𝑣 ; 𝐺𝑥 , 𝐺𝑦 , 𝐺𝑢 , 𝐺𝑣 y son continuas en una
𝑉(𝑃0 , 𝛿) y,
𝜕(𝐹,𝐺) 𝐹 𝐹𝑣
b) 𝐹(𝑃0 ) = 0, 𝐺(𝑃0 ) = 0 y 𝜕(𝑢,𝑣) ⌋ ≝ | 𝑢 | ≠0
𝑃0 𝐺𝑢 𝐺𝑣 𝑃
0
entonces existe con centro en 𝑃0 un paralelepípedo tetradimensional 𝜋 (porque vamos a estar
en cuatro dimensiones), 𝜋 ⊂ 𝑉(𝑃0 , 𝛿) abierto, definido así:
𝜋 = {(𝑥, 𝑦, 𝑢, 𝑣)/ |𝑥 − 𝑥0 | < 𝑎, |𝑦 − 𝑦0 | < 𝑏, |𝑢 − 𝑢0 | < 𝑐 ∧ |𝑣 − 𝑣0 | < 𝑑}
tal que ∀(𝑥, 𝑦) ∈ 𝐻 (con 𝐻 = {(𝑥, 𝑦)/ |𝑥 − 𝑥0 | < 𝑎 ∧ |𝑦 − 𝑦0 | < 𝑏}) el sistema
𝐹(𝑥, 𝑦, 𝑢, 𝑣) = 0
{
𝐺(𝑥, 𝑦, 𝑢, 𝑣) = 0
admite solución única (𝑢, 𝑣) (con 𝑢 = 𝐹̃ (𝑥, 𝑦), 𝑣 = 𝐺̃ (𝑥, 𝑦)) que satisface las siguientes
propiedades:
i) ∀(𝑥, 𝑦) ∈ 𝐻, 𝑢 ∈ (𝑢0 − 𝑐, 𝑢0 + 𝑐) y 𝑣 ∈ (𝑣0 − 𝑐, 𝑣0 + 𝑐)

37
 ii) (𝑥, 𝑦) = (𝑥0 , 𝑦0 ), 𝑢0 = 𝐹̃ (𝑥0 , 𝑦0 ) 𝑣0 = 𝐺̃ (𝑥0 , 𝑦0 )
𝜕𝐹̃ 𝜕𝐹̃ 𝜕𝐺̃ 𝜕𝐺̃
iii) 𝐹̃ y 𝐺̃ son continuas y existen 𝜕𝑥 , 𝜕𝑦, ,
𝜕𝑥 𝜕𝑦
y son continuas, y se las calcula
así:

𝜕(𝐹, 𝐺) 𝜕(𝐹, 𝐺)
𝜕(𝑥, 𝑣) 𝜕(𝑦, 𝑣)
𝑢𝑥 = 𝐹̃𝑥 = − , 𝑢𝑦 = 𝐹̃𝑦 = −
𝜕(𝐹, 𝐺) 𝜕(𝐹, 𝐺)
𝜕(𝑢, 𝑣) 𝜕(𝑢, 𝑣)

𝜕(𝐹, 𝐺) 𝜕(𝐹, 𝐺)
𝜕(𝑢, 𝑥) 𝜕(𝑢, 𝑦)
𝑣𝑥 = 𝐺̃𝑥 = − , 𝑣𝑦 = 𝐺̃𝑦 = −
𝜕(𝐹, 𝐺) 𝜕(𝐹, 𝐺)
𝜕(𝑢, 𝑣) 𝜕(𝑢, 𝑣)
Ejemplo: Dado el sistema de ecuaciones
𝑥 2 + 𝑦𝑢 − 2𝑣 = 0
{
𝑥𝑣 − 𝑦 2 + 3𝑢 − 4 = 0

Considere que se cumplen las condiciones para que 𝑢 y 𝑣 sean funciones de 𝑥 e 𝑦.

𝜕𝑢 𝜕𝑢 𝜕𝑣 𝜕𝑣
Calcule: 𝜕𝑥 , 𝜕𝑦, 𝜕𝑥 y 𝜕𝑦

EXTREMOS RELATIVOS Y ABSOLUTOS DE UNA FUNCION REAL DE

VARIABLE VECTORIAL

Definición: extremos relativos

Sea 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ𝑛 y ⃗⃗⃗⃗
𝑥0 𝑝. 𝑖𝑛𝑡 𝐷𝐹
𝑥 ↦ 𝐹(𝑥 )

𝑥0 máximo relativo ⟺ ∃𝑉(⃗⃗⃗

F tiene en ⃗⃗⃗⃗ 𝑥0 , 𝛿) ⊂ 𝐷𝐹 /∀𝑥 ⃗ ∈ 𝑉∗ (⃗⃗⃗
⃗ : (𝑥 𝑥0 , 𝛿) ⇒ 𝐹(𝑥
⃗ ) < 𝐹(𝑥
⃗ 0 ))

𝑥0 mínimo relativo ⟺ ∃𝑉(⃗⃗⃗

F tiene en ⃗⃗⃗⃗ 𝑥0 , 𝛿) ⊂ 𝐷𝐹 /∀𝑥 ⃗ ∈ 𝑉∗ (𝑥⃗⃗⃗0 , 𝛿) ⇒ 𝐹(𝑥
⃗ : (𝑥 ⃗ ) > 𝐹(𝑥
⃗ 0)

Ejemplo: Sea 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2

(𝑥, 𝑦) ↦ 𝐹(𝑥, 𝑦)

F tiene en ⃗⃗⃗
𝑥1 un mínimo relativo. F(⃗⃗⃗
𝑥1 )
es un mínimo relativo.

F tiene en ⃗⃗⃗⃗
𝑥2 un máximo relativo.

F(⃗⃗⃗⃗
𝑥2 ) es un máximo relativo.

Definición: extremos absolutos

Sea 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ𝑛 , ⃗⃗⃗⃗
𝑥0 ∈ 𝐷𝐹
𝑥 ↦ 𝐹(𝑥 )

38
𝐹 tiene en ⃗⃗⃗⃗
𝑥0 máximo absoluto ⟺ ∀𝑥 : (𝑥 ∈ 𝐷𝐹 ⇒ 𝐹(𝑥 ) ≤ 𝐹(𝑥0 ))

𝐹 tiene en ⃗⃗⃗⃗
𝑥0 mínimo absoluto ⟺ ∀𝑥 : (𝑥 ∈ 𝐷𝐹 ⇒ 𝐹(𝑥 ) ≥ 𝐹(𝑥0 ))
Ejemplo:

F tiene en ⃗⃗⃗⃗
𝑥0 un máximo absoluto F tiene en ⃗⃗⃗⃗
𝑥0 un máximo absoluto

𝑥0 es p.frontera del DF
⃗⃗⃗⃗ 𝑥0 es p.interior del DF
⃗⃗⃗⃗

¿El máximo absoluto es siempre máximo relativo? NO, pues en los puntos frontera puede
haber máximo absoluto, el cual no puede ser máximo relativo, ya que por definición estos
últimos ocurren en puntos interiores al dominio de la función.

Condiciones necesarias para la existencia de extremos relativos

Teorema:
Sea una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2 y (𝑥0 , 𝑦0 ) 𝑝. 𝑖𝑛𝑡 𝐷𝐹
(𝑥, 𝑦) ↦ 𝐹(𝑥, 𝑦)
𝜕𝐹 𝜕𝐹
⃗ 𝐹(𝑥0 , 𝑦0 ) = 0𝑣
Si 𝐹 tiene en (𝑥0 , 𝑦0 ) extremo relativo y existen 𝜕𝑥 (𝑥0 , 𝑦0 ) y 𝜕𝑦 (𝑥0 , 𝑦0 ) , entonces 𝐷

Como consecuencia del Teorema que se acaba de presentar, se tiene que:

Dada una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2 y (𝑥0 , 𝑦0 ) 𝑝. 𝑖𝑛𝑡 𝐷𝐹
Si 𝐹 es diferenciable en ⃗⃗⃗⃗
𝑥0 y 𝐹 tiene extremo relativo en ⃗⃗⃗⃗ ⃗⃗⃗⃗0 ) = 0
𝑥0 , entonces 𝑑𝐹(𝑥

Condiciones suficientes para la existencia de extremos relativos en funciones reales de

un vector

Definición:
Sea una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2 𝑥0 = (𝑥0 , 𝑦0 ) 𝑝. 𝑖𝑛𝑡 𝐷𝐹
y ⃗⃗⃗⃗
Definimos el Hessiano en ⃗⃗⃗⃗
𝑥0 como el siguiente determinante:
𝜕2𝐹 𝜕2𝐹
(𝑥0 , 𝑦0 ) (𝑥 , 𝑦 )
| 𝜕𝑥 2 𝜕𝑥𝜕𝑦 0 0 |
𝐻(𝑥 ⃗⃗⃗⃗0 ) = | 2 |
𝜕 𝐹 𝜕2𝐹
(𝑥 , 𝑦 ) (𝑥 , 𝑦 )
𝜕𝑥𝜕𝑦 0 0 𝜕𝑦 2 0 0

39
Definición: Dada una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2 ,
𝜕𝐹 𝜕𝐹
𝑥0 = (𝑥0 , 𝑦0 ) es punto crítico de 𝐹 , si y sólo si,
⃗⃗⃗⃗ 𝜕𝑥
(𝑥0 , 𝑦0 ) = 0 y
𝜕𝑦
(𝑥0 , 𝑦0 ) = 0
TEOREMA:
Sea una función 𝐹: 𝐷𝐹 ⟶ ℝ/𝐷𝐹 ⊂ ℝ2 .
𝑥0 = (𝑥0 , 𝑦0 ), 𝐹 y sus derivadas parciales de primer y segundo
Si en una cierta vecindad de ⃗⃗⃗⃗
𝑥0 = (𝑥0 , 𝑦0 ) se cumplen las condiciones necesarias para
orden son continuas, y si además en ⃗⃗⃗⃗
que la función tenga en el un extremo relativo y además las derivadas parciales de segundo
orden no son todas nulas, entonces la condición suficiente para que 𝐹 tenga en ⃗⃗⃗⃗
𝑥0 extremo
⃗⃗⃗⃗𝟎 ) > 𝟎. Además:
relativo es que 𝑯(𝒙
𝜕2 𝐹
Si (𝑥0 , 𝑦0 ) > 0, entonces 𝐹 tiene en ⃗⃗⃗⃗
𝑥0 mínimo relativo.
𝜕𝑥 2
𝜕2 𝐹
Si (𝑥0 , 𝑦0 ) < 0, entonces 𝐹 tiene en ⃗⃗⃗⃗
𝒙𝟎 máximo relativo.
𝜕𝑥 2

• Si cumpliéndose la condición necesaria resulta 𝑯(𝒙 ⃗⃗⃗⃗𝟎 ) < 𝟎, entonces 𝑭 no tiene

extremo relativo en ⃗⃗⃗⃗
𝒙𝟎 (es un punto de ensilladura).
• Si cumpliéndose la condición necesaria, resulta 𝑯(𝒙 ⃗⃗⃗⃗𝟎 ) = 𝟎, no podemos asegurar
nada respecto a la existencia de extremos en 𝒙⃗⃗⃗⃗𝟎 . Hay duda.

Ejemplo: Halle los extremos relativos, si existen, de la siguiente función dada por
𝐹(𝑥, 𝑦) = 𝑥 2 + 𝑦 2

Calculamos las derivadas parciales de primer orden de 𝐹

𝜕𝐹 𝜕𝐹
(𝑥, 𝑦) = 2𝑥 , (𝑥, 𝑦) = 2𝑦
𝜕𝑥 𝜕𝑦

Planteamos y resolvemos el sistema de ecuaciones, que surge de igualar las derivada

parciales a cero.
2𝑥 = 0
{ Solución: (𝑥, 𝑦)=(0,0) (punto crítico)
2𝑦 = 0
Evaluamos el valor de las derivadas parciales segundas de 𝐹 en el punto crítico (0,0)
𝜕2 𝐹 𝜕2 𝐹 𝜕2 𝐹
2
(0,0) =2, (0,0) = 0, (0,0) = 2
𝜕𝑥 𝜕𝑥𝜕𝑦 𝜕𝑦 2

Calculamos el determinante que corresponde al Hessiano

2 0
𝐻(0,0) = | |=4>0
0 2
Por lo tanto en (0,0) hay un extremo relativo
𝜕2 𝐹
(0,0) =2>0 por lo tanto en (0,0) mínimo relativo.
𝜕𝑥 2

40