UK A-Level: Binomial Expansion

Binomial expansion is a cornerstone of algebra that unlocks efficient calculation and approximation, transforming complex powers into manageable sums. At A-Level, you master this tool for both discrete integer powers and more advanced rational exponents, providing a powerful technique for calculus, probability, and scientific estimation. Understanding the conditions for its use is just as critical as applying the formula itself.

Foundations: Pascal's Triangle and Binomial Coefficients

Before reaching for the general formula, it's essential to understand the pattern that governs expansions. For a positive integer power $n$, expanding an expression like $(a+b{)}^n$ yields a sum of terms in the form $a^n{b}^0,a^{n-1}{b}^1,...,a^0{b}^n$, each multiplied by a specific number. These multipliers are the binomial coefficients.

Pascal's Triangle provides a simple, visual way to generate these coefficients. Each row corresponds to the power $n$ (starting with row 0 for $n=0$). Each number is the sum of the two numbers directly above it. For example, row 3 is 1, 3, 3, 1. Therefore, $(a+b{)}^3=1a^3+3a^{2}b+3a{b}^2+1b^3$. This method is intuitive but becomes impractical for high powers like $n=10$.

This leads to the more efficient calculation using the binomial coefficient, denoted ${}^n{C}_r$ or $\left(\genfrac{}{}{0ex}{}{n}{r}\right)$. It is calculated as: $$\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\frac{n!}{r!(n-r)!}$$ where $n!$ (n factorial) is the product $n\times (n-1)\times ...\times 2\times 1$. The coefficient $\left(\genfrac{}{}{0ex}{}{n}{r}\right)$ gives the multiplier for the term where $b$ has power $r$ (and $a$ has power $n-r$).

The Binomial Theorem for Positive Integer Powers

The systematic combination of binomial coefficients and the descending/ascending powers of $a$ and $b$ is formalized in the Binomial Theorem. For any positive integer $n$: $$(a+b{)}^n=\sum _{r=0}^n(\genfrac{}{}{0ex}{}{n}{r})a^{n-r}{b}^r$$ This is often written in its expanded form: $$(a+b{)}^n=a^n+(\genfrac{}{}{0ex}{}{n}{1})a^{n-1}b+(\genfrac{}{}{0ex}{}{n}{2})a^{n-2}{b}^2+...+b^n$$

Worked Example: Expand $(2x-3{)}^4$. Here, $a=2x$, $b=-3$, and $n=4$. We apply the theorem term-by-term:

• When $r=0$: $\left(\genfrac{}{}{0ex}{}{4}{0}\right)(2x{)}^4(-3{)}^0=1\times 16x^4\times 1=16x^4$
• When $r=1$: $\left(\genfrac{}{}{0ex}{}{4}{1}\right)(2x{)}^3(-3{)}^1=4\times 8x^3\times (-3)=-96x^3$
• When $r=2$: $\left(\genfrac{}{}{0ex}{}{4}{2}\right)(2x{)}^2(-3{)}^2=6\times 4x^2\times 9=216x^2$
• When $r=3$: $\left(\genfrac{}{}{0ex}{}{4}{3}\right)(2x{)}^1(-3{)}^3=4\times 2x\times (-27)=-216x$
• When $r=4$: $\left(\genfrac{}{}{0ex}{}{4}{4}\right)(2x{)}^0(-3{)}^4=1\times 1\times 81=81$

Therefore, $(2x-3{)}^4=16x^4-96x^3+216x^2-216x+81$.

Extending to Rational Exponents and the Binomial Series

The theorem's power extends beyond positive integers. For any rational number $n$ (which can be negative or a fraction), we can express $(1+x{)}^n$ as an infinite series, provided certain conditions are met. This is known as the binomial series expansion: $$(1+x{)}^n=1+nx+\frac{n(n-1)}{2!}{x}^2+\frac{n(n-1)(n-2)}{3!}{x}^3+...$$ Crucially, this series is valid only when $|x|<1$ (i.e., $-1<x<1$). This is the validity condition you must always state. If the expression isn't in the form $(1+x{)}^n$, you must rearrange it.

Worked Example: Find the binomial expansion of $\frac{1}{\sqrt{1+2x}}$ up to the term in $x^3$, stating the range of $x$ for which it is valid.

First, rewrite: $(1+2x{)}^{-1/2}$. Here, $n=-\frac{1}{2}$ and the "$x$" in the formula is actually $2x$. Apply the series: $$1+(-\frac{1}{2})(2x)+\frac{(-\frac{1}{2})(-\frac{3}{2})}{2!}(2x{)}^2+\frac{(-\frac{1}{2})(-\frac{3}{2})(-\frac{5}{2})}{3!}(2x{)}^3+...$$ Simplify step-by-step: $=1+(-1)x+\frac{(\frac{3}{4})}{2}(4x^2)+\frac{(-\frac{15}{8})}{6}(8x^3)$ $=1-x+\frac{3}{8}\times 4x^2-\frac{15}{48}\times 8x^3$ $=1-x+\frac{3}{2}{x}^2-\frac{5}{2}{x}^3+...$

The expansion is valid when $|2x|<1$, so $|x|<\frac{1}{2}$.

Approximation Using the Binomial Series

The binomial series is exceptionally useful for finding approximations. By taking only the first few terms of an infinite series, you can estimate values that would be difficult to calculate directly. The key is to choose an $x$ that is small (within the validity condition) so that higher powers of $x$ become negligible rapidly.

Applied Scenario: Estimate $\sqrt[3]{9}$. We note that $\sqrt[3]{9}=(8+1{)}^{1/3}=8^{1/3}(1+\frac{1}{8}{)}^{1/3}=2(1+\frac{1}{8}{)}^{1/3}$. Now, expand $(1+x{)}^{1/3}$ where $x=\frac{1}{8}=0.125$ (which is less than 1). Using the series with $n=\frac{1}{3}$: $(1+x{)}^{1/3}\approx 1+\frac{1}{3}x+\frac{(\frac{1}{3})(-\frac{2}{3})}{2!}{x}^2=1+\frac{x}{3}-\frac{x^2}{9}$. Substitute $x=0.125$: $1+\frac{0.125}{3}-\frac{(0.125{)}^2}{9}=1+\mathrm{0.041666...}-\mathrm{0.001736...}\approx 1.03993$. Therefore, $\sqrt[3]{9}\approx 2\times 1.03993=2.07986$. This is very close to the true value (approximately 2.08008).

Common Pitfalls

1. Applying the infinite series to $(a+b{)}^n$ without adjusting to $(1+x{)}^n$ form. The standard binomial series expansion only works directly for $(1+x{)}^n$. For $(a+b{)}^n$ where $n$ is not a positive integer, you must factor out the larger term. For example, to expand $(3+x{)}^{-2}$, factor out the 3: $3^{-2}(1+\frac{x}{3}{)}^{-2}=\frac{1}{9}(1+\frac{x}{3}{)}^{-2}$.

1. Forgetting the validity condition. Always state the condition $|x|<1$ (or its equivalent, e.g., $|\frac{b}{a}|<1$) for expansions where $n$ is not a positive integer. An expansion used outside this range is invalid and will give an incorrect result.

1. Incorrect handling of negative or fractional coefficients in the series. When $n$ is a fraction or negative number, the binomial coefficients $\frac{n(n-1)(n-2)...}{r!}$ involve careful signed arithmetic. Work methodically, simplifying fractions step-by-step to avoid sign errors, as shown in the worked example.

1. Misidentifying 'n' and 'x' in the general series formula. In the formula $(1+x{)}^n$, the $n$ is the power (e.g., -2, 1/3) and the $x$ is the entire term being added to 1. If you have $(1+5y{)}^{-1}$, then $n=-1$ and $x=5y$. The validity condition applies to this $x$: $|5y|<1$.

Summary

• The Binomial Theorem for positive integer powers uses binomial coefficients ($\left(\genfrac{}{}{0ex}{}{n}{r}\right)$) to expand $(a+b{)}^n$ into a finite sum of terms.
• Pascal's Triangle offers a visual method for finding these coefficients for smaller values of $n$.
• For any rational $n$, the binomial series allows expansion of $(1+x{)}^n$ as an infinite series: $1+nx+\frac{n(n-1)}{2!}{x}^2+...$.
• The critical validity condition for this infinite series is $|x|<1$. You must always state this condition.
• The binomial series is a powerful tool for approximating values (like roots or reciprocals) by substituting a small value for $x$ and using the first few terms of the series.
• Always manipulate an expression into the form $a^n(1+x{)}^n$ before applying the infinite series expansion when $n$ is not a positive integer.