Enunciado

Seja f x , y = x 2 + y 2 e seja γ t = x t , y t uma curva diferenciável cuja imagem está contida na curva de nível f x , y = 1 , isto é, para todo t no domínio de γ , f x t , y t = 1 , (dê exemplo de tal curva). Seja γ t 0 = ( x 0 , y 0 ) . Prove que γ ' t 0 ⋅ ∇ f x 0 , y 0 = 0 . Interprete geometricamente.

Passo 1

A curva γ ( t ) é definida pela curva de nível f x , y = 1 , que é a circunferência x 2 + y 2 = 1 , tal curva é parametrizada como γ t = cos ⁡ t , sen ⁡ t .

Precisamos provar que γ ' t 0 ⋅ ∇ f x 0 , y 0 = 0 , para isso precisamos calcular a derivada de γ e o gradiente de f .

Derivando γ ( t )

γ ' t = - sen ⁡ t , cos ⁡ t

E as derivadas de f

f x x , y = 2 x

f y x , y = 2 y

E o gradiente

∇ f x , y = 2 x , 2 y

Passo 2

No ponto t 0 temos γ t 0 = ( x 0 , y 0 ) , mas sabemos que γ t = cos ⁡ t , sen ⁡ t , então

x 0 = cos ⁡ t 0

y 0 = sen ⁡ t 0

Na derivada γ ' t = - sen ⁡ t , cos ⁡ t , quando t = t 0

γ ' t 0 = - sen ⁡ t 0 , cos ⁡ t 0

γ ' t 0 = - y 0 , x 0

E o gradiente no ponto ( x 0 , y 0 )

∇ f x 0 , y 0 = 2 x 0 , 2 y 0

Calculando então o produto escalar

γ ' t 0 ⋅ ∇ f x 0 , y 0 = - y 0 , x 0 ⋅ 2 x 0 , 2 y 0

= - 2 x 0 y 0 + 2 x 0 y 0 = 0

Passo 3

Quando o produto escalar é zero, os vetores aplicados são ortogonais. Podemos provar geometricamente, jogando os vetores no plano, onde os vetores mais escuros são γ ' ( t 0 ) e os mais claros ∇ f ( x 0 , y 0 ) .

Podemos perceber que para cada vetor γ ' ( t 0 ) existe um vetor ∇ f ( x 0 , y 0 ) que é perpendicular.

Resposta

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Nos exercícios 7 a 17, calcular o gradiente do campo escalar dado.13. f x ,y = a r ct gx y .
Nos exercícios 7 a 17, calcular o gradiente do campo escalar dado.10. f x ,y ,z = x y z .
Nos exercícios 7 a 17, calcular o gradiente do campo escalar dado.14. f x ,y = 2 x x - y .
Nos exercícios 7 a 17, calcular o gradiente do campo escalar dado.15. f x ,y ,z = 2 x y + y z 2 + ln ⁡ z .
Nos exercícios 7 a 17, calcular o gradiente do campo escalar dado.16. f x ,y ,z = x + y z .