Enunciado

No exercício 61 dos exercícios 3.1 você provou que se f for derivável em a , então

f ' a = lim Δ x → 0 ⁡ f a + Δ x - f ( a - Δ x ) 2   Δ x

Mostre, usando a função valor absoluto, que é possível existir o limite acima, mesmo que f ' ( a ) não exista.

Passo 1

No exercício 61 da seção 3.1, provamos que se o limite que define a derivada de uma função f num ponto x = a existir, então

f ' a = lim Δ x → 0 ⁡ f a + Δ x - f ( a - Δ x ) 2   Δ x

Assim, caso a função seja derivável, temos dois limites que podemos calcular para verificar isso. A pergunta que fica é: a recíproca é verdadeira? Se o limite lim Δ x → 0 ⁡ f a + Δ x - f ( a - Δ x ) 2   Δ x existir, significa que o limite lim Δ x → 0 ⁡ f a + Δ x - f ( a ) Δ x existe?

A questão diz que não e pede para usarmos a função f x = | x | para verificar isso!

Passo 2

Sabemos que a função módulo não é derivável em x = 0 . De fato

lim Δ x → 0 ⁡ f a + Δ x - f ( a ) Δ x = lim Δ x → 0 ⁡ f 0 + Δ x - f ( 0 ) Δ x = lim x → 0 ⁡ | Δ x | Δ x

Sabemos que os limites laterais dão ± 1 , de modo que o limite não existe. Assim, não existe f ' ( 0 ) . No próximo passo vamos tentar calcular o outro limite.

Passo 3

Agora vamos tentar calcular

lim Δ x → 0 ⁡ f a + Δ x - f ( a - Δ x ) 2   Δ x = lim Δ x → 0 ⁡ f 0 + Δ x - f ( 0 - Δ x ) 2   Δ x = lim Δ x → 0 ⁡ Δ x - | - Δ x | 2   Δ x

Mas sabemos que Δ x - - Δ x = Δ x - Δ x = 0 . Assim,

lim Δ x → 0 ⁡ Δ x - | - Δ x | 2   Δ x = lim Δ x → 0 ⁡ 0 2   Δ x = lim Δ x → 0 ⁡ 0 = 0

Portanto, neste caso, o limite lim Δ x → 0 ⁡ f a + Δ x - f ( a - Δ x ) 2   Δ x , mesmo o limite lim Δ x → 0 ⁡ f a + Δ x - f ( a ) Δ x não existindo. Vemos assim que para os casos em que f não é derivável, os limites podem não concordar. Tanto, que uma das hipóteses na demonstração do exercício 61 da seção 3.1 era justamente que f devia ser derivável em x = a !

Resposta

Demonstração.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Faça o gráfico da função f x = x + x . Dê um zoom primeiro em direção ao ponto (-1,0) e então em direção a origem. Qual a diferença entre os comportamentos de f próximo a esses dois pontos? O que você
Onde a função maior inteiro f x = x não é diferenciável? Encontre uma formula para f ' e esboce seu gráfico.
Lembre-se de que uma função f é chamada par se f - x = f ( x ) para todo x em seu domínio, e ímpar se f - x = - f ( x ) para cada um destes x . Demonstre cada uma das afirmativas a seguirA derivada de
Seja f x = - x + 3 s e x3 x - 3s e x ≥ 3 a) f é derivável em 3 ? Justifique.b) f é contínua em 3 ? Justifique.
Seja f x = { x + 1 s e x2 1 s e x ≥ 2 } a) f é contínua em 2 ? Por quê?b) f é derivável em 2 ? Por quê?