Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fernando Revilla
Tiempo, aritmética y conjetura de
Goldbach & Docencia matemática
RESUMEN TEÓRICO
Enunciado
1. Hallar los extremos de la función f (x, y) = x + 2y con la condición x 2
+y
2
= 5.
Solución
1. La función de Lagrange es F (x, y) = x + 2y + λ(x 2
+y
2
− 5). Hallemos los puntos críticos, es decir los
puntos a que satisfacen las condiciones necesarias del Teorema 1. Serán las soluciones del sistema
⎧ ∂F
⎪ = 0
⎪
⎪
⎪
⎪ ∂x ⎧ 1 + 2λx = 0
⎪
⎨ ∂F ⇔ ⎨ 2 + 2λy = 0
= 0 ⎩
⎪ ⎪
⎪ ∂y 2 2
⎪ x +y − 5 = 0.
⎪
⎩
⎪
2 2
x +y −5 = 0
Resolviendo obtenemos para λ = 1/2 el punto (x, y) = (−1, −2) , y para λ = −1/2 el (x, y) = (1, 2).
Fácilmente se comprueba la condición de rango máximo en estos puntos. Las parciales segundas de F son
2 2 2
∂ F ∂ F ∂ F
= 2λ , = 0 , = 2λ,
2 2
∂x ∂ x∂ y ∂y
1 0 −1 0
H (−1, −2) = [ ] (def. pos.)., H (1, 2) = [ ] (def. neg.).
0 1 0 −1
Por tanto, tenemos en (−1, −2) mínimo local condicionado para f y en (1, 2) máximo local condicionado para
f.
http://fernandorevilla.es/blog/2014/04/18/maximos-y-minimos-condicionados-multiplicadores-de-lagrange/ 1/3
4/23/2018 Máximos y mínimos condicionados. Multiplicadores de Lagrange | Fernando Revilla
⎧ ∂F
⎪
⎪ = 0
⎪
⎪ ∂x ⎧ y+λ = 0
⎪ ⎪
⎨ ∂F ⇔ ⎨ x+λ = 0
= 0 ⎩
⎪ ⎪
⎪
⎪ ∂y
⎪ x + y = 1.
⎩
⎪
x+y = 1
Resolviendo obtenemos para λ = −1/2 el punto (x, y) = (1/2, 1/2). Fácilmente se comprueba la condición
de rango máximo en estos puntos. Las parciales segundas de F son
2 2 2
∂ F ∂ F ∂ F
= 0 , = 1 , = 0
∂ x2 ∂ x∂ y ∂y2
0 1
H (1/2, 1/2) = [ ].
1 0
Esta matriz no es ni definida positiva ni definida negativa, por tanto nada asegura el teorema 2. Pero en este
caso, la condición x + y = 1 se expresa en paramétricas en la forma x = t, y = 1−t (t ∈ R).
2
φ(t) = f (t, 1 − t) = t − t .
tercero, se verifica φ ′′ ′′
(t1 ) < 0, φ (t2 ) > 0 , es decir en t tenemos máximo local para φ y en t , mínimo.
1 2
Hallemos ahora los valores de x e y que corresponden a esos valores hallados de t. De 1 + tan 2
t = cos
2
t
−−−−−−−−−−−
obtenemos cos t = √1/(1 + tan 2
t) .
– –
Como tan t i
= 2 (i = 1, 2) deducimos cos t 1
= +1/√5, cos t2 = −1/√5. Sustituyendo en las ecuaciones
paramétricas obtenemos respectivamente (x, y) = (1, 2) (punto de máximo local condicionado para f ) y
(x, y) = (−1, −2) (punto de mínimo local condicionado para f ).
http://fernandorevilla.es/blog/2014/04/18/maximos-y-minimos-condicionados-multiplicadores-de-lagrange/ 2/3
4/23/2018 Máximos y mínimos condicionados. Multiplicadores de Lagrange | Fernando Revilla
∂F
⎧ = 0
⎪
⎪
⎪
∂x ⎧ 1 + 2λx = 0
⎪ ⎪
⎪
⎪ ∂F ⎪
⎪ = 0 ⎪
⎪ 1 + 2λy = 0
⎪ ⎪
⎪ ∂y
⎨ ∂F ⇔ ⎨ 1+μ = 0
= 0
⎪ ∂z ⎪
⎪
⎪ 2 2
⎪ x +y = 1
⎪
⎪ 2 2 ⎪
⎪ x +y = 1 ⎪
⎩
⎪ ⎪
⎪
⎩
⎪ z − 2 = 0.
z−2 = 0
– – –
Resolviendo obtenemos para (λ, μ) = (√2/2, −1) el punto P (−√2/2, −√2/2, 2) y para
– – –
(λ, μ) = (−√2/2, −1) el punto Q(√2/2, √2/2, 2). Podemos comprobar fácilmente la condición de rango
máximo en estos puntos. Las parciales segundas de F son
2 2 2 2 2 2
∂ F ∂ F ∂ F ∂ F ∂ F ∂ F
= 2λ , = 0 , = 0 . = 2λ , = 0 , = 0,
2 2 2
∂x ∂ x∂ y ∂ x∂ z ∂y ∂ y∂ z ∂z
– –
√2 0 0⎤ √2
⎡ ⎡− 0 0⎤
– –
H (P ) = ⎢ 0 √2 0⎥ , H (Q) = ⎢ 0 −√2 0⎥ .
⎣ ⎦ ⎣ ⎦
0 0 0 0 0 0
Estas matrices no son ni definida positiva ni definida negativa, por tanto nada asegura el teorema 2.
Procedemos a usar las ecuaciones parametrícas de las condiciones, es decir
x = cos t, y = sin t, z = 2 (t ∈ [0, 2π]). Obtenemos la función
Fácilmente deducimos que para t = π/4 y t = 5π/4 hay respectivamente máximo local y mínimo local para φ.
– –
Sustituyendo estos valores de t en las paramétricas obtenemos que (√2/2, √2/2, 2) es punto de máximo local
– –
condicionado para f y (−√2/2, −√2/2, 2) de mínimo.
Fernando Revilla
Funciona con WordPress.
http://fernandorevilla.es/blog/2014/04/18/maximos-y-minimos-condicionados-multiplicadores-de-lagrange/ 3/3