Front Matter1 Review2 Functions3 Limits and Continuity4 Derivatives5 Applications of Derivatives6 Three Dimensions7 Multi-Variable Calculus
Authored in PreTeXt

## Section 5.4 Indeterminate Form & L"Hôpital"s Rule

### Subsection 5.4.1 Indeterminate Forms

Before we embark on introducing one more limit rule, we need to recall a concept from algebra. In your work with functions (see Chapter 2) và limits (see Chapter 4) we sometimes encountered expressions that were undefined, because they either lead to lớn a contradiction or khổng lồ numbers that are not in the set of numbers we started out with. Let us look at an example for either scenario to lớn investigate the concept “undefined” more deeply.

Bạn đang xem: 5

Example 5.30. Undefined because it Leads to lớn Contradiction.

Suppose that

eginequation*f(x)=frac1x ext.endequation*

What happens when (x=0 ext?) Then (f(0)=1/0 ext,) but (1/0) is undefined. Why is that? Let"s assume this value is defined. This means that (1/0) is equal lớn some number, hotline it (n ext.) Then

eginequation*eginsplit frac10 amp = n \ 1 div 0 amp = n \ 1 amp = n imes 0 \ 1 amp = 0 endsplitendequation*

Clearly, 1 is not equal lớn 0, & so this statement is a contradiction. In fact, if we analyze the satament

eginequation*1 = n imes 0 ext,endequation*

we notice that there is no number for (n) that will satisfy this equation. Therefore, (1/0) could not have been a number, và hence we say (1/0) is undefined. This is the reason why we write that the domain name of (f) is given by

eginequation*mathcalD_f =left x in mathbbRig vert x eq 0 ight\text.endequation*
Example 5.31. Different Number Set.

Suppose that (f(x)=sqrtx-1) & that we are working over the real numbers. What happens when (x=0 ext?) Then

eginequation*f(0) = sqrt-1 ext,endequation*

but (sqrt-1) is undefined over the real numbers. Why is that? Let"s assume this value is defined. Then by the definition of square root, there is a real number (n) such that (-1 = n^2 ext.) Clearly, the square of a real number cannot produce a negative real number because positive × positivenegative × negative are both positive real numbers. In fact, (sqrt-1) is the imaginary number (i ext,) which belongs to lớn the phối of complex numbers.

When we work out limit problems algebraically, we will often get as an initial answer something that is undefined. This is because the places where a function is undefined are the “interesting” places khổng lồ look for limits. For example, if

eginequation*g(x)=fracx^2-9x-3 ext,endequation*

then

eginequation*g(3) = frac3^2-93-3 = frac00 ext,endequation*

but

eginequation*lim_x o 3 g(x) = lim_x o 3 fracx^2-9x-3 = lim_x o 3 frac(x-3)(x+3)x-3 = lim_x o 3 left(x+3 ight) = 6 ext.endequation*

The function (g) is a line with a hole at (x=3) và the limit showed us that this hole can be removed with the (y)-value 6 at (x=3) (see Fig 5.11).

Figure 5.11. The function (g(x)=fracx^2-9x-3) is undefined at (x=3 ext.)

However, we must remember that when we are calculating the limit of (f(x)) as (x o a) we are not interested in the behavior of (f(x)) at (a ext,) but we want khổng lồ know the behavior of (f(x)) around (a ext.) It is therefore important for us lớn identify an undefined value a of a function, and furthermore, khổng lồ investigate whether the type of undefined value can tell us something about the behavior of the function around (a ext.)

Before we continue, we need khổng lồ draw attention lớn a notation that we have been using when calculating limits. When we write (f(x) o 0) as (x o a ext,) we actually mean that (f(x)) gets arbitrarily close khổng lồ zero as (x) gets closer & closer to lớn (a ext.) However, the function value never reaches zero. Similarly, when we write (f(x) o infty) as (x o a ext,) we actually mean that (f(x)) grows ever larger, without bound as (x) gets closer và closer to (a ext.) However, the function value never reaches infinity, since infinity is not even a number.

Limit Behaviour.

When calculating limits,

0 represents a number arbitrarily close to zero;

(+infty) represents an arbitrarily large positive number; and

(-infty) represents an arbitrarily large negative number.

Therefore, (f(x) o frac00) as (x o a) means that (f(x)) is a fraction for which both the numerator và the denominator get arbitrarily close khổng lồ zero as (x) gets closer and closer lớn (a ext,) và (f(x) o fracinftyinfty) as (x o a) means that (f(x)) is a fraction for which both the numerator và the denominator grow ever larger, without bound as (x) gets closer và closer to lớn (a ext.) We also know from experience that some limits that demonstrate (frac00) or (fracinftyinfty) behaviour work out khổng lồ be real numbers, i.e. The limit exists, while others vì chưng not, as the following four examples remind us:

Example 5.32. Limit exists when 0/0.
eginequation*lim_x o 3 fracx^2-9x-3 stackrelfrac00= lim_x o 3 frac(x-3)(x+3)x-3 =lim_x o 3 (x+3) = 6endequation*
eginequation*eginsplitlim_x o 0^+ fracsqrtx+1-1x^2 stackrelfrac00= amp lim_x o 0^+ fracsqrtx+1-1x^2 cdot fracsqrtx+1+1sqrtx+1+1 \ amp= lim_x o 0^+ frac1xleft(sqrtx+1+1 ight) stackrelfrac10^+= infty endsplitendequation*
eginequation*lim_x o infty frac1-x2x stackrelfrac-inftyinfty= lim_x o infty fracfrac1x-12 = -frac12endequation*
eginequation*lim_x o infty frac1-x^22x stackrelfrac-inftyinfty= lim_x o infty fracfrac1x-x2 = -inftyendequation*

Upon closer inspection of the undefined expressions 0/0 và (infty)/(infty ext,) we should realize that both terms are based on the division operation và ask ourselves whether there are other undefined expressions that we may encounter when taking limits. We therefore investigate arithmetic ((a+b ext,)(a-b ext,)(ab ext,)(a/b)) and exponentiating ((a^b)) operations where (a) và (b) are values that approach 0, 1, some arbitrary number (n eq 0,1) or (infty ext.) We leave it up to the reader to perform an exhaustive listing of all combinations, & instead limit ourselves to the combinations that are of interest as shown in Table 5.12.

eginequation*eginarraycccccc0+0 amp infty+infty amp 0 cdot infty amp n cdot infty amp 0^0 amp 0^infty \<1ex>0-0 amp infty-infty amp frac0infty amp fracninfty amp 1^0 amp 1^infty \<1ex>0 cdot 0 amp pminfty cdot pminfty amp fracinfty0 amp fracinftyn amp n^0 amp n^infty \<1ex>frac00 amp fracpminftypminfty amp amp amp infty^0 amp infty^inftyendarrayendequation*
Table 5.12. Arithmetic và Exponentiating Combinations.

We now encourage the reader to lớn investigate each one of the terms shown in Table 5.12 & decide whether the undefined expression resolves khổng lồ give a single number value or infinity (determinate form), or whether this cannot be determined (indeterminate form), all the while keeping in mind our earlier discussion on limit behaviour around (x=a ext.) We formally define this new terminology before we explore some terms together.

Definition 5.36. Determinate and Indeterminate Forms.

An undefined expression involving some operation between two quantities is called a determinate size if it evaluates khổng lồ a single number value or infinity.

An undefined expression involving some operation between two quantities is called an indeterminate khung if it does not evaluate lớn a single number value or infinity.

We will inspect multiplication more closely. Consider (0 imes 0 ext.) Clearly, a number that is getting arbitrarily close to lớn zero that is multiplied by another number that is getting arbitrarily close to zero gets even closer to zero, i.e. (0 imes 0 o 0 ext.) Now consider (infty imes infty ext.) Here, multiplying two values that are growing large without bound simply means that their hàng hóa grows large without bound, i.e. (infty imes infty o infty ext.) Similarly, (left(-infty ight) imesinfty) means that the magnitude of the hàng hóa grows large without bound & that (left(-infty ight) imesinfty o -infty ext.) What about (n imesinfty ext,) when (n eq 0 ext?) Here we need lớn differentiate between negative & positive values of (n ext:) If (n>0 ext,) then (n imes infty o infty ext,) và if (nlt 0 ext,) then (n imesinfty o -infty ext.) So far, we have only encountered determinate forms involving multiplication. Lastly, consider (0 imesinfty ext.) Here, we have a number that is getting arbitrarily close lớn zero being multiplied with a value that is growing large without bounds. This is like two ends of a rope being tugged & we do not know which side is going to win. Therefore, (0 imesinfty) is an expression that cannot be determined.

We leave the remaining terms up khổng lồ the reader lớn investigate và simply present the determinate & indeterminate forms of the expressions from Table 5.12 in Table 5.13.

eginequation*eginarraycc extbf Determinate Forms amp extbf Indeterminate Forms\ \<0.25em>0+0 amp infty - infty \<1em>0-0 amp dfrac00 \<1em>0cdot 0 amp dfracpm inftypm infty \<1em>pm infty cdot pm infty amp 0 cdot infty \<1em>dfrac0infty,dfracninfty amp 0^0 \<1em>dfracinfty0,dfracinftyn amp infty^0\<1em>ncdotinfty scriptstyle n eq 0 amp 1^infty\<1em>0^infty amp \<1em>n^infty scriptstyle n eq 1 amp \<1em>infty^infty ampendarrayendequation*
Table 5.13. Determinate và Indeterminate Forms.

### Subsection 5.4.2 L"Hôpital"s Rule for Finding Limits

We are now in a position to lớn introduce one more technique for trying khổng lồ evaluate a limit.

Definition 5.37. Limits of the Indeterminate Forms (frac00) & (fracinftyinfty).

A limit of a quotient (limlimits_x ightarrow afracfleft( x ight) gleft( x ight) ) is said lớn be an indeterminate size of the type(frac00) if both (fleft( x ight) ightarrow 0) & (gleft( x ight) ightarrow 0) as (x ightarrow a ext.) Likewise, it is said to be an indeterminate size of the type (fracinfty infty ) if both (fleft( x ight) ightarrow pm infty) & (gleft( x ight) ightarrow pm infty) as (x ightarrow a) (Here, the two (pm) signs are independent of each other).

Theorem 5.38. L"Hôpital"s Rule.

For a limit (limlimits_x ightarrow afracfleft( x ight) gleft( x ight) ) of the indeterminate size (frac00) or (fracinfty infty ext,)

eginequation*limlimits_x ightarrow afracfleft( x ight) gleft( x ight) =limlimits_x ightarrow afracf^prime left( x ight) g^prime left( x ight) endequation*

if (limlimits_x ightarrow afracf^prime left( x ight) g^prime left( x ight) ) exists or equals (infty) or (-infty ext.)

This theorem is somewhat difficult to lớn prove, in part because it incorporates so many different possibilities, so we will not prove it here.

Note:

There may be instances where we would need to apply L"Hôpital"s Rule multiple times, but we must confirm that (limlimits_x o adfracf"(x)g"(x)) is still indeterminate before we attempt khổng lồ apply L"Hôpital"s Rule again.

L"Hôpital"s Rule is also valid for one-sided limits and limits at infinity.

Notation when Applying L"Hôpital"s Rule.

We use the symbol (Heq) to lớn denote we are using l"Hôpital"s Rule in that step.

Xem thêm: Đề Cương Ôn Tập Hóa 8 Học Kì 2 Violet, Tổng Hợp Lý Thuyết Toán Lớp 8 Violet

Example 5.39. L"Hôpital"s Rule & Indeterminate khung 0/0.

Compute (dslim_x o pifracx^2-pi^2sin x ext.)

eginequation*lim_x o pifracx^2-pi^2sin xHeq lim_x o pifrac2xcos x ext,endequation*

provided the latter exists. But in fact this is an easy limit, since the denominator now approaches (-1 ext,) so

eginequation*lim_x o pifracx^2-pi^2sin x=frac2pi-1 = -2pi ext.endequation*