Explique por que o Teorema do Confronto (Sandwich Theorem) formaliza a ideia intuitiva de “apertar” o valor de uma função entre duas outras conhecidas.

Passo 1

O que o enunciado pede: explicar por que o Teorema do Confronto (Sandwich Theorem) formaliza a ideia intuitiva de “apertar” o valor de uma função entre duas outras conhecidas.
Informações relevantes típicas que o teorema usa (essas são as hipóteses padrão que vou considerar):
  • Existem três funções g,h,f definidas numa vizinhança de um ponto a (talvez exceto em a propriamente dito).
  • Para todo x suficientemente próximo de a vale a desigualdade
g(x)\le f(x)\le h(x).
  • Sabe-se que
\lim_{x\to a} g(x)=\lim_{x\to a} h(x)=L.
O pedido é: justificar (intuitiva e rigorosamente) por que disso segue que \lim_{x\to a} f(x)=L.

Passo 2

Intuição geométrica — a ideia do “apertar”. Imagine no plano as curvas y=g(x) e y=h(x) que, conforme x se aproxima de a, ambas se aproximam do mesmo ponto vertical y=L. A desigualdade g(x)\le f(x)\le h(x) diz que o gráfico de y=f(x) está sempre entre as duas curvas. Se as duas curvas vão “fechar” em torno da altura L, o gráfico de f fica preso no meio e também é forçado a se aproximar de L. É como colocar um objeto entre duas paredes que estão se aproximando: o objeto fica “apertado” e só pode ficar onde as paredes vão, isto é, em L.

Passo 3

Relembrando a definição precisa de limite (ferramenta que o teorema usa): dizer que \lim_{x\to a} f(x)=L significa o seguinte em linguagem formal:
  • Para todo \varepsilon>0 (um erro desejado), existe \delta>0 tal que, sempre que 0<|x-a|<\delta, tem-se |f(x)-L|<\varepsilon.
    Explicando as letras:
  • \varepsilon é o quanto aceitamos nos afastar de L verticalmente.
  • \delta é o raio horizontal ao redor de a onde essa proximidade vertical acontece.
    Essa é a linguagem que vamos usar para transformar a intuição em prova rigorosa.

Passo 4

Estratégia de prova em linguagem \varepsilon- \delta. A ideia é: dado qualquer \varepsilon>0 vamos mostrar que existe \delta>0 tal que 0<|x-a|<\delta implica |f(x)-L|<\varepsilon. Como g e h têm limite L, para o mesmo \varepsilon já existem \delta_1,\delta_2>0 tais que:
0<|x-a|<\delta_1 \Longrightarrow |g(x)-L|<\varepsilon,
0<|x-a|<\delta_2 \Longrightarrow |h(x)-L|<\varepsilon.
Escolhe-se então
\delta=\min(\delta_1,\delta_2).
Assim, sempre que 0<|x-a|<\delta as duas desigualdades acima valem simultaneamente; em particular
L-\varepsilon < g(x)\le f(x)\le h(x) < L+\varepsilon.
Dessa cadeia de desigualdades segue imediatamente
|f(x)-L|<\varepsilon.
Isso completa a prova: para todo \varepsilon>0 existe \delta>0 (o mínimo tomado) que garante |f(x)-L|<\varepsilon quando 0<|x-a|<\delta. Assim \lim_{x\to a} f(x)=L.

Passo 5

Comentando cada passo da prova para fixar a intuição:
  • Sabendo que g e h se aproximam de L, podemos tornar g(x) e h(x) arbitrariamente próximos de L escolhendo x suficientemente perto de a.
  • Como f(x) fica sempre entre g(x) e h(x), se ambos estão dentro do intervalo (L-\varepsilon,L+\varepsilon), então f(x) também tem de estar dentro desse intervalo.
  • A escolha de \delta como mínimo de \delta_1,\delta_2 garante que a condição para ambos os limites das funções extremas se cumpra ao mesmo tempo. Esse é o passo técnico que transforma a imagem das “duas paredes se aproximando” em um argumento \varepsilon- \delta rigoroso.

Passo 6

Um exemplo clássico e simples que usa essa ideia (muito útil em prova): mostrar que
\lim_{x\to 0} x^{2}\sin\!\left(\tfrac{1}{x}\right)=0.
Explicação passo a passo:
  • Para todo x\neq 0 sabe-se que -1\le \sin\!\left(\tfrac{1}{x}\right)\le 1.
  • Multiplicando essa desigualdade por x^{2}\ge 0 obtém-se
-x^{2} \le x^{2}\sin\!\left(\tfrac{1}{x}\right) \le x^{2}.
  • As funções g(x)=-x^{2} e h(x)=x^{2} têm ambas limite 0 quando x\to 0.
  • Pelo Teorema do Confronto, a função do meio tem também limite 0. Isso evita ter de trabalhar diretamente com \sin(1/x) que oscila muito; basta “apertar” pelo envelope x^{2} e -x^{2}.

Passo 7

Quais condições são essenciais — armadilhas a evitar em provas:
  • A desigualdade g(x)\le f(x)\le h(x) precisa valer numa vizinhança de a (pode falhar em a em si), não apenas em um número isolado de pontos.
  • É crucial que \lim_{x\to a} g(x) e \lim_{x\to a} h(x) existam e sejam iguais. Se os limites das extremas forem diferentes, não dá para concluir nada sobre f.
  • O valor de f(a) (se estiver definido) é irrelev; o teorema trata do limite quando x\to a, não do valor no ponto.

Passo 8

Variações e usos práticos (dicas de prova):
  • O mesmo raciocínio vale para limites laterais e para sequências (troca-se x\to a por n\to\infty e as normas de \varepsilon- \delta por \varepsilon- N).
  • Checklist rápido para usar o teorema numa prova: (1) encontre funções simples g,h que controlem f; (2) mostre g\le f\le h numa vizinhança; (3) calcule \lim g e \lim h; (4) verifique que são iguais a L; (5) conclua \lim f=L.
  • O teorema é especialmente útil quando a função do meio oscila ou é complicada, mas pode ser dominada por funções mais simples cujo limite é conhecido.

Passo 9

Palavras finais de incentivo: é normal ficar meio perdido com a formalidade \varepsilon- \delta no começo. Pense primeiro com a imagem das “duas paredes fechando” — isso dá a intuição — e depois traduza para o argumento técnico de escolher \delta como mínimo dos \delta das paredes. Na prova, siga o checklist do passo anterior: isso organiza a solução e evita esquecer uma hipótese. Você consegue — só precisa praticar um ou dois exemplos como o do x^2\sin(1/x).

Resposta

Se existem funções g,h,f com g(x)\le f(x)\le h(x) para todo x numa vizinhança de a (exceto possivelmente em a) e \lim_{x\to a} g(x)=\lim_{x\to a} h(x)=L, então \lim_{x\to a} f(x)=L.

Exercícios relacionados