Occasionally, one comes across a limit which results in ${\frac {0}{0}}$ or ${\frac {\infty }{\infty }}$ , which are called indeterminate limits. However, it is still possible to solve these in many cases due to L'Hôpital's rule. This rule also is vital in explaining how a number of other limits can be derived.
Definition: Indeterminate Limit
If ${\frac {f(a)}{g(a)}}$ exists, where $\lim _{x\to a}f(x)=\lim _{x\to a}g(x)=0$ or $\lim _{x\to a}f(x)=\lim _{x\to a}g(x)=\infty$ , the limit $\lim _{x\to a}{\frac {f(x)}{g(x)}}$ is said to be indeterminate.
All of the following expressions are indeterminate forms.
These expressions are called indeterminate because you cannot determine their exact value in the indeterminate form. Depending on the situation, each indeterminate form could evaluate to a variety of values.
If $\lim _{x\to a}{\frac {f(x)}{g(x)}}$ is indeterminate of type ${\frac {0}{0}}$ or ${\frac {\pm \infty }{\pm \infty }}$ ,
then $\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$
In other words, if the limit of the function is indeterminate, the limit equals the derivative of the top over the derivative of the bottom. If that is indeterminate, L'Hôpital's rule can be used again until the limit isn't ${\frac {0}{0}}$ or ${\frac {\infty }{\infty }}$ .
Note:
$x$ can approach a finite value $a$ , $\infty$ or $-\infty$ .
Suppose that for real functions $f,g$ , $\lim _{x\to a}f(x)=\lim _{x\to a}g(x)=0$ and that $\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$ exists. Thus $f'(x)$ and $g'(x)$ exist in an interval $(a-\delta ,a+\delta )$ around $a$ , but maybe not at $a$ itself. This implies that both $f,g$ are differentiable (and thus continuous) everywhere in $(a-\delta ,a+\delta )$ except perhaps at $a$. Thus, for any $x\in (a-\delta ,a+\delta )$ , in any interval $[a,x]$ or $[x,a]$ , $f,g$ are continuous and differentiable, with the possible exception of $a$ . Define
Note that $\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {F(x)}{G(x)}}$ , $\lim _{x\to a}{\frac {f'(x)}{g'(x)}}=\lim _{x\to a}{\frac {F'(x)}{G'(x)}}$ and that $F,G$ are continuous in any interval $[a,x]$ or $[x,a]$ and differentiable in any interval $(a,x)$ or $(x,a)$ when $x\in (a-\delta ,a+\delta )$ .
Cauchy's Mean Value Theorem tells us that ${\frac {F(x)-F(a)}{G(x)-G(a)}}={\frac {F'(c)}{G'(c)}}$ for some $c\in (a,x)$ or $c\in (x,a)$ . Since $F(a)=G(a)=0$ , we have ${\frac {F(x)}{G(x)}}={\frac {F'(c)}{G'(c)}}$ for $x,c\in (a-\delta ,a+\delta )$ .
Note that since $c\in (x,a)$ or $c\in (a,x)$ , by the squeeze theorem
So taking the limit as $x\to a$ of the last equation gives $\lim _{x\to a}{\frac {F(x)}{G(x)}}=\lim _{x\to a}{\frac {F'(x)}{G'(x)}}$ which is equivalent to $\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$ .
Sometimes, forms exist where it is not intuitively obvious how to solve them. One might think the value $1^{\infty }=1.$ However, as was noted in the definition of an indeterminate form, this isn't possible to evaluate using the rules learned before now, and we need to use L'Hôpital's rule to solve.