2.3: Limit Laws & Techniques for Computing Limits
- Page ID
- 17415
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In the previous section, we evaluated limits by looking at graphs or by constructing a table of values. In this section, we establish laws for calculating limits and learn how to apply these laws. In the Student Project at the end of this section, you have the opportunity to apply these limit laws to derive the formula for the area of a circle by adapting a method devised by the Greek mathematician Archimedes. We begin by restating two useful limit results from the previous section. These two results, together with the limit laws, serve as a foundation for calculating many limits.
Evaluating Limits with the Limit Laws
The first two limit laws were stated previosuly and we repeat them here. These basic results, together with the other limit laws, allow us to evaluate limits of many algebraic functions.
Basic Limit Results
For any real number \(a\) and any constant \(c\),
- \(\displaystyle \lim_{x→a}x=a\)
- \(\displaystyle \lim_{x→a}c=c\)
Example \(\PageIndex{1}\): Evaluating a Basic Limit
Evaluate each of the following limits using Note.
- \(\displaystyle \lim_{x→2}x\)
- \(\displaystyle \lim_{x→2}5\)
Solution:
- The limit of x as x approaches a is a: \(\displaystyle \lim_{x→2}x=2\).
- The limit of a constant is that constant: \(\displaystyle \lim_{x→2}5=5\).
We now take a look at the limit laws, the individual properties of limits. The proofs that these laws hold are omitted here.
Limit Laws
Let \(f(x)\) and \(g(x)\) be defined for all \(x≠a\) over some open interval containing \(a\). Assume that \(L\) and \(M\) are real numbers such that \(\displaystyle \lim_{x→a}f(x)=L\) and \(\displaystyle \lim_{x→a}g(x)=M\). Let \(c\) be a constant. Then, each of the following statements holds:
- Sum law for limits:
\[\displaystyle \lim_{x→a}(f(x)+g(x))=\lim_{x→a}f(x)+\lim_{x→a}g(x)=L+M\]
- Difference law for limits:
\[\displaystyle \lim_{x→a}(f(x)−g(x))=\lim_{x→a}f(x)−\lim_{x→a}g(x)=L−M\]
- Constant multiple law for limits:
\[\displaystyle \lim_{x→a}cf(x)=c⋅\lim_{x→a}f(x)=cL\]
- Product law for limits:
\[\displaystyle \lim_{x→a}(f(x)⋅g(x))=\lim_{x→a}f(x)⋅\lim_{x→a}g(x)=L⋅M\]
- Quotient law for limits:
\[\displaystyle \lim_{x→a}\frac{f(x)}{g(x)}=\frac{\displaystyle \lim_{x→a}f(x)}{\displaystyle \lim_{x→a}g(x)}=\frac{L}{M}\]
for \(M≠0\).
- Power law for limits:
\[\displaystyle \lim_{x→a}(f(x))^n=(\lim_{x→a}f(x))^n=L^n\]
for every positive integer \(n\).
- Root law for limits:
\[\displaystyle \lim_{x→a}\sqrt[n]{f(x)}=\sqrt[n]{\lim_{x→a}f(x)}=\sqrt[n]{L}\]
for all \(L\) if \(n\) is odd and for \(L≥0\) if \(n\) is even.
We now practice applying these limit laws to evaluate a limit.
Example \(\PageIndex{2A}\): Evaluating a Limit Using Limit Laws
Use the limit laws to evaluate \[\lim_{x→−3}(4x+2). \nonumber\]
Solution
Let’s apply the limit laws one step at a time to be sure we understand how they work. We need to keep in mind the requirement that, at each application of a limit law, the new limits must exist for the limit law to be applied.
\(\displaystyle \lim_{x→−3}(4x+2)\) = \(\displaystyle \lim_{x→−3} 4x + \lim_{x→−3} 2\) Apply the sum law.
=\(\displaystyle 4⋅\lim_{x→−3} x + \lim_{x→−3} 2\) Apply the constant multiple law.
=\(4⋅(−3)+2=−10.\) Apply the basic limit results and simplify.
Notice this is equivalent to substituting \(-3\) for \(x\) in the original function. One just needs to be careful that the limit exists at this point.
Example \(\PageIndex{2B}\): Using Limit Laws Repeatedly
Use the limit laws to evaluate \[\lim_{x→2}\frac{2x^2−3x+1}{x^3+4}. \nonumber\]
Solution
To find this limit, we need to apply the limit laws several times. Again, we need to keep in mind that as we rewrite the limit in terms of other limits, each new limit must exist for the limit law to be applied.
\(\displaystyle \lim_{x→2}\frac{2x^2−3x+1}{x^3+4}=\frac{\displaystyle \lim_{x→2}(2x^2−3x+1)}{\displaystyle \lim_{x→2}(x^3+4)}\) Apply the quotient law, make sure that \((2)^3+4≠0.\)
=\(\displaystyle \frac{\displaystyle 2⋅\lim_{x→2}x^2−3⋅\lim_{x→2}x+\lim_{x→2}1}{\displaystyle \lim_{x→2}x^3+\lim_{x→2}4}\) Apply the sum law and constant multiple law
=\(\displaystyle \frac{\displaystyle 2⋅(\lim_{x→2}x)^2−3⋅\lim_{x→2}x+\lim_{x→2}1}{\displaystyle (\lim_{x→2}x)^3+\lim_{x→2}4}\) Apply the power law.
=\(\displaystyle \frac{2(4)−3(2)+1}{(2)^3+4}=\frac{1}{4}\). Apply the basic limit laws and simplify.
Notice this is equivalent to substituting \(2\) for \(x\) in the original function. One just needs to be careful that the limit exists at this point.
Exercise \(\PageIndex{2}\)
Use the limit laws to evaluate \(\displaystyle \lim_{x→6}(2x−1)\sqrt{x+4}\). In each step, indicate the limit law applied.
- Hint
-
Begin by applying the product law.
Or just substitute \(6\) for \(x\) in the original function. One just needs to be careful that the limit exists at this point.
- Answer
-
\(11\sqrt{10}\)
Limits of Polynomial and Rational Functions
By now you have probably noticed that, in each of the previous examples, it has been the case that \(\displaystyle \lim_{x→a}f(x)=f(a)\). This is not always true, but it does hold for all polynomials for any choice of \(a\) and for all rational functions at all values of \(a\) for which the rational function is defined.
Limits of Polynomial and Rational Functions
Let \(p(x)\) and \(q(x)\) be polynomial functions. Let \(a\) be a real number. Then,
\[\lim_{x→a}p(x)=p(a)\]
\[\lim_{x→a}\frac{p(x)}{q(x)}=\frac{p(a)}{q(a)}\]
when \(q(a)≠0\).
To see that this theorem holds, consider the polynomial
\[p(x)=c_nx^n+c_{n−1}x^{n−1}+⋯+c_1x+c_0.\]
By applying the sum, constant multiple, and power laws, we end up with
\[ \begin{align*} \lim_{x→a}p(x) &= \lim_{x→a}(c_nx^n+c_{n−1}x^{n−1}+⋯+c_1x+c_0) \\[5pt] &= c_n(\lim_{x→a}x)^n+c_{n−1}(\lim_{x→a}x)^{n−1}+⋯+c_1(\lim_{x→a}x)+\lim_{x→a}c_0 \\[5pt] &= c_na^n+c_{n−1}a^{n−1}+⋯+c_1a+c_0 \\[5pt] &= p(a) \end{align*}\]
It now follows from the quotient law that if \(p(x)\) and \(q(x)\) are polynomials for which \(q(a)≠0\),
then
\[\lim_{x→a}\frac{p(x)}{q(x)}=\frac{p(a)}{q(a)}.\]
Example \(\PageIndex{3}\): Evaluating a Limit of a Rational Function
Evaluate the \(\displaystyle \lim_{x→3}\frac{2x^2−3x+1}{5x+4}\).
Solution
Since 3 is in the domain of the rational function \(f(x)=\frac{2x^2−3x+1}{5x+4}\), we can calculate the limit by substituting 3 for x into the function. Thus,
\[\lim_{x→3}\frac{2x^2−3x+1}{5x+4}=\frac{10}{19}. \nonumber\]
Exercise \(\PageIndex{3}\)
Evaluate \(\displaystyle \lim_{x→−2}(3x^3−2x+7)\).
Use LIMITS OF POLYNOMIAL AND RATIONAL FUNCTIONS as reference
−13
Additional Limit Evaluation Techniques
As we have seen, we may evaluate easily the limits of polynomials and limits of some (but not all) rational functions by direct substitution. However, as we saw in the introductory section on limits, it is certainly possible for \(\displaystyle \lim_{x→a}f(x)\) to exist when \(f(a)\) is undefined. The following observation allows us to evaluate many limits of this type:
If for all \(x≠a,f(x)=g(x)\) over some open interval containing \(a\), then
\[\displaystyle\lim_{x→a}f(x)=\lim_{x→a}g(x).\]
To understand this idea better, consider the limit \(\displaystyle \lim_{x→1}\dfrac{x^2−1}{x−1}\).
The function
\[f(x)=\dfrac{x^2−1}{x−1}=\dfrac{(x−1)(x+1)}{x−1}\]
and the function \(g(x)=x+1\) are identical for all values of \(x≠1\). The graphs of these two functions are shown in Figure \(\PageIndex{1}\).
Figure \(\PageIndex{1}\): The graphs of \(f(x)\) and \(g(x)\) are identical for all \(x≠1\). Their limits at 1 are equal.
We see that
\[\lim_{x→1}\dfrac{x^2−1}{x−1}=\lim_{x→1}\dfrac{(x−1)(x+1)}{x−1}=\lim_{x→1}(x+1)=2.\]
The limit has the form \(\displaystyle \lim_{x→a}f(x)g(x)\), where \(\displaystyle\lim_{x→a}f(x)=0\) and \(\displaystyle\lim_{x→a}g(x)=0\). (In this case, we say that \(f(x)/g(x)\) has the indeterminate form \(0/0\).) The following Problem-Solving Strategy provides a general outline for evaluating limits of this type.
Problem-Solving Strategy: Calculating a Limit When \(f(x)/g(x)\) has the Indeterminate Form \(0/0\)
The next examples demonstrate the use of this Problem-Solving Strategy. Example illustrates the factor-and-cancel technique; Example shows multiplying by a conjugate. In Example, we look at simplifying a complex fraction.
Example \(\PageIndex{4}\): Evaluating a Limit by Factoring and Canceling
Evaluate \(\displaystyle\lim_{x→3}\dfrac{x^2−3x}{2x^2−5x−3}\).
Solution
Step 1. The function \(f(x)=\dfrac{x^2−3x}{2x^2−5x−3}\) is undefined for \(x=3\). In fact, if we substitute 3 into the function we get \(0/0\), which is undefined. Factoring and canceling is a good strategy:
\[\lim_{x→3}\dfrac{x^2−3x}{2x^2−5x−3}=\lim_{x→3}\dfrac{x(x−3)}{(x−3)(2x+1)}\]
Step 2. For all \(x≠3,\dfrac{x^2−3x}{2x^2−5x−3}=\dfrac{x}{2x+1}\). Therefore,
\[\lim_{x→3}\dfrac{x(x−3)}{(x−3)(2x+1)}=\lim_{x→3}\dfrac{x}{2x+1}.\]
Step 3. Evaluate using the limit laws:
\[\lim_{x→3}\dfrac{x}{2x+1}=\dfrac{3}{7}.\]
Exercise \(\PageIndex{4}\)
Evaluate \(\displaystyle \lim_{x→−3}\dfrac{x^2+4x+3}{x^2−9}\).
Follow the steps in the Problem-Solving Strategy
\(\dfrac{1}{3}\)
Example \(\PageIndex{5}\): Evaluating a Limit by Multiplying by a Conjugate
Evaluate \( \displaystyle \lim_{x→−1}\dfrac{\sqrt{x+2}−1}{x+1}\).
Solution
Step 1. \( \displaystyle \dfrac{\sqrt{x+2}−1}{x+1}\) has the form \(0/0\) at −1. Let’s begin by multiplying by \(\sqrt{x+2}+1\), the conjugate of \(\sqrt{x+2}−1\), on the numerator and denominator:
\[\lim_{x→−1}\dfrac{\sqrt{x+2}−1}{x+1}=\lim_{x→−1}\dfrac{\sqrt{x+2}−1}{x+1}⋅\dfrac{\sqrt{x+2}+1}{\sqrt{x+2}+1}.\]
Step 2. We then multiply out the numerator. We don’t multiply out the denominator because we are hoping that the \((x+1)\) in the denominator cancels out in the end:
\[=\lim_{x→−1}\dfrac{x+1}{(x+1)(\sqrt{x+2}+1)}.\]
Step 3. Then we cancel:
\[= \lim_{x→−1}\dfrac{1}{\sqrt{x+2}+1}.\]
Step 4. Last, we apply the limit laws:
\[\lim_{x→−1}\dfrac{1}{\sqrt{x+2}+1}=\dfrac{1}{2}.\]
Exercise \(\PageIndex{5}\)
Evaluate \( \displaystyle \lim_{x→5}\dfrac{\sqrt{x−1}−2}{x−5}\).
Follow the steps in the Problem-Solving Strategy
\(\dfrac{1}{4}\)
Example \(\PageIndex{6}\): Evaluating a Limit by Simplifying a Complex Fraction
Evaluate \( \displaystyle \lim_{x→1}\dfrac{\dfrac{1}{x+1}−\dfrac{1}{2}}{x−1}\).
Step 1. \(\dfrac{\dfrac{1}{x+1}−\dfrac{1}{2}}{x−1}\) has the form \(0/0\) at 1. We simplify the algebraic fraction by multiplying by \(2(x+1)/2(x+1)\):
\[\lim_{x→1}\dfrac{\dfrac{1}{x+1}−\dfrac{1}{2}}{x−1}=\lim_{x→1}\dfrac{\dfrac{1}{x+1}−\dfrac{1}{2}}{x−1}⋅\dfrac{2(x+1)}{2(x+1)}.\]
Step 2. Next, we multiply through the numerators. Do not multiply the denominators because we want to be able to cancel the factor \((x−1)\):
\[=\lim_{x→1}\dfrac{2−(x+1)}{2(x−1)(x+1)}.\]
Step 3. Then, we simplify the numerator:
\[=\lim_{x→1}\dfrac{−x+1}{2(x−1)(x+1)}.\]
Step 4. Now we factor out −1 from the numerator:
\[=\lim_{x→1}\dfrac{−(x−1)}{2(x−1)(x+1)}.\]
Step 5. Then, we cancel the common factors of \((x−1)\):
\[=\lim_{x→1}\dfrac{−1}{2(x+1)}.\]
Step 6. Last, we evaluate using the limit laws:
\[\lim_{x→1}\dfrac{−1}{2(x+1)}=\dfrac{-1}{2(1+1)}= −\dfrac{1}{4}.\]
Exercise \(\PageIndex{6}\)
Evaluate \( \displaystyle \lim_{x→−3}\dfrac{\dfrac{1}{x+2}+1}{x+3}\).
Follow the steps in the Problem-Solving Strategy and
−1
Example does not fall neatly into any of the patterns established in the previous examples. However, with a little creativity, we can still use these same techniques.
Example \(\PageIndex{7}\): Evaluating a Limit When the Limit Laws Do Not Apply
Evaluate \( \displaystyle \lim_{x→0}(\dfrac{1}{x}+\dfrac{5}{x(x−5)})\).
Solution:
Both \(1/x\) and \(5/x(x−5)\) fail to have a limit at zero. Since neither of the two functions has a limit at zero, we cannot apply the sum law for limits; we must use a different strategy. In this case, we find the limit by performing addition and then applying one of our previous strategies. Observe that
\[\dfrac{1}{x}+\dfrac{5}{x(x−5)}=\dfrac{x−5+5}{x(x−5)}=\dfrac{x}{x(x−5)}.\]
Thus,
\[\lim_{x→0}(\dfrac{1}{x}+\dfrac{5}{x(x−5)})=\lim_{x→0}\dfrac{x}{x(x−5)}=\lim_{x→0}\dfrac{1}{x−5}=−\dfrac{1}{5}.\]
Exercise \(\PageIndex{7}\)
Evaluate \( \displaystyle \lim_{x→3}(\dfrac{1}{x−3}−\dfrac{4}{x^2−2x−3})\).
Use the same technique as Example \(\PageIndex{7}\). Don’t forget to factor \(x^2−2x−3\) before getting a common denominator.
\(\dfrac{1}{4}\)
Let’s now revisit one-sided limits. Simple modifications in the limit laws allow us to apply them to one-sided limits. For example, to apply the limit laws to a limit of the form \(\lim_{x→a−}h(x)\), we require the function \(h(x)\) to be defined over an open interval of the form \((b,a)\); for a limit of the form \(\lim_{x→a+}h(x)\), we require the function \(h(x)\) to be defined over an open interval of the form \((a,c)\). Example illustrates this point.
Example \(\PageIndex{8A}\): Evaluating a One-Sided Limit Using the Limit Laws
Evaluate each of the following limits, if possible.
Solution
Figure illustrates the function \(f(x)=\sqrt{x−3}\) and aids in our understanding of these limits.
Figure \(\PageIndex{2}\): The graph shows the function \(f(x)=\sqrt{x−3}\).
a. The function \(f(x)=\sqrt{x−3}\) is defined over the interval \([3,+∞)\). Since this function is not defined to the left of 3, we cannot apply the limit laws to compute \(\displaystyle\lim_{x→3−}\sqrt{x−3}\). In fact, since \(f(x)=\sqrt{x−3}\) is undefined to the left of 3, \(\displaystyle\lim_{x→3−}\sqrt{x−3}\) does not exist.
b. Since \(f(x)=\sqrt{x−3}\) is defined to the right of 3, the limit laws do apply to \(\displaystyle\lim_{x→3+}\sqrt{x−3}\). By applying these limit laws we obtain \(\displaystyle\lim_{x→3+}\sqrt{x−3}=0\).
In \(\PageIndex{9}\) we look at one-sided limits of a piecewise-defined function and use these limits to draw a conclusion about a two-sided limit of the same function.
Example \(\PageIndex{8B}\): Evaluating a Two-Sided Limit Using the Limit Laws
For \(f(x)=\begin{cases}4x−3 & if x<2 \\ (x−3)^2 & if x≥2\end{cases}\), evaluate each of the following limits:
Solution
Figure illustrates the function \(f(x)\) and aids in our understanding of these limits.
Figure \(\PageIndex{3}\): This graph shows a function \(f(x)\).
a. Since \(f(x)=4x−3\) for all x in \((−∞,2)\), replace \(f(x)\) in the limit with \(4x−3\) and apply the limit laws:
\[\lim_{x→2−}f(x)=\lim_{x→2−}(4x−3)=5\nonumber \]
b. Since \(f(x)=(x−3)^2\)for all x in \((2,+∞)\), replace \(f(x)\) in the limit with \((x−3)^2\) and apply the limit laws:
\[\lim_{x→2+}f(x)=\lim_{x→2−}(x−3)^2=1. \nonumber \]
c. Since \(\displaystyle \lim_{x→2−}f(x)=5\) and \(\displaystyle \lim_{x→2+}f(x)=1\), we conclude that \(\displaystyle \lim_{x→2}f(x)\) does not exist.
Exercise \(\PageIndex{8}\)
Graph \(f(x)=\begin{cases}−x−2 & ifx<−1\\ 2 & if x=−1 \\ x^3 & if x>−1\end{cases}\) and evaluate \(\displaystyle \lim_{x→−1−}f(x)\).
Use the method in Example to evaluate the limit.
Note: this graph is not quite right; there should be a point at (-1,2)
\(\lim_{x→−1^−}f(x)=−1\)
We now turn our attention to evaluating a limit of the form \(\displaystyle \lim_{x→a}\dfrac{f(x)}{g(x)}\), where \(\displaystyle \lim_{x→a}f(x)=K\), where \(K≠0\) and \(\displaystyle \lim_{x→a}g(x)=0\). That is, \(f(x)/g(x)\) has the form \(K/0,K≠0\) at a.
Example \(\PageIndex{9}\): Evaluating a Limit of the Form \(K/0,K≠0\) Using the Limit Laws
Evaluate \(\displaystyle \lim_{x→2−}\dfrac{x−3}{x^2−2x}\).
Solution:
Step 1. After substituting in \(x=2\), we see that this limit has the form \(−1/0\). That is, as x approaches 2 from the left, the numerator approaches −1; and the denominator approaches 0. Consequently, the magnitude of \dfrac{x−3}{x(x−2)} becomes infinite. To get a better idea of what the limit is, we need to factor the denominator:
\[\lim_{x→2−}\dfrac{x−3}{x^2−2x}=\lim_{x→2−}\dfrac{x−3}{x(x−2)}.\]
Step 2. Since \(x−2\) is the only part of the denominator that is zero when 2 is substituted, we then separate \(1/(x−2)\) from the rest of the function:
\[=\lim_{x→2^−}\dfrac{x−3}{x}⋅\dfrac{1}{x−2}.\]
Step 3. \(\displaystyle \lim_{x→2^−}\dfrac{x−3}{x}=−\dfrac{1}{2}\) and \(\displaystyle \lim_{x→2^−}\dfrac{1}{x−2}=−∞\). Therefore, the product of \((x−3)/x\) and \(1/(x−2)\) has a limit of \(+∞\):
\[\lim_{x→2^−}\dfrac{x−3}{x^2−2x}=+∞.\]
Exercise \(\PageIndex{9}\)
Evaluate \(\displaystyle \lim_{x→1}\dfrac{x+2}{(x−1)^2}\).
Use the methods from Example \(\PageIndex{10}\).
+∞
The Squeeze Theorem
The techniques we have developed thus far work very well for algebraic functions, but we are still unable to evaluate limits of very basic trigonometric functions. The next theorem, called the squeeze theorem, proves very useful for establishing basic trigonometric limits. This theorem allows us to calculate limits by “squeezing” a function, with a limit at a point a that is unknown, between two functions having a common known limit at \(a\). Figure \(\PageIndex{4}\) illustrates this idea.
Figure \(\PageIndex{4}\): The Squeeze Theorem applies when \(f(x)≤g(x)≤h(x)\) and \(\lim_{x→a}f(x)=\lim_{x→a}h(x)\).
The Squeeze Theorem
Let \(f(x),g(x)\), and \(h(x)\) be defined for all x≠a over an open interval containing a. If
\[f(x)≤g(x)≤h(x)\]
for all \(x≠a\) in an open interval containing a and
\[\lim_{x→a}f(x)=L=\lim_{x→a}h(x)\]
where L is a real number, then \(\displaystyle \lim_{x→a}g(x)=L.\)
Example \(\PageIndex{10}\): Applying the Squeeze Theorem
Apply the squeeze theorem to evaluate \( \displaystyle \lim_{x→0}xcosx\).
Solution
Because \(−1≤\cos x≤1\) for all x, we have \(−x≤x \cos x≤x\) for \(x≥0\) and \(−x≥x \cos x ≥ x\) for \(x≤0\) (if \(x\) is negative the direction of the inequalities changes when we multiply). Since \(\displaystyle \lim_{x→0}(−x)=0=\lim_{x→0}x\), from the squeeze theorem, we obtain \(\displaystyle \lim_{x→0}x \cos x=0\). The graphs of \(f(x)=−x,g(x)=x\cos x\), and \(h(x)=x\) are shown in Figure \(\PageIndex{5}\).
Figure \(\PageIndex{5}\): The graphs of \(f(x),g(x)\), and \(h(x)\) are shown around the point \(x=0\).
Exercise \(\PageIndex{10}\)
Use the squeeze theorem to evaluate \(\displaystyle \lim_{x→0}x^2sin\dfrac{1}{x}\).
Use the fact that \(−x^2≤x^2\sin (1/x) ≤ x^2\) to help you find two functions such that \(x^2\sin (1/x)\) is squeezed between them.
0
\[\lim_{θ→0}\dfrac{\sin θ}{θ}\]
We now use the squeeze theorem to tackle several very important limits. Although this discussion is somewhat lengthy, these limits prove invaluable for the development of the material in both the next section and the next chapter. The first of these limits is \(\displaystyle \lim_{θ→0}\sin θ\). Consider the unit circle shown in Figure \(\PageIndex{6}\). In the figure, we see that \(\sin θ\) is the y-coordinate on the unit circle and it corresponds to the line segment shown in blue. The radian measure of angle \(θ\) is the length of the arc it subtends on the unit circle. Therefore, we see that for \(0<θ<\dfrac{π}{2},0<\sin θ<θ\).
Figure \(\PageIndex{6}\): The sine function is shown as a line on the unit circle.
Because \(\displaystyle \lim_{θ→0^+}0=0\) and \(\displaystyle \lim_{x→0^+}θ=0\), by using the squeeze theorem we conclude that
\[\lim_{θ→0^+}\sin θ=0.\]
To see that \(\displaystyle \lim_{θ→0^−}\sin θ=0\) as well, observe that for \(−\dfrac{π}{2}<θ<0,0<−θ<\dfrac{π}{2}\) and hence, \(0<sin(−θ)<−θ\). Consequently, \(0<−\sin θ<−θ\). It follows that \(0>\sin θ>θ\). An application of the squeeze theorem produces the desired limit. Thus, since \(\displaystyle \lim_{θ→0^+}\sin θ=0\) and \(\displaystyle \lim_{θ→0^−}\sin θ=0\),
\[\lim_{θ→0}\sin θ=0\]
Next, using the identity \(\cos θ=\sqrt{1−\sin^2θ}\) for \(−\dfrac{π}{2}<θ<\dfrac{π}{2}\), we see that
\[\lim_{θ→0}\cos θ=\lim_{θ→0}\sqrt{1−sin^2θ}=1.\]
We now take a look at a limit that plays an important role in later chapters—namely, \(\displaystyle \lim_{θ→0}\dfrac{\sin θ}{θ}\). To evaluate this limit, we use the unit circle in Figure \(\PageIndex{6}\). Notice that this figure adds one additional triangle to Figure \(\PageIndex{7}\). We see that the length of the side opposite angle \(θ\) in this new triangle is \(\tan θ\). Thus, we see that for \(0<θ<\dfrac{π}{2}\), \(\sin θ<θ<tanθ\).
Figure \(\PageIndex{7}\): The sine and tangent functions are shown as lines on the unit circle.
By dividing by \(\sin θ\) in all parts of the inequality, we obtain
\[1<\dfrac{θ}{\sin θ}<\dfrac{1}{\cos θ}.\]
Equivalently, we have
\[1>\dfrac{\sin θ}{θ}>\cos θ.\]
Since \(\displaystyle \lim_{θ→0^+}1=1=\lim_{θ→0^+}\cos θ\), we conclude that \(\displaystyle \lim_{θ→0^+}\dfrac{\sin θ}{θ}=1\). By applying a manipulation similar to that used in demonstrating that \(\displaystyle \lim_{θ→0^−}\sin θ=0\), we can show that \(\displaystyle \lim_{θ→0^−}\dfrac{\sin θ}{θ}=1\). Thus,
\[\lim_{θ→0}\dfrac{\sin θ}{θ}=1.\]
\[\displaystyle \lim_{θ→0}\dfrac{1−\cos θ}{θ}\]
In Example \(\PageIndex{11}\) we use this limit to establish \(\displaystyle \lim_{θ→0}\dfrac{1−\cos θ}{θ}=0\). This limit also proves useful in later chapters.
Example \(\PageIndex{11}\): Evaluating an Important Trigonometric Limit
Evaluate \(\displaystyle \lim_{θ→0}\dfrac{1−\cos θ}{θ}\).
Solution
In the first step, we multiply by the conjugate so that we can use a trigonometric identity to convert the cosine in the numerator to a sine:
\(\displaystyle \lim_{θ→0}\dfrac{1−\cos θ}{θ} =\displaystyle \lim_{θ→0}\dfrac{1−\cos θ}{θ}⋅\dfrac{1+\cos θ}{1+\cos θ}\)
=\(\displaystyle \lim_{θ→0}\dfrac{1−cos^2θ}{θ(1+\cos θ)}\)
=\(\displaystyle \lim_{θ→0}\dfrac{sin^2θ}{θ(1+\cos θ)}\)
=\(\displaystyle \lim_{θ→0}\dfrac{\sin θ}{θ}⋅\dfrac{\sin θ}{1+\cos θ}\)
=\(1⋅\dfrac{0}{2}=0\).
Therefore,
\[\lim_{θ→0}\dfrac{1−\cos θ}{θ}=0.\nonumber \]
Exercise \(\PageIndex{11}\)
Evaluate \(\displaystyle \lim_{θ→0}\dfrac{1−\cos θ}{\sin θ}\).
Multiply numerator and denominator by \(1+\cos θ\).
0
Deriving the Formula for the Area of a Circle
Some of the geometric formulas we take for granted today were first derived by methods that anticipate some of the methods of calculus. The Greek mathematician Archimedes (ca. 287−212; BCE) was particularly inventive, using polygons inscribed within circles to approximate the area of the circle as the number of sides of the polygon increased. He never came up with the idea of a limit, but we can use this idea to see what his geometric constructions could have predicted about the limit.
We can estimate the area of a circle by computing the area of an inscribed regular polygon. Think of the regular polygon as being made up of \(n\) triangles. By taking the limit as the vertex angle of these triangles goes to zero, you can obtain the area of the circle. To see this, carry out the following steps:
1.Express the height \(h\) and the base \(b\) of the isosceles triangle in Figure \(\PageIndex{6}\) in terms of \(θ\) and \(r\).
Figure \(\PageIndex{6}\)
2. Using the expressions that you obtained in step 1, express the area of the isosceles triangle in terms of \(θ\) and \(r\).
(Substitute \((1/2)\sin θ\) for \(\sin(θ/2)\cos(θ/2)\) in your expression.)
3. If an \(n\)-sided regular polygon is inscribed in a circle of radius \(r\), find a relationship between \(θ\) and \(n\). Solve this for \(n\). Keep in mind there are \(2π\) radians in a circle. (Use radians, not degrees.)
4. Find an expression for the area of the n-sided polygon in terms of \(r\) and \(θ\).
5. To find a formula for the area of the circle, find the limit of the expression in step 4 as \(θ\) goes to zero. (Hint: \(\displaystyle \lim_{θ→0}\dfrac{(\sin θ)}{θ}=1)\).
The technique of estimating areas of regions by using polygons is revisited in Introduction to Integration.
Key Concepts
Key Equations
\[\lim_{x→a}x=a \quad \quad \lim_{x→a}c=c \nonumber \]
\[ \lim_{θ→0}\sin θ=0 \nonumber \]
\[ \lim_{θ→0}\cos θ=1 \nonumber \]
\[ \lim_{θ→0}\dfrac{\sin θ}{θ}=1 \nonumber \]
\[ \lim_{θ→0}\dfrac{1−\cos θ}{θ}=0 \nonumber \]
Glossary
Contributors
Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.