The binomial approximation is useful for approximately calculating
powers
Powers may refer to:
Arts and media
* ''Powers'' (comics), a comic book series by Brian Michael Bendis and Michael Avon Oeming
** ''Powers'' (American TV series), a 2015–2016 series based on the comics
* ''Powers'' (British TV series), a 200 ...
of sums of 1 and a small number ''x''. It states that
:
It is valid when
and
where
and
may be
real or
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s.
The benefit of this approximation is that
is converted from an exponent to a multiplicative factor. This can greatly simplify mathematical expressions (as in
the example below) and is a common tool in physics.
[For example calculating the ]multipole expansion
A multipole expansion is a mathematical series representing a function that depends on angles—usually the two angles used in the spherical coordinate system (the polar and azimuthal angles) for three-dimensional Euclidean space, \R^3. Simila ...
.
The approximation can be proven several ways, and is closely related to the
binomial theorem
In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial into a sum involving terms of the form , where the ...
. By
Bernoulli's inequality
In mathematics, Bernoulli's inequality (named after Jacob Bernoulli) is an inequality that approximates exponentiations of 1 + ''x''. It is often employed in real analysis. It has several useful variants:
* (1 + x)^r \geq 1 + ...
, the left-hand side of the approximation is greater than or equal to the right-hand side whenever
and
.
Derivations
Using linear approximation
The function
:
is a
smooth function
In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if ...
for ''x'' near 0. Thus, standard
linear approximation
In mathematics, a linear approximation is an approximation of a general function using a linear function (more precisely, an affine function). They are widely used in the method of finite differences to produce first order methods for solving o ...
tools from
calculus
Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizati ...
apply: one has
:
and so
:
Thus
:
By
Taylor's theorem
In calculus, Taylor's theorem gives an approximation of a ''k''-times differentiable function around a given point by a polynomial of degree ''k'', called the ''k''th-order Taylor polynomial. For a smooth function, the Taylor polynomial is the ...
, the error in this approximation is equal to
for some value of
that lies between 0 and . For example, if
and
, the error is at most
. In
little o notation
Big ''O'' notation is a mathematical notation that describes the limiting behavior of a function when the argument tends towards a particular value or infinity. Big O is a member of a family of notations invented by Paul Bachmann, Edmund Land ...
, one can say that the error is
, meaning that
.
Using Taylor Series
The function
:
where
and
may be real or complex can be expressed as a
Taylor Series
In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor se ...
about the point zero.
:
If
and
, then the terms in the series become progressively smaller and it can be truncated to
:
This result from the binomial approximation can always be improved by keeping additional terms from the Taylor Series above. This is especially important when
starts to approach one, or when evaluating a more complex expression where the first two terms in the Taylor Series cancel (
see example).
Sometimes it is wrongly claimed that
is a sufficient condition for the binomial approximation. A simple counterexample is to let
and
. In this case
but the binomial approximation yields
. For small
but large
, a better approximation is:
:
Example
The binomial approximation for the
square root
In mathematics, a square root of a number is a number such that ; in other words, a number whose ''square'' (the result of multiplying the number by itself, or ⋅ ) is . For example, 4 and −4 are square roots of 16, because .
...
,
, can be applied for the following expression,
:
where
and
are real but
.
The mathematical form for the binomial approximation can be recovered by factoring out the large term
and recalling that a square root is the same as a power of one half.
:
Evidently the expression is linear in
when
which is otherwise not obvious from the original expression.
Generalization
While the binomial approximation is linear, it can be generalized to keep the quadratic term in the Taylor series:
:
Applied to the square root, it results in:
:
Quadratic example
Consider the expression:
:
where
and
. If only the linear term from the binomial approximation is kept
then the expression unhelpfully simplifies to zero
:
While the expression is small, it is not exactly zero.
So now, keeping the quadratic term:
:
This result is quadratic in
which is why it did not appear when only the linear in terms in
were kept.
References
{{Reflist
Factorial and binomial topics
Approximations