Enunciado
Cálculo - Um curso de Cálculo Volume 2 - 5ª Edição - Hamilton Luiz Guidorizzi- Ed: 5º - Capítulo 13.4 - Ex. 22
Seja diferenciável no aberto de e sejam e duas curvas definidas e diferenciáveis num intervalo aberto e com imagens em . Suponha , , , e o versor de . Suponha ainda que não seja paralelo a . Prove que existe tal que
e
Passo 1
O problema fala de uma função derivável de duas variáveis definida em um aberto e cita duas curvas e que se cruzam no ponto . Além disso, nesse ponto, a norma do vetor tangente a essas curvas é , isto é, o vetor tangente é unitário para .
A questão ainda diz que é o versor de . Isso significa que no ponto , o sentido de maior crescimento de é dado pela curva .
Queremos provar que para um pouco maior que , o valor de sobre é maior que sobre , e o contrário ocorre para um pouco menor que . Para isso, vamos usar a derivada de uma função de duas variáveis restrita a uma curva é dada por
Passo 2
Para simplificar um pouco a resolução, vamos definir duas novas funções:
O queremos mostrar é que existe tal que, no intervalo tenhamos , enquanto no intervalo ocorra o contrário: .
Para isso, vamos calcular e :
Como :
Note que e só diferem pelo vetor tangente no produto escalar. Para simplificar a notação, vamos chamar . Podemos reescrever então:
Vou justificar de onde eu tirei isso: sabemos que aponta na direção de . Assim, quando tomamos o produto escalar, basta multiplicar as normas:
Por outro lado, sabemos que e não são paralelos. Chamando de o ângulo entre eles e como é paralelo a , tiramos que
Vemos então que
Passo 3
Vamos definir agora uma nova função:
Note que como , temos que
Assim,
Em particular,
Temos duas informações importantes sobre : e . Como é contínua e crescente e se anula para , para um pouquinho maior que ela deve crescer, de modo que . Analogamente, para um um pouquinho menor que ela deve diminuir, de modo que .
Usando notação matemática mais formal, temos que existe tal que para e que para .
Por fim, basta ver que
Como e , concluímos a demonstração do teorema.
Resposta
Demonstração.