Skip to content

Mathematics · Ch 5 — Binomial Theorem, Sequences and Series

Binomial Series

5.6.5

Binomial Series

The series expansions 11−x=1+x+x2+⋯\dfrac1{1-x}=1+x+x^2+\cdots, 11+x=1−x+x2−⋯\dfrac1{1+x}=1-x+x^2-\cdots and 11−2x=1+2x+4x2+⋯\dfrac1{1-2x}=1+2x+4x^2+\cdots can all be re-written using negative integer exponents: 11−x=(1−x)−1\dfrac1{1-x}=(1-x)^{-1}, 11+x=(1+x)−1\dfrac1{1+x}=(1+x)^{-1}, 11−2x=(1−2x)−1\dfrac1{1-2x}=(1-2x)^{-1}. This hints that (1+x)n(1+x)^n might make sense for exponents nn well beyond the positive integers of Theorem 5.1 — and indeed it does, for any rational (even irrational) exponent.

Theorem 5.4 (Binomial Theorem for Rational Exponent). For any rational number nn,

(1+x)n=1+nx+n(n−1)2!x2+n(n−1)(n−2)3!x3+⋯for all real x with ∣x∣<1.(1+x)^n = 1+nx+\frac{n(n-1)}{2!}x^2+\frac{n(n-1)(n-2)}{3!}x^3+\cdots \qquad\text{for all real } x \text{ with } |x|<1.

This is stated here without proof (the proof needs tools beyond this course); it is genuinely an infinite series when nn is not a non-negative integer (Theorem 5.1's finite expansion is the special case n∈Nn\in\mathbb N, where the series terminates because nCr=0^nC_r=0 once r>nr>n).

Companion forms, obtained by substitution into Theorem 5.4:

  1. Replacing x→−xx\to-x:  (1−x)n=1−nx+n(n−1)2!x2−n(n−1)(n−2)3!x3+⋯\ (1-x)^n = 1-nx+\dfrac{n(n-1)}{2!}x^2-\dfrac{n(n-1)(n-2)}{3!}x^3+\cdots (∣x∣<1)(|x|<1).
  2. Replacing n→−nn\to-n:  (1+x)−n=1−nx+n(n+1)2!x2−n(n+1)(n+2)3!x3+⋯\ (1+x)^{-n} = 1-nx+\dfrac{n(n+1)}{2!}x^2-\dfrac{n(n+1)(n+2)}{3!}x^3+\cdots (∣x∣<1)(|x|<1).
  3. Replacing both x→−x, n→−nx\to-x,\ n\to-n:  (1−x)−n=1+nx+n(n+1)2!x2+n(n+1)(n+2)3!x3+⋯\ (1-x)^{-n} = 1+nx+\dfrac{n(n+1)}{2!}x^2+\dfrac{n(n+1)(n+2)}{3!}x^3+\cdots (∣x∣<1)(|x|<1).

Written with n=p/qn=p/q (to make the "rational number" explicit):

(1+x)p/q=1+pqx+p(p−q)q2 2!x2+p(p−q)(p−2q)q3 3!x3+⋯(∣x∣<1),(1+x)^{p/q} = 1+\frac pqx+\frac{p(p-q)}{q^2\,2!}x^2+\frac{p(p-q)(p-2q)}{q^3\,3!}x^3+\cdots \qquad (|x|<1),

and similarly for (1−x)p/q(1-x)^{p/q} with alternating signs.

Four expansions worth memorising outright (all ∣x∣<1|x|<1):

(1+x)−1=1−x+x2−x3+⋯ ,(1−x)−1=1+x+x2+x3+⋯ ,(1+x)^{-1}=1-x+x^2-x^3+\cdots,\qquad (1-x)^{-1}=1+x+x^2+x^3+\cdots,

(1−x)−2=1+2x+3x2+4x3+5x4+⋯ ,(1+x)−2=1−2x+3x2−4x3+5x4−⋯ .(1-x)^{-2}=1+2x+3x^2+4x^3+5x^4+\cdots,\qquad (1+x)^{-2}=1-2x+3x^2-4x^3+5x^4-\cdots.

Note

The theorem genuinely holds for any real exponent nn — even irrational, e.g. (1+x)2=1+2x+2(2−1)2!x2+⋯(1+x)^{\sqrt2}=1+\sqrt2x+\dfrac{\sqrt2(\sqrt2-1)}{2!}x^2+\cdots for ∣x∣<1|x|<1. …