8.2 Assíntotas oblíquas

A noção de assíntota permitiu obter informações a respeito do comportamento qualitativo de uma função longe da origem, em direções paralelas aos eixos de coordenadas: ou horizontal, ou vertical.

Veremos nesta seção que existem funções cujo gráfico, longe da origem, se aproxima de uma reta que não é nem vertical, nem horizontal, mas oblíqua, isto é de inclinação finita e não nula. Comecemos com um exemplo.

Exemplo 8.1.

Considere a função f⁢(x)=x3+12⁢x2f(x)=\frac{x^{3}+1}{2x^{2}}. É claro que esta função possui a reta x=0x=0 como assíntota vertical, já que

limx→0+x3+12⁢x2=+∞,limx→0−x3+12⁢x2=+∞.\lim_{x\to 0^{+}}\frac{x^{3}+1}{2x^{2}}=+\infty\,,\quad\lim_{x\to 0^{-}}\frac{% x^{3}+1}{2x^{2}}=+\infty\,.

Por outro lado, ff não possui assíntotas horizontais, já que

limx→+∞x3+12⁢x2=+∞,limx→−∞x3+12⁢x2=−∞.\lim_{x\to+\infty}\frac{x^{3}+1}{2x^{2}}=+\infty\,,\quad\lim_{x\to-\infty}% \frac{x^{3}+1}{2x^{2}}=-\infty\,.

Apesar de não possuir assíntota horizontal, vemos que longe da origem, o gráfico parece se aproximar de uma reta de inclinação positiva. Como determinar essa reta?

Para começar, demos uma idéia do que está acontecendo. Observe primeiro que x3+12⁢x2=x2+12⁢x2\frac{x^{3}+1}{2x^{2}}=\frac{x}{2}+\frac{1}{2x^{2}}. Logo, quando xx for grande, a contribuição do termo 12⁢x2\frac{1}{2x^{2}} é desprezível em relação a x2\frac{x}{2}, e f⁢(x)f(x) é aproximada por

f⁢(x)≃x2.f(x)\simeq\frac{x}{2}\,.

Ora, a função x↦x2x\mapsto\frac{x}{2} é uma reta de inclinação 12\frac{1}{2}. De fato, esboçando o gráfico de ff junto com a reta y=x2y=\frac{x}{2}:

Podemos agora verificar que de fato, quando x→∞x\to\infty, a distância entre o gráfico de ff e a reta y=x2y=\frac{x}{2} tende a zero:

limx→∞|f⁢(x)−x2|=limx→∞|(x2+12⁢x2)−x2|=limx→∞12⁢x2=0.\lim_{x\to\infty}\bigl{|}f(x)-\tfrac{x}{2}\bigr{|}=\lim_{x\to\infty}\bigl{|}(% \tfrac{x}{2}+\tfrac{1}{2x^{2}})-\tfrac{x}{2}\bigr{|}=\lim_{x\to\infty}\tfrac{1% }{2x^{2}}=0\,. (8.4)

Portanto, a reta y=x2y=\frac{x}{2} é chamada de assíntota oblíqua da função ff.

O exemplo anterior leva naturalmente à seguinte definição:

Definição 8.1.

A reta de equação y=m⁢x+hy=mx+h é chamada de assíntota oblíqua para ff se pelo menos um dos limites abaixo existe e é nulo:

limx→+∞|f⁢(x)−(m⁢x+h)|,limx→−∞|f⁢(x)−(m⁢x+h)|.\lim_{x\to+\infty}\bigl{|}f(x)-(mx+h)\bigr{|}\,,\quad\lim_{x\to-\infty}\bigl{|% }f(x)-(mx+h)\bigr{|}\,.

(Obs: quando m=0m=0, essa definição coincide com a de assíntota horizontal.)

Como saber se uma função possui uma assíntota oblíqua? E se ela tiver uma, como identificar os coeficientes mm e hh?

Para começar, observe que hh pode ser obtido a partir de mm, já que

limx→±∞{f⁢(x)−(m⁢x+h)}=limx→±∞{(f⁢(x)−m⁢x)−h}\lim_{x\to\pm\infty}\bigl{\{}f(x)-(mx+h)\bigr{\}}=\lim_{x\to\pm\infty}\bigl{\{% }(f(x)-mx)-h\bigr{\}}

é zero se e somente se

h=limx→±∞{f⁢(x)−m⁢x}.h=\lim_{x\to\pm\infty}\{f(x)-mx\}\,. (8.5)

Para identificar mm, podemos escrever

limx→±∞{f⁢(x)−(m⁢x+h)}=limx→±∞x⋅{f⁢(x)x−(m+hx)},\lim_{x\to\pm\infty}\bigl{\{}f(x)-(mx+h)\bigr{\}}=\lim_{x\to\pm\infty}x\cdot% \bigl{\{}\tfrac{f(x)}{x}-(m+\tfrac{h}{x})\bigr{\}}\,,

e observar que para este último limite existir e ser igual a zero quando x→±∞x\to\pm\infty, é necessário que limx→±∞{f⁢(x)x−(m+hx)}=0\lim_{x\to\pm\infty}\bigl{\{}\tfrac{f(x)}{x}-(m+\tfrac{h}{x})\bigr{\}}=0. Como hx→0\frac{h}{x}\to 0, isso implica que

m=limx→∞f⁢(x)x.m=\lim_{x\to\infty}\frac{f(x)}{x}\,. (8.6)

Assim, vemos que se ff possui uma assíntota oblíqua, esta tem uma inclinação dada por (8.6), e uma abcissa na origem dada por (8.5). Por outro lado, é claro que se os dois limites em (8.6) e (8.5) existirem e forem ambos finitos, então ff possui uma assíntota oblíqua dada por y=m⁢x+hy=mx+h. É claro que os limites x→+∞x\to+\infty precisam ser calculados separadamente, pois uma função pode possuir assíntotas oblíquas diferentes em +∞+\infty e −∞-\infty.

Voltando para o Exemplo 8.1, temos

m=limx→±∞f⁢(x)x=limx→±∞x3+12⁢x2x=limx→±∞x3+12⁢x3=limx→±∞{12+12⁢x3}=12,m=\lim_{x\to\pm\infty}\frac{f(x)}{x}=\lim_{x\to\pm\infty}\frac{\frac{x^{3}+1}{% 2x^{2}}}{x}=\lim_{x\to\pm\infty}\frac{x^{3}+1}{2x^{3}}=\lim_{x\to\pm\infty}% \bigl{\{}\tfrac{1}{2}+\tfrac{1}{2x^{3}}\bigr{\}}=\tfrac{1}{2}\,,

e, como já visto anteriormente,

h=limx→±∞{f⁢(x)−12⁢x}=limx→±∞12⁢x3=0.h=\lim_{x\to\pm\infty}\{f(x)-\tfrac{1}{2}x\}=\lim_{x\to\pm\infty}\tfrac{1}{2x^% {3}}=0\,.

Logo, y=12⁢x+0y=\tfrac{1}{2}x+0 é assíntota oblíqua. Vejamos como usar o critério acima em outros exemplos.

Exemplo 8.2.

Considere f⁢(x)=x2+2⁢xf(x)=\sqrt{x^{2}+2x}. Primeiro, tentaremos procurar uma inclinação. Pela presença da raiz quadrada, cuidamos de distinguir os limites x→−∞x\to-\infty e x→−∞x\to-\infty:

limx→+∞f⁢(x)x=limx→+∞x2+2⁢xx=limx→+∞x⁢1+2xx=+1\lim_{x\to+\infty}\frac{f(x)}{x}=\lim_{x\to+\infty}\frac{\sqrt{x^{2}+2x}}{x}=% \lim_{x\to+\infty}\frac{x\sqrt{1+\tfrac{2}{x}}}{x}=+1

Em seguida calculemos

limx→∞{f⁢(x)−(+1)⁢x}=limx→+∞{x2+2⁢x−x}\displaystyle\lim_{x\to\infty}\{f(x)-(+1)x\}=\lim_{x\to+\infty}\{\sqrt{x^{2}+2% x}-x\} =limx→+∞2⁢xx2+2⁢x+x\displaystyle=\lim_{x\to+\infty}\frac{2x}{\sqrt{x^{2}+2x}+x}
=limx→+∞21+2x+1=1.\displaystyle=\lim_{x\to+\infty}\frac{2}{\sqrt{1+\frac{2}{x}}+1}=1\,.

Assim, ff possui a assíntota oblíqua y=x+1y=x+1 em +∞+\infty. Refazendo contas parecidas para x→−∞x\to-\infty, obtemos

limx→−∞f⁢(x)x=−1, e limx→−∞{f⁢(x)−(−1)⁢x}=−1,\lim_{x\to-\infty}\frac{f(x)}{x}=-1\,,\text{ e }\quad\lim_{x\to-\infty}\{f(x)-% (-1)x\}=-1\,,

logo ff possui a assíntota oblíqua y=−x−1y=-x-1 em −∞-\infty. De fato (observe que ff tem domínio D=(−∞,−2]∪[0,+∞)D=(-\infty,-2]\cup[0,+\infty)),

Exemplo 8.3.

Considere f⁢(x)=x+xf(x)=x+\sqrt{x}, definida somente se x>0x>0. Então

limx→∞f⁢(x)x=limx→∞{1+xx}=1.\lim_{x\to\infty}\frac{f(x)}{x}=\lim_{x\to\infty}\bigl{\{}1+\frac{\sqrt{x}}{x}% \bigr{\}}=1\,.

Mas, como

limx→∞{f⁢(x)−x}=limx→∞x=∞,\lim_{x\to\infty}\{f(x)-x\}=\lim_{x\to\infty}\sqrt{x}=\infty\,,

vemos que ff não possui assíntota oblíqua (apesar de limx→∞f⁢(x)x\lim_{x\to\infty}\frac{f(x)}{x} existir e ser finita).

Exercício 8.4.

Determine quais das funções abaixo possuem assíntotas (se tiver, calcule-as).

  1. 1.
    ​

    4⁢x−54x-5

  2. 2.
    ​

    x2x^{2}

  3. 3.
    ​

    x2−1x+2\frac{x^{2}-1}{x+2}

  4. 4.
    ​

    ln⁡(x6+1)\ln(x^{6}+1)

  5. 5.
    ​

    ln⁡(1+ex)\ln(1+e^{x})

  6. 6.
    ​

    x2−ln⁡x\sqrt{x^{2}-\ln x}

  7. 7.
    ​

    ln⁡(cosh⁡x)\ln(\cosh x)

  8. 8.
    ​

    e(ln⁡x)2+1e^{\sqrt{(\ln x)^{2}+1}}

Exercício 8.5.

Se uma função possui uma assíntota oblíqua y=m⁢x+hy=mx+h em +∞+\infty, é verdade que limx→∞f′⁢(x)=m\lim_{x\to\infty}f^{\prime}(x)=m?