In short
For any rational number n (fractional, negative, or otherwise non-positive-integer) and |x| < 1, the generalised binomial theorem gives (1 + x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots, an infinite series. Unlike the positive-integer case, the expansion never terminates, and it is valid only when |x| < 1. This series is the basis for approximating expressions like \sqrt{1.02} or \frac{1}{(1+x)^3} without a calculator.
A civil engineer needs to estimate \sqrt{104} during a quick site calculation. She rewrites it as \sqrt{100 \cdot 1.04} = 10\sqrt{1.04} = 10(1 + 0.04)^{1/2}. If the binomial theorem worked for n = 1/2, she could expand (1 + 0.04)^{1/2} and keep a few terms for a fast approximation. Does it work?
The answer is yes — with a condition. When the exponent n is a positive integer, (a + b)^n expands into finitely many terms and the expansion is exact for all values of a and b. When n is a fraction or a negative number, the expansion becomes an infinite series and it converges only when |x| < 1 (in the standard form (1+x)^n). Respecting this convergence condition is the price of admission to a much larger world of expansions.
Why does the finite expansion break down?
Recall from the positive-integer theorem that the general term involves \binom{n}{r} = \frac{n(n-1)(n-2)\cdots(n-r+1)}{r!}. When n is a positive integer and r > n, one of the factors in the numerator is (n - n) = 0, which kills every term past T_{n+1}. That is why the expansion terminates at n + 1 terms.
When n = 1/2, the factors in the numerator are \frac{1}{2}, \frac{1}{2} - 1, \frac{1}{2} - 2, \frac{1}{2} - 3, \dots = \frac{1}{2}, -\frac{1}{2}, -\frac{3}{2}, -\frac{5}{2}, \dots. None of these is ever zero. The product never vanishes, so no term is zero, and the series goes on forever.
The theorem
Binomial Theorem for Rational Index
For any n \in \mathbb{Q} (where n is not a non-negative integer) and |x| < 1:
The coefficient of x^r is written \binom{n}{r} = \frac{n(n-1)(n-2)\cdots(n-r+1)}{r!}, the generalised binomial coefficient. The series converges if and only if |x| < 1.
Three things change from the positive-integer version:
- The series is infinite. There is no last term.
- Convergence requires |x| < 1. Outside this range, the partial sums diverge.
- The base must be (1 + x). You cannot directly expand (a + b)^n for arbitrary a, b. Instead, factor out: (a + b)^n = a^n\left(1 + \frac{b}{a}\right)^n, and apply the theorem to x = b/a provided |b/a| < 1, i.e., |b| < |a|.
Important expansions
Several specific values of n arise repeatedly. Working out the first few terms by hand builds fluency.
n = -1: the geometric series.
Check: the coefficient of x^r is \binom{-1}{r} = \frac{(-1)(-2)(-3)\cdots(-r)}{r!} = \frac{(-1)^r \cdot r!}{r!} = (-1)^r.
This is exactly the sum of the infinite geometric series \frac{1}{1+x} = \sum_{r=0}^{\infty} (-x)^r. The binomial theorem and the GP formula agree perfectly.
n = -2:
The coefficient of x^r is (-1)^r(r+1). This is the term-by-term derivative of (1+x)^{-1}, divided by -1 — a connection that becomes clear once you study calculus.
n = 1/2: the square root.
The coefficients are \frac{1}{2}, \frac{\frac{1}{2} \cdot (-\frac{1}{2})}{2!} = -\frac{1}{8}, \frac{\frac{1}{2} \cdot (-\frac{1}{2}) \cdot (-\frac{3}{2})}{3!} = \frac{1}{16}, and so on.
n = -1/2: the inverse square root.
Applications in approximation
The real power of this theorem is computation. When x is small, the first two or three terms of (1 + x)^n give an excellent approximation.
Linear approximation: (1 + x)^n \approx 1 + nx for small |x|.
Quadratic approximation: (1 + x)^n \approx 1 + nx + \frac{n(n-1)}{2}x^2 for small |x|.
Take \sqrt{1.02} = (1 + 0.02)^{1/2}. Here x = 0.02 and n = 1/2.
- Linear: 1 + \frac{1}{2}(0.02) = 1.01
- Quadratic: 1 + 0.01 - \frac{1}{8}(0.0004) = 1 + 0.01 - 0.00005 = 1.00995
- Exact (to 8 places): 1.00995049\dots
The quadratic approximation matches to five decimal places — from a two-term calculation.
Interactive: see the approximation improve term by term
Drag the red point to change the number of terms kept in the expansion of (1 + x)^{1/2} (from 1 term up to 6 terms). The curve shows how the partial sum compares to the exact \sqrt{1+x} on the interval (-0.8, 0.8).
Two worked examples
Example 1: Approximate $\sqrt[3]{1001}$ correct to five decimal places
Step 1. Rewrite in the form (1 + x)^n with small x.
Here n = 1/3 and x = 0.001.
Why: factor out the nearest perfect cube (1000 = 10^3) to make x as small as possible. Smaller x means fewer terms needed for accuracy.
Step 2. Write the first three terms of the expansion.
Why: the second coefficient is \frac{(1/3)(1/3 - 1)}{2} = \frac{(1/3)(-2/3)}{2} = -\frac{1}{9}.
Step 3. Substitute x = 0.001.
Why: the x^2 term is already of order 10^{-7}, contributing only at the seventh decimal place. For five-decimal-place accuracy, two terms suffice.
Step 4. Compute the result.
A calculator gives \sqrt[3]{1001} = 10.003\,332\,22\ldots, confirming five-decimal-place accuracy.
Result: \sqrt[3]{1001} \approx 10.00333.
The strategy is always the same: extract the largest perfect power, make x small, and keep enough terms for the desired precision. The smaller x is, the faster the series converges.
Example 2: Expand $\dfrac{1}{(1 - 2x)^3}$ up to the $x^3$ term
Step 1. Rewrite in the form (1 + u)^n.
Here n = -3 and u = -2x, valid for |-2x| < 1, i.e., |x| < \frac{1}{2}.
Why: replacing x with -2x in (1 + x)^n means the convergence condition becomes |{-2x}| < 1.
Step 2. Write the general coefficient. For (1 + u)^{-3}, the coefficient of u^r is:
Why: the numerator has r factors from -3 down: (-3)(-4)\cdots(-(r+2)). The absolute value is \frac{(r+2)!}{2!}, and the sign is (-1)^r.
Step 3. Substitute u = -2x and expand.
The first four terms (r = 0, 1, 2, 3):
- r = 0: \frac{1 \cdot 2}{2} \cdot 1 = 1
- r = 1: \frac{2 \cdot 3}{2} \cdot 2 = 6
- r = 2: \frac{3 \cdot 4}{2} \cdot 4 = 24
- r = 3: \frac{4 \cdot 5}{2} \cdot 8 = 80
Why: (-1)^r \cdot (-2)^r = (-1)^r \cdot (-1)^r \cdot 2^r = 2^r (the two signs cancel).
Step 4. Write the result.
Spot-check at x = 0.1: \frac{1}{(0.8)^3} = \frac{1}{0.512} = 1.953125. Partial sum: 1 + 0.6 + 0.24 + 0.08 = 1.92. Close, and the remaining terms will bring it to 1.953\dots
Result: \dfrac{1}{(1 - 2x)^3} = 1 + 6x + 24x^2 + 80x^3 + \cdots for |x| < \dfrac{1}{2}.
Notice the clean pattern in the coefficients: 1, 6, 24, 80. The general coefficient (r+1)(r+2) \cdot 2^{r-1} blends a combinatorial factor with a geometric growth — a signature of negative-exponent binomial expansions.
Common confusions
-
"The expansion works for all x." For non-integer n, the series converges only when |x| < 1. Setting x = 2 in (1 + x)^{1/2} and summing the first few terms does not approximate \sqrt{3} — the series diverges. You must rewrite the expression so that the variable part has absolute value less than 1.
-
"(a + b)^n for rational n can be expanded directly." The theorem is stated for (1 + x)^n. To handle (a + b)^n, factor out a^n first: (a + b)^n = a^n(1 + b/a)^n, and apply the theorem to x = b/a with |b/a| < 1.
-
"The n = -1 expansion is different from the GP formula." They are the same. (1 + x)^{-1} = 1 - x + x^2 - x^3 + \cdots is exactly the infinite geometric series with first term 1 and common ratio -x. The binomial theorem contains the GP formula as a special case.
-
"Generalised \binom{n}{r} always gives integers." When n is not a non-negative integer, \binom{n}{r} can be any rational number (or even irrational, for irrational n). For example, \binom{1/2}{2} = \frac{(1/2)(1/2 - 1)}{2!} = -\frac{1}{8}.
-
"I can use the factorial formula n!/(r!(n-r)!)." That formula requires n to be a non-negative integer. For rational n, use the falling-factorial definition: \binom{n}{r} = \frac{n(n-1)(n-2)\cdots(n-r+1)}{r!}.
Going deeper
If you can expand (1 + x)^n for rational n, compute generalised binomial coefficients, and use the series for approximation, you have the full toolkit for this chapter. What follows is for readers who want the rigorous backdrop.
Convergence at the boundary |x| = 1
The condition |x| < 1 guarantees convergence, but what happens at x = 1 and x = -1?
- At x = 1: the series converges if n > -1. For example, (1 + 1)^{-1/2} = 1/\sqrt{2} and the series 1 - 1/2 + 3/8 - 5/16 + \cdots does converge (slowly) to 1/\sqrt{2}.
- At x = -1: the series converges if n \geq 0. For n < 0, the function (1-1)^n = 0^n is either 0 (for n > 0) or undefined, and the series diverges.
The full boundary behaviour is governed by Abel's theorem and is studied in analysis courses.
Connection to Taylor series
The binomial series for (1 + x)^n is, in fact, the Taylor series of (1 + x)^n about x = 0. The r-th derivative of (1+x)^n at x = 0 is n(n-1)(n-2)\cdots(n-r+1), so the Taylor coefficient is \frac{n(n-1)\cdots(n-r+1)}{r!} — exactly the generalised binomial coefficient. The radius of convergence |x| < 1 comes from the ratio test applied to consecutive terms.
Historical note
The extension of the binomial theorem to non-integer exponents was one of the early triumphs of infinite series. The insight that (1 + x)^{1/2} could be expanded as an infinite sum, and that this sum actually converged to \sqrt{1+x}, opened the door to the systematic use of power series in mathematics — an idea that eventually led to the full theory of Taylor and Maclaurin series.
Where this leads next
- Binomial Theorem for Positive Integer — the finite version of the theorem, which this article generalises.
- Sum of Geometric Progression — the n = -1 case of the binomial series, and the simplest infinite series.
- Special Expansions — a collection of standard expansions and series that build on the binomial series.
- Derivative — the tool that connects the binomial series to Taylor series, and explains why the coefficients have the form they do.
- Roots and Radicals — the algebraic context for expressions like (1+x)^{1/2} and (1+x)^{1/3}.