Limits of the form zero 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 digInLimitsOfTheFormZeroOverZero.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %8a21ef6d0d9b2304ec64e2d5f95f3073% md5sum of corresponding .sage file (minus "goboom","current_tex_line",and pause/unpause lines)$

We want to evaluate limits where the Limit Laws do not directly apply.

In the last section, we were interested in the limits we could compute using the limit laws and the Squeeze Theorem. What about limits that cannot be directly computed using these methods? Let’s think about an example. Consider $\lim _{x\to 2}\frac {x^2-3x+2}{x-2}.$ Here $\lim _{x\to 2}\left (x^2-3x+2\right ) = 0\qquad \text {and}\qquad \lim _{x\to 2}\left (x-2\right ) = 0$ in light of this, you may think that the limit is one or zero. Not so fast. This limit is of an indeterminate form. What does this mean? Read on, young mathematician.

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

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

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

The symbol $\relax \boldsymbol {\tfrac {0}{0}}$ is not the number $0$ divided by $0$ . It is simply short-hand and means that a limit $\lim _{x\to a} \frac {f(x)}{g(x)}$ has the property that $\lim _{x\to a} f(x) = 0\qquad \text {and}\qquad \lim _{x\to a} g(x) =0.$

Let’s consider an example with the function above. This next example will require that you can factor a quadratic polynomial. If you have forgotten how to do this or would like to brush up on this skill, go here.

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

This limit is of the form $\relax \boldsymbol {\tfrac {0}{0}}$ . However, note that if we assume $x\ne \answer [given]{2}$ , then we can write $\frac {x^2-3x+2}{x-2} = \frac {(x-2)\left (\answer [given]{x-1}\right )}{(x-2)} = \answer [given]{x-1}.$

This means that $\lim _{x\to 2}\frac {x^2-3x+2}{x-2} = \lim _{x\to 2} (x-1).$ But now, the limit is in a form on which we can use the limit laws! We have $\displaystyle \lim _{x\to 2} (x-1) =\answer [given]{1}$ . Hence $\lim _{x\to 2}\frac {x^2-3x+2}{x-2} = \answer [given]{1}.$

Although $\lim _{x\to 2}\frac {x^2-3x+2}{x-2} = \lim _{x\to 2} (x-1)$ , it is not true that $\frac {x^2-3x+2}{x-2} = x-1!$

Lets consider some more examples of the form $\relax \boldsymbol {\tfrac {0}{0}}$ .

Compute: $\lim _{x\to 1}\frac {x-1}{x^2+2x-3}.$

First note that $\lim _{x\to 1}\left (x-1\right )=0 \qquad \text {and}\qquad \lim _{x\to 1}\left (x^2+2x-3\right ) = 0$ Hence this limit is of the form $\relax \boldsymbol {\tfrac {0}{0}}$ , which tells us we can likely cancel a factor going to $0$ out of the numerator and denominator. Since $(\answer [given]{x-1})$ is a factor going to $0$ in the numerator, let’s see if we can factor a $(\answer [given]{x-1})$ out of the denominator as well. $\begin{align*} \lim_{x\to1}\frac{x-1}{x^2+2x-3}&=\lim_{x\to1}\frac{x-1}{(x-1)(\answer[given]{x+3})} \\ &=\lim_{x\to1}\frac{1}{\answer[given]{x+3}}\\ &=\frac{1}{4}. \end{align*}$

Notice that in the previous two examples, we were able to use algebra to manipulate the limits we were dealing with. Instead of dealing with the more difficult $\lim _{x\to 1}\frac {x-1}{x^2+2x-3}$ , we were able to factor and conclude that $\lim _{x\to 1}\frac {x-1}{x^2+2x-3} = \lim _{x\to 1}\frac {1}{x+3}$ and from here we could use the limit laws to evaluate the original limit. The idea is to use algebra techniques (like factoring) to reduce a more difficult limit problem to one that we can solve with the techniques we already have.

The next example will involve subtracting and dividing two rational functions. If you are unsure on how to do this or would like to review this skill, you should check out this card before moving forward.

Compute: $\lim _{x\to 1} \frac {\frac {1}{x+1}-\frac {3}{x+5}}{x-1}.$

We find the form of this limit by looking at the limits of the numerator and denominator separately $\lim _{x\to 1}\left (\frac {1}{x+1}-\frac {3}{x+5}\right )=0\qquad \text {and}\qquad \lim _{x\to 1}\left (x-1\right )=0.$ Our limit is therefore of the form $\relax \boldsymbol {\tfrac {0}{0}}$ and we can probably factor a term going to $0$ out of both the numerator and denominator. $\lim _{x\to 1} \frac {\frac {1}{x+1}-\frac {3}{x+5}}{x-1}$ When looking at the denominator, we hope that this term is $(x-1)$ . Unfortunately, it is not immediately obvious how to factor an $(x-1)$ out of the numerator. In order to simplify the numerator, let’s subtract the two fractions in the numerator: $\frac {1}{x+1}-\frac {3}{x+5} = \frac {x+5}{(x+5)(x+1)} - \frac {3(x+1)}{(x+5)(x+1)} = \frac {x+5 - 3(x+1)}{(x+5)(x+1)} = \frac {-2x + 2}{(x+5)(x+1)}$

so that

$\frac {\frac {1}{x+1}-\frac {3}{x+5}}{x-1} = \frac {\frac {-2x + 2}{(x+5)(x+1)}}{x-1} = \frac {-2x+2}{(x+1)(x+5)(x-1)}$

Now, we would like to factor an $x-1$ from both the numerator and denominator. If you look closely, you’ll see that $-2x+2 = \answer {-2}(x-1)$ . Therefore,

$\begin{align*} \lim_{x\to 1}\frac{\frac{1}{x+1}-\frac{3}{x+5}}{x-1} &= \lim_{x\to 1} \frac{-2x+2}{(x+1)(x+5)(x-1)}\\ &= \lim_{x\to 1}\frac{-2(x-1)}{(x+1)(x+5)(x-1)}\\ &= \lim_{x\to 1}\frac{-2}{(x+1)(x+5)}. \end{align*}$

So once again, with a little bit of algebra, we were able to re-write the original limit as one that can be easily solved by applying the usual Limit Laws. Hence

$\begin{align*} \lim_{x\to 1} \frac{\frac{1}{x+1}-\frac{3}{x+5}}{x-1}&=\lim_{x\to 1}\frac{-2}{(x+1)(x+5)}\\ &= \frac{-2}{((1)+1)((1)+5)} \\ &=\answer[given]{\frac{-1}{6}}. \end{align*}$

Finally, we’ll look at one more example.

Compute: $\lim _{x\to -1} \frac {\sqrt {x+5}-2}{x+1}.$

If you are struggling to multiply $\left (\sqrt {x+5}-2\right )$ and $\left (\sqrt {x+5}+2\right )$ , you may want to review how to multiply polynomials. It might also help if you write $\sqrt {x+5}$ as $(x+5)$ raised to an exponent.

Note that $\lim _{x\to -1} \left (\sqrt {x+5}-2\right )=0\qquad \text {and}\qquad \lim _{x\to -1} \left (x+1\right ) =0.$ Our limit is therefore of the form $\relax \boldsymbol {\tfrac {0}{0}}$ and we can probably factor a term going to $0$ out of both the numerator and denominator. We suspect from looking at the denominator that this term is $(x+1)$ . Unfortunately, it is not immediately obvious how to factor an $(x+1)$ out of the numerator.

We will use an algebraic technique called multiplying by the conjugate. This technique is useful when you are trying to simplify an expression that looks like $\sqrt {\text {something} \pm \text {something else}}.$ It takes advantage of the difference of squares rule $a^2-b^2=(a-b)(a+b).$ In our case, we will use $a=\sqrt {x+5}$ and $b=2$ . Write

$\begin{align*} \lim_{x\to-1} \frac{\sqrt{x+5}-2}{x+1}&= \lim_{x\to-1} \frac{\left(\sqrt{x+5}-2\right)}{(x+1)} \cdot \frac{\left(\sqrt{x+5}+2\right)}{\left(\sqrt{x+5}+2\right)} \\ &=\lim_{x\to-1} \frac{\answer[given]{\left(\sqrt{x+5}\right)^2-2^2}}{(x+1)\left(\sqrt{x+5}+2\right)} \\ &=\lim_{x\to-1} \frac{x+5-4}{(x+1)\left(\sqrt{x+5}+2\right)} \\ &=\lim_{x\to-1} \frac{(x+1)}{(x+1)\left(\sqrt{x+5}+2\right)} \\ &=\lim_{x\to-1} \frac{1}{\sqrt{x+5}+2}\\ &= \frac{1}{\sqrt{-1+5}+2}\\ &=\answer[given]{\frac{1}{4}}. \end{align*}$

All of the examples in this section are limits of the form $\relax \boldsymbol {\tfrac {0}{0}}$ . When you come across a limit of the form $\relax \boldsymbol {\tfrac {0}{0}}$ , you should try to use algebraic techniques to come up with a continuous function whose limit you can evaluate.

Notice that we solved multiple examples of limits of the form $\relax \boldsymbol {\tfrac {0}{0}}$ and we got different answers each time. This tells us that just knowing that the form of the limit is $\relax \boldsymbol {\tfrac {0}{0}}$ is not enough to compute the limit. The moral of the story is

Limits of the form $\relax \boldsymbol {\tfrac {0}{0}}$ can take any value.

A form that give us no information about the value of the limit is called an indeterminate form.

A forms that give information about the value of the limit is called a determinate form.

Finally, you may find it troubling that we introduced a form, namely $\relax \boldsymbol {\tfrac {0}{0}}$ , only to end up saying that this form gives no information on the value of the limit. But this is precisely what makes indeterminate forms interesting… they’re a mystery!