El teorema de los multiplicadores de Lagrange.

En los problemas de optimización, el método de los multiplicadores de LaGrange, llamados así en

honor a Joseph Louis LaGrange , es un procedimiento para encontrar los máximos y mínimos de
funciones de múltiples variables sujetas a restricciones. Este método reduce el problema
restringido con n variables a uno sin restricciones de n + k variables, donde k es igual al número de
restricciones, y cuyas ecuaciones pueden ser resueltas más fácilmente. Estas nuevas variables
escalares desconocidas, una para cada restricción, son llamadas multiplicadores de LaGrange. El
método dice que los puntos donde la función tiene un extremo condicionado con k restricciones,
están entre los puntos estacionarios de una nueva función sin restricciones construida como una
combinación lineal de la función y las funciones implicadas en las restricciones, cuyos coeficientes
son los multiplicadores.
La demostración usa derivadas parciales y la regla de la cadena para funciones de varias variables.
Se trata de extraer una función implícita de las restricciones, y encontrar las condiciones para que
las derivadas parciales con respecto a las variables independientes de la función sean iguales a
cero.

Sea g una función de dos variables suficientemente regular y consideremos la curva C de ecuación
implícita g (x ,y )= 0, es decir, {xy } 2 C g : (x,y ) : (, ) 0. = ∈ = \ Se trata de un conjunto cerrado y
supongamos que es un conjunto acotado. Si 2 f xy U f xy :( , ) ( , ) , ∈⊆ → ∈ \ \ con C U⊆ , es una
función suficientemente regular (en particular continua) entonces alcanza el máximo y el mínimo
absolutos en C. Sin embargo, ningún punto de la curva es necesariamente un punto crítico de la
función f , luego las técnicas estudiadas en la sección anterior no son válidas en este caso. Sin
embargo, si 2 C t I Ct xt yt : ( ) : ( ( ), ( )) , ∈⊆ → = ∈ \ \ siendo ( ) x = x t e ( ) y = y t funciones
suficientemente regulares, es una parametrización de la curva , C y consideramos la función de
una variable h t I ht f xt yt : ( ) : ( ( ), ( )) , ∈⊆ → = ∈ \ \ se verifica que: f alcanza un máximo
(mínimo) absoluto en el punto 00 0 ( , ) () x y Ct C = ∈ si y sólo si h alcanza un máximo (mínimo)
absoluto en el punto 0t I ∈ . Por tanto, el problema de obtener los extremos de la función f en C se
reduce a obtener los extremos absolutos de la función h en I. A veces no es posible determinar
una parametrización de la curva , C hecho que ocurre generalmente cuando la curva está definida
implícitamente por la ecuación ( , ) 0. gxy = En este caso se acude al método de los multiplicadores
de Lagrange que exponemos a continuación.

Multiplicadores de Lagrange para funciones de dos variables. Antes de enunciar el resultado

central de esta sección vamos a presentar un ejemplo que ilustrará el camino a seguir. EJEMPLO.
Consideremos la circunferencia C de ecuación 2 2 x y + = 2 y la función f (, ) . xy x y = + Queremos
determinar los puntos de donde la función f alcanza el máximo y el mínimo absolutos. Observa
que estos puntos existen puesto que C es un conjunto cerrado y acotado y f es una función
continua. Consideremos las rectas x + y c = , siendo c∈\. En los puntos (, ) x y donde esta recta
corta a C, tenemos que f (, ) . xy c = Si hacemos variar c∈\, obtenemos un haz de rectas paralelas.
El valor máximo (o mínimo) de c en puntos de la curva C se obtiene cuando la recta
correspondiente es tangente a C. En dichos puntos, la función f alcanza los extremos absolutos.
Observa que en dichos puntos, los vectores normales a la curva C, esto es (2 ,2 , x y) y el vector
normal a la recta, esto es ( ) 1,1 , deben ser proporcionales. Por tanto, existirá λ ∈\ tal que 2x = λ y
2 . y = λ En consecuencia x = y y los puntos son (1,1 ,) donde se alcanza el máximo absoluto y ( ) − −
1, 1 , donde se alcanza el mínimo absoluto

DEFINICIÓN. Sea 2 f :( x ,y )u f (x ,y ) ∈⊆ → ∈ \ \ una función y sea C U⊆ una curva de

ecuación implícita g(xy)0. = Se dice que f alcanza en (x ,y ) C ∈ un máximo relativo sujeto
(condicionado) a la restricción gxy (x ,y ) 0 = si existe un disco D centrado en (x ,y ) tal que f
(x ,y ) f(x ,y ) ≥ para todo (x ,y ) DC ∈ ∩ ((x ,y ) D ∈ y gxy (x ,y ) 0 = ). Se dice que f alcanza en 0
0 (x ,y ) C ∈ un mínimo relativo sujeto (condicionado) a la restricción gxy (x ,y ) 0, = si existe
un disco D centrado en 0 0 (x ,y ) tal que

f (x ,y ) f (x,y ) ≤ para todo (x ,y ) y DC ∈ ∩ ((x ,y ) D ∈ y (x ,y ) g =0 ). En ambos casos decimos

que f alcanza en (x ,y ) y C ∈ un extremo relativo sujeto (condicionado) a la restricción (x
,y ).

Observa que los extremos absolutos de la función f en C se alcanzan en puntos donde la función f
alcanza extremos relativos condicionados a g (x ,y )= 0.