Indeterminate form

In calculus, it is usually possible to compute the limit of the sum, difference, product, quotient or power of two functions by taking the corresponding combination of the separate limits of each respective function. For example,

$${\displaystyle {\begin{aligned}\lim _{x\to c}{\bigl (}f(x)+g(x){\bigr )}&=\lim _{x\to c}f(x)+\lim _{x\to c}g(x),\\[3mu]\lim _{x\to c}{\bigl (}f(x)g(x){\bigr )}&=\lim _{x\to c}f(x)\cdot \lim _{x\to c}g(x),\end{aligned}}}$$

and likewise for other arithmetic operations; this is sometimes called the algebraic limit theorem. However, certain combinations of particular limiting values cannot be computed in this way, and knowing the limit of each function separately does not suffice to determine the limit of the combination. In these particular situations, the limit is said to take an indeterminate form, described by one of the informal expressions

$${\displaystyle {\frac {0}{0}},~{\frac {\infty }{\infty }},~0\times \infty ,~\infty -\infty ,~0^{0},~1^{\infty },{\text{ or }}\infty ^{0},}$$

where each expression stands for the limit of a function constructed by an arithmetical combination of two functions whose limits respectively tend to ⁠${\displaystyle 0,}$⁠ ⁠${\displaystyle 1,}$⁠ or ⁠${\displaystyle \infty }$⁠ as indicated.^[1]

A limit taking one of these indeterminate forms might tend to zero, might tend to any finite value, might tend to infinity, or might diverge, depending on the specific functions involved. A limit which unambiguously tends to infinity, for instance ${\textstyle \lim _{x\to 0}1/x^{2}=\infty ,}$ is not considered indeterminate.^[2] The term was originally introduced by Cauchy's student Moigno in the middle of the 19th century.

The most common example of an indeterminate form is the quotient of two functions each of which converges to zero. This indeterminate form is denoted by ${\displaystyle 0/0}$. For example, as ${\displaystyle x}$ approaches ${\displaystyle 0,}$ the ratios ${\displaystyle x/x^{3}}$, ${\displaystyle x/x}$, and ${\displaystyle x^{2}/x}$ go to ${\displaystyle \infty }$, ${\displaystyle 1}$, and ${\displaystyle 0}$ respectively. In each case, if the limits of the numerator and denominator are substituted, the resulting expression is ${\displaystyle 0/0}$, which is indeterminate. In this sense, ${\displaystyle 0/0}$ can take on the values ${\displaystyle 0}$, ${\displaystyle 1}$, or ${\displaystyle \infty }$, by appropriate choices of functions to put in the numerator and denominator. A pair of functions for which the limit is any particular given value may in fact be found. Even more surprising, perhaps, the quotient of the two functions may in fact diverge, and not merely diverge to infinity. For example, ${\displaystyle x\sin(1/x)/x}$.

So the fact that two functions ${\displaystyle f(x)}$ and ${\displaystyle g(x)}$ converge to ${\displaystyle 0}$ as ${\displaystyle x}$ approaches some limit point ${\displaystyle c}$ is insufficient to determinate the limit

${\displaystyle \lim _{x\to c}{\frac {f(x)}{g(x)}}.}$

An expression that arises by ways other than applying the algebraic limit theorem may have the same form of an indeterminate form. However it is not appropriate to call an expression "indeterminate form" if the expression is made outside the context of determining limits. An example is the expression ${\displaystyle 0^{0}}$. Whether this expression is left undefined, or is defined to equal ${\displaystyle 1}$, depends on the field of application and may vary between authors. For more, see the article Zero to the power of zero. Note that ${\displaystyle 0^{\infty }}$ and other expressions involving infinity are not indeterminate forms.