Limits of the form nonzero over zero

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\CancelColor }[0]{} \newcommand {\cancelto }[0]{1} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$ $% This file was *autogenerated* from digInLimitsOfTheFormNonZeroOverZero.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %76be1baf8c3346716ec161c5156da179% md5sum of corresponding .sage file (minus "goboom","current_tex_line",and pause/unpause lines)$

We want to solve limits that have the form nonzero over zero.

Previously, we have investigated limits of the form $\relax \boldsymbol {\tfrac {0}{0}}$ . Now we will investigate limits of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ .

A limit $\lim _{x\to a} \frac {f(x)}{g(x)}$ is said to be of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ if $\lim _{x\to a} f(x) = k\qquad \text {and}\qquad \lim _{x\to a} g(x) =0.$ where $k$ is some nonzero constant.

Which of the following limits are of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ ?

$\displaystyle \lim _{x\to -1} \frac {1}{(x+1)^2}$ $\displaystyle \lim _{x\to 2}\frac {x^2-3x+2}{x-2}$ $\displaystyle \lim _{x\to 0}\frac {\sin (x)}{x}$ $\displaystyle \lim _{x\to 2}\frac {x^2-3x-2}{x-2}$

Let’s see what is going on with limits of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ . Consider the graph of the function $f(x) = \frac {1}{(x+1)^2}.$

While the $\lim _{x\to -1} f(x)$ does not exist, something can still be said. First note that $\lim _{x\to -1} \frac {1}{(x+1)^2}\qquad \text {is of the form }\numOverZero$ as $\lim _{x\to -1} 1 = 1 \qquad \text {and}\qquad \lim _{x\to -1}(x+1)^2 = 0.$ Moreover, as $x$ approaches $-1$ :

The numerator is positive.
The denominator approaches zero and is positive.

Hence $\frac {1}{(x+1)^2}$ will become arbitrary large, as you can confirm using the above graph.

We are now ready for our next definition.

If $f(x)$ grows arbitrarily large as $x$ approaches $a$ , we write $\lim _{x\to a} f(x) = \infty$ and say that the limit of $f(x)$ approaches infinity as $x$ goes to $a$ .

If $|f(x)|$ grows arbitrarily large as $x$ approaches $a$ and $f(x)$ is negative, we write $\lim _{x\to a} f(x) = -\infty$ and say that the limit of $f(x)$ approaches negative infinity as $x$ goes to $a$ .

When we write $\lim _{x\to a} f(x) = \infty \text { or } \lim _{x\to a} f(x) = -\infty ,$ we are NOT saying that $\lim _{x\to a} f(x)$ exists. Instead, we are giving more information about why $\lim _{x\to a} f(x)$ does not exist.

Let’s consider a few more examples.

Compute: $\lim _{x\to -2} \frac {3x}{(x+2)^4}$

First let’s look at the form of this limit, we do this by taking the limits of both the numerator and denominator: $\lim _{x\to -2} 3x = \answer [given]{-6}\qquad \text {and}\lim _{x\to -2}\left ((x+2)^4\right ) = 0$ so this limit is of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ . As $x$ approaches $-2$ :

The numerator is a positivenegative number.
The denominator is positivenegative and is approaching zero.

This means that $\lim _{x\to -2} \frac {3x}{(x+2)^4} = -\infty .$

Compute: $\lim _{x\to 3^+} \frac {x^2-9x+14}{x^2-5x+6}$

First let’s look at the form of this limit, which we do by taking the limits of both the numerator and denominator. $\lim _{x\to 3^+} \left (x^2-9x+14\right ) = \answer [given]{-4}\qquad \text {and}\lim _{x\to 3^+}\left (x^2-5x+6\right ) = 0$ This limit is of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ . Next, we should factor the numerator and denominator to see if we can simplify the problem at all. $\begin{align*} \lim_{x\to 3^+}\frac{x^2-9x+14}{x^2-5x+6} &= \lim_{x\to 3^+}\frac{(x-2)(x-7)}{(x-2)(x-3)}\\ &= \lim_{x\to 3^+}\frac{x-7}{x-3}\\ \end{align*}$ Canceling a factor of $x-2$ from the numerator and denominator means we can more easily check the behavior of this limit. As $x$ approaches $3$ from the right:

The numerator is a positivenegative number.
The denominator is positivenegative and approaching zero.

This means that $\lim _{x\to 3^+} \frac {x^2-9x+14}{x^2-5x+6} = -\infty .$

Let’s try an example that involves a 2-sided limit.

Compute: $\lim _{x\to 3} \frac {x^2-9x+14}{x^2-5x+6}$

We’ve already considered part of this example, but now we consider the two-sided limit. We already know that $\lim _{x\to 3} \frac {x^2-9x+14}{x^2-5x+6} = \lim _{x\to 3}\frac {x-7}{x-3},$ and that this limit is of the form $\relax \boldsymbol {\tfrac {\#}{0}}$ . We also know that as $x$ approaches $3$ from the right,

The numerator is a negative number.
The denominator is positive and approaching zero.

Hence our function is approaching $-\infty$ from the right.

As $x$ approaches $3$ from the left,

The numerator is negative.
The denominator is negative and approaching zero.

Hence our function is approaching $\infty$ from the left. This means $\lim _{x\to 3} \frac {x^2-9x+14}{x^2-5x+6} = \answer [given]{DNE}.$

Some people worry that the mathematicians are passing into mysticism when we talk about infinity and negative infinity. However, when we write $\lim _{x\to a} f(x) = \infty \qquad \text {and}\qquad \lim _{x\to a} g(x) = -\infty$ all we mean is that as $x$ approaches $a$ , $f(x)$ becomes arbitrarily large and $|g(x)|$ becomes arbitrarily large, with $g(x)$ taking negative values. Again, this notation simply states precisely how $\lim _{x\to a} f(x)$ fails to exist.