Enunciado
Cálculo - Um curso de Cálculo Volume 2 - 5ª Edição - Hamilton Luiz Guidorizzi- Ed: 5º - Capítulo 16.3 - Ex. 2
Seja , onde e são constantes. Prove que se for extremante local de , então será extremante global.
Passo 1
Bom, queremos mostrar que se um ponto for extremante local de , então ele será extremante global. A forma como o enunciado de não é a melhor forma de se trabalhar com polinômios.
A função é que o chamamos de forma quadrática mais geral possível. Em cursos de geometria analítica, você aprende que sempre é possível redefinir o seu sistema de coordenadas de modo a escrever a forma quadrática como
A demonstração disso envolve um pouquinho de álgebra linear (diagonalização de matriz, bla bla bla...), por isso vou te poupar disso, mas acredite em mim, sempre é possível fazer.
Para não ficar escrevendo esse monte de variáveis com , vou omitir ela e escrever:
Mas tenha em mente que essas coordenadas e constantes não são as mesmas do enunciado hein!
Passo 2
Note que
Assim, tem apenas um ponto crítico exatamente em .
O enunciado deu uma sugestão bem legal: se definimos uma função
com e constante, temos que
onde . Note que o que estamos fazendo é ver como varia quando percorremos o plano por uma reta cuja direção é dada por . Assim, conforme mudamos a direção, e mudam, logo muda, porém o tipo de função é sempre o mesmo: uma parábola!
Sabemos que as parábolas têm apenas um ponto crítico (extremo local) e que ele sempre será extremo global. Neste caso, a parábola tem sempre um extremo local (e global) em , o que equivale dizer que a função tem um extremo local (e global) em .
Provamos assim que para um o polinômio de segundo grau em duas variáveis, se for um extremo local, ele também será global!
Resposta
Demonstração.