It is the case where certain limits do indeed converge onto a value, but direct substitution and the traditional algebraic manipulations fail to produce a solution on account of the indeterminate form.
There are two indeterminate forms in which the rule may be used:
Suppose for example we have two functions , where . And we now wish to evaluate the limit:
This is a case where we might use the Rule because direct substitution yields an indeterminate form , and other algebraic techniques are, for the sake of argument, ineffective.
These two functions are defined to be continuous in the vicinity of , except possibly at . Otherwise, these two functions are representative of any arbitrary function.
The rule is one that is necessarily taught after differential calculus. Though limit evaluation is generally taught before differentiation, the Rule requires differentiation to be implemented. Differentiation is an added skill which allows us to evaluate limits that we otherwise were unable to.
If the functions are both, independently of one another, differentiable functions then the rule may be implemented. That is, must both exist, at least in the vicinity of .
The following conditions must be met:
- The two functions which form the numerator and denominator of the rational function are both, on their own, differentiable.
- That is, exists and exists.
- Direct substitution must produce the indeterminate forms or
Upon meeting the criteria, we may implement the Rule.
Notice that differentiation was applied once to each function in both numerator and denominator, not once to the quotient.
- Failure to make sure of the indeterminate form.
- Differentiating the entire quotient, or rational expression, as opposed to differentiating the numerator and denominator function separately.
- Forgetting the rule is reiterative.
Proof of the Rule
For the Indeterminate Form
The dilemma which causes our difficulty, thereby necessitating the rule, is the indeterminate form . We know, then, by definition, that .
First by stating the problem:
We subtract a value of 0 (zero identity of addition) from both the numerator and denominator. This changes nothing. The zero, however, takes the form of their respective function evaluated at :
Now we multiply the quotient by 1 (unit identity of multiplication) in the form of a rational expression of equal numerator and denominator. We will use :
Which we algebraically rearrange:
We may reciprocate the right hand quotient by dividing it instead:
According to the limit properties, the limit of a product (or quotient) equals the product (or quotient) of the limits, if they each exist and the denominator isnt 0:
Notice the additional limit on the left encompassing the whole. We may do this because limits are idempotent operations. We must do this in order to account for the possibility that the denominator may indeed evaluate to zero, a stipulation otherwise not permitted when we split the limit of a quotient into a quotient of limits. As a limit still, we may disregard the zero-denominator possibility.
In other words, by encompassing the whole with another limit we are able to split the limits apart without concern for what the denominator evaluates to. Furthermore, we must still evaluate the limit as the limiting variable approaches - without the outermost limit the is lost to us.
Both of these quotient limits are the limit definitions of the derivative (via secant).
For the Indeterminate Form
Due to the fact that the ± sign is nothing more than a multiplicative factor valued at , it is a constant and a scalar which may be factored out of the limits. Consequently, the rule which applies to the indeterminate form also applies to .
We may assume now that as , our functions both, separately, approach an infinite magnitude.
What we may do is perform algebraic manipulations. We shall copy from the following algebraic rule:
As it pertains to the limit in question:
Now, even though the functions approach infinite magnitudes, their reciprocals approach zero from the positive.
We are now in an indeterminate form , and l'Hopitals Rule for applies.
Evaluate the derivatives, applying the chain rule.
We have thus far proved the last equality.
We may apply the various limit properties in order to rearrange the functions. We can end up with:
Dealing with Other Indeterminate Forms
There are five other indeterminate forms involving the algebraic relationships. The l'Hopital's Rule only applies to those two involving division:
But the other five are:
In order to solve limits such as these requires algebraic manipulations in order to get them into the or forms so that l'Hopitals Rule may be applied.
If and then we may change one function from a multiplicative factor into the division of a reciprocal.
The limit goes from being a indeterminate to being a or , respectively.