Skip to content

Mathematics · Ch 9 — Binomial Theorem

Simple Applications

7

Simple Applications

Approximating a Power Close to 1

When xx is small (say ∣x∣<1|x| < 1, and often much smaller), the terms of (1+x)n=nC0+nC1x+nC2x2+⋯(1+x)^n = {}^{n}C_0+{}^{n}C_1x+{}^{n}C_2x^2+\cdots shrink rapidly, because each successive term carries one more power of the small number xx. Keeping only the first few terms -- and discarding the rest as negligible -- gives a fast, accurate way to compute a power such as (1.02)6(1.02)^6 or (0.98)10(0.98)^{10} to several decimal places, without a calculator, by writing the base as 1+x1+x for a small xx (positive or negative) and expanding only as far as the required accuracy demands.

Comparing Two Quantities

The same truncation idea, used the other way round, gives a quick way to decide which of two expressions is larger without computing either one exactly. Since every term of (1+x)n(1+x)^n for x>0x>0 is positive, dropping every term after the first two only ever decreases the total, so

(1+x)n  ≥  nC0+nC1x  =  1+nx(x>0, n a positive integer).(1+x)^n \;\ge\; {}^{n}C_0+{}^{n}C_1x \;=\; 1+nx \qquad (x>0,\ n \text{ a positive integer}).

This one inequality is often enough, by itself, to settle a "which is bigger" question: if 1+nx1+nx already exceeds the number being compared to, then (1+x)n(1+x)^n certainly does too, since it is at least as large as 1+nx1+nx.

Divisibility Results

The binomial theorem also gives clean proofs that an expression of the form an−bn−1a^n - bn - 1 (or similar) is always divisible by some fixed number, whenever a=1+ba=1+b for that same bb. Writing an=(1+b)na^n=(1+b)^n and expanding,

an=nC0+nC1b+nC2b2+⋯+nCnbn=1+nb+∑r=2nnCr br,a^n = {}^{n}C_0+{}^{n}C_1b+{}^{n}C_2b^2+\cdots+{}^{n}C_nb^n = 1+nb+\sum_{r=2}^{n}{}^{n}C_r\,b^r,

so

an−nb−1=∑r=2nnCr br,a^n-nb-1 = \sum_{r=2}^{n}{}^{n}C_r\,b^r,

and every single term of this remaining sum carries a factor of at least b2b^2 (since the smallest power appearing is r=2r=2). Consequently an−nb−1a^n-nb-1 is always divisible by b2b^2, for every positive integer nn -- this is exactly the technique used in Example 3 (with b=8b=8, divisibility by 6464) and Exercise: Applications, Q2 (with b=10b=10, divisibility by 100100).

Two Further Standard Identities

Setting a=b=1a=b=1 in the binomial theorem gives the sum of an entire row of Pascal's Triangle: …