Binomial expansion

Introduction to Binomial Expansion

Welcome! In this chapter, we are going to learn a mathematical "shortcut." Have you ever had to multiply out brackets like \((x + 2)^2\)? That’s easy—it’s just \((x + 2)(x + 2)\). But what if you were asked to find \((x + 2)^{10}\)? Multiplying that out by hand would take forever and would likely lead to a small mistake somewhere along the way.

Binomial Expansion is a powerful method that allows us to expand brackets with high powers (like 7, 10, or even negative and fractional powers) quickly and accurately. This is a vital tool in Pure Mathematics because it helps us approximate complicated functions and solve probability problems. Don't worry if it looks like a lot of symbols at first; once you see the pattern, it's like following a recipe!

1. The Building Blocks: Factorials and Combinations

Before we dive into the expansion, we need two essential tools: Factorials and Combinations.

Factorials (\(n!\))

A factorial is just a "countdown" multiplication. For any positive integer \(n\), \(n!\) means you multiply that number by every whole number below it down to 1.
Example: \(4! = 4 \times 3 \times 2 \times 1 = 24\).
Important Rule: By definition, \(0! = 1\). This might seem strange, but it makes all our formulas work!

Combinations (\(^nC_r\))

This tells us how many ways we can choose \(r\) items from a group of \(n\). In binomial expansion, these values become the coefficients (the numbers in front of our \(x\) terms).
The formula is: \( \binom{n}{r} = ^nC_r = \frac{n!}{r!(n-r)!} \)
Quick Tip: Your calculator has an nCr button! Use it to save time.

Pascal’s Triangle

Did you know? You can find binomial coefficients without a calculator using Pascal’s Triangle. Each number is the sum of the two numbers directly above it. The rows of the triangle correspond to the power \(n\).
Row 0: 1
Row 1: 1, 1
Row 2: 1, 2, 1
Row 3: 1, 3, 3, 1

Key Takeaway: Binomial coefficients can be found using the \(^nC_r\) formula or Pascal's Triangle. Always remember that \(^nC_0 = 1\) and \(^nC_n = 1\).

2. Expanding \((a + bx)^n\) for Positive Integers

When \(n\) is a positive whole number (like 2, 3, 4...), the expansion has a finite number of terms (\(n + 1\) terms, to be exact).

The General Formula

\( (a + b)^n = a^n + \binom{n}{1}a^{n-1}b^1 + \binom{n}{2}a^{n-2}b^2 + \dots + b^n \)

Step-by-Step Process

Let's find the first few terms of \((2 + 3x)^4\):
1. Identify your parts: \(a = 2\), \(b = 3x\), and \(n = 4\).
2. The first term: \(a^n\), which is \(2^4 = 16\).
3. The second term: \(\binom{4}{1}(2)^3(3x)^1 = 4 \times 8 \times 3x = 96x\).
4. The third term: \(\binom{4}{2}(2)^2(3x)^2 = 6 \times 4 \times 9x^2 = 216x^2\).
5. Keep going until the power of \(a\) reaches 0 and the power of \(b\) reaches \(n\).

Common Mistake to Avoid: When the term inside the bracket is negative, like \((1 - 2x)^n\), treat \(b\) as \((-2x)\). The signs in your expansion will usually alternate between positive and negative.

3. Expansion for Any Rational Power (Stage 2)

This is where things get really interesting! We can also expand brackets where \(n\) is a fraction (like \(1/2\)) or a negative number (like \(-1\)).

The Infinite Series

When \(n\) is not a positive integer, the expansion never ends. It becomes an infinite series. For these, we use a specific version of the formula where the first term must be 1:
\( (1 + X)^n = 1 + nX + \frac{n(n-1)}{2!}X^2 + \frac{n(n-1)(n-2)}{3!}X^3 + \dots \)

What if the first term isn't 1?

If you have \((a + bx)^n\), you must factor out the \(a\) first. This is a crucial step that many students forget!
The Trick: \( (a + bx)^n = a^n(1 + \frac{bx}{a})^n \)
Example: To expand \((4 + x)^{1/2}\), rewrite it as \(4^{1/2}(1 + \frac{x}{4})^{1/2} = 2(1 + \frac{x}{4})^{1/2}\).

Quick Review: To use the general formula for negative or fractional powers, you must ensure the bracket starts with a 1.

4. Validity and Approximations

Because the expansion for fractional and negative powers is an infinite series, it only "works" (converges) for certain values of \(x\).

The Validity Condition

For the expansion of \((1 + X)^n\) to be valid, the "thing in the X position" must have a magnitude less than 1:
\( |X| < 1 \)
If you expanded \((1 + 3x)^{-2}\), the condition is \(|3x| < 1\), which simplifies to \(|x| < 1/3\).

Using Expansion for Approximations

We can use the first few terms of an expansion to estimate complicated values like \(\sqrt{1.02}\).
Example: To approximate \((1 + x)^{1/2}\) when \(x = 0.02\):
Using \(1 + nx\), we get \(1 + (1/2)(0.02) = 1.01\). This is very close to the actual value!

Key Takeaway: Always check your range of validity. If \(x\) is too large, the "shortcut" fails and the numbers will just get bigger and bigger instead of settling on an answer.

Summary of Common Pitfalls

Don't worry if this feels tricky at first; even top mathematicians double-check these areas:

• Brackets and Powers: When expanding \((3x)^2\), remember it is \(9x^2\), not \(3x^2\).
• The "1" Rule: For negative/fractional powers, you must factor out the constant to make the first term 1.
• Negative \(n\): When \(n\) is negative, be very careful with the formula \(\frac{n(n-1)}{2!}\). For example, if \(n = -1\), then \(n-1 = -2\). Multiplying two negatives makes a positive!
• Validity: Always state the validity using the modulus symbol \(|\dots|\).

Quick Review Box

Positive Integer \(n\): Finite series, use \(^nC_r\), valid for all \(x\).
Negative/Fractional \(n\): Infinite series, use \(1 + nX + \dots\), only valid for \(|X| < 1\).
Factorials: \(0! = 1\).
The Most Important Step: Always turn \((a+bx)\) into \(a^n(1+\frac{b}{a}x)\) for Stage 2 problems!