Enunciado
Cálculo - Cálculo com Geometria Analítica Volume 1 - 3ª Edição - Louis Leithold- Ed: 3º - Capítulo 2.9 - Ex. 18
Prove o Teorema 2.9.1, se .
Passo 1
O domínio de é o conjunto de todos os números reais, exceto 0. Logo está dentro do domínio de . Assim teremos que provar .
Passo 2
Usando a Definição 2.1.1 obtemos
Se , então
Se , então
Como
(pois
Assim podemos reformular a expressão como sendo
Se , então
Passo 3
Como agora temos, além de temos o fator . Para provr a existência do limite vamos restringir pra obter uma desigualdade envolvendo . Escolhendo o intervalo aberto exigido pela Definição 2.1.1 como sendo , que contém , mas não 0, estamos exigindo
. Então,
e
(pois
Passo 4
Tendo e podemos mostrar que
Primeiro manipulamos
Agora manipulamos
e temos que
Passo 5
Como queremos achar e a afirmativa acima indica que devemos requerer isto é . Assim devemos aplicar duas restrições e e . E para que ambas sejam satisfeitas devemos tomar como o menor dos dois números. Prosseguindo temos
, pois
Passo 6
Demonstramos que tomar como o menor dos dois números para , a seguinte afirmativa é verdadeira
Se , então
O que prova que , ou seja, para .
Resposta
Ei, a resposta está no passo a passo :)