Enunciado
Cálculo - Um curso de Cálculo Volume 2 - 5ª Edição - Hamilton Luiz Guidorizzi- Ed: 5º - Capítulo 16.5 - Ex. 27
Sejam , ande , e são constantes não simultaneamente nulas. Seja . Suponha que seja solução do sistema
Supondo que os multiplicadores de Lagrange associados ao problema sejam estritamente positivos, prove que para todo .
Passo 1
Não tem segredo, devemos resolver o sisteminha
para provar que realmente para . Vamos lá!
Passo 2
Vamos começar calculando o vetor :
Ótimo! Agora façamos o mesmo para o vetor :
E pronto, já temos os gradientes!
Passo 3
Agora, vamos substituir e no sisteminha , o que nos fornece:
Lembre-se que este sisteminha na verdade representa 3 equações:
Ou, rearranjando e reescrevendo para o ponto :
Agora, dividindo a 1ª equação pela 2ª, é obtido
Logo, . Substituindo da 3ª equação, saímos com e, retornando para a 1ª equação, finalmente obtemos .
Jogando os valores que encontramos na definição de , obtemos
Daí,
Mas , logo
Já falta pouco!
Mas os termos nesse numerador se cancelam:
Logo,
Portanto, qual a implicação direta de ter multiplicadores de Lagrange positivos? Segundo a equação acima, , como queríamos provar!
Resposta
Ei, a resposta está no passo a passo :)