Binomial Expansion

Core Definition

Binomial expansion is an algebraic method used to expand powers of a two-term sum or difference $(a + b)^n$ into a sum of monomials using the Binomial Theorem:

(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k

where

\binom{n}{k} = \frac{n!}{k!(n-k)!}

represents the binomial coefficients given by row

n

of Pascal's Triangle.

Concept Explanation

When expanding a binomial $(a + b)^n$ , multiplying repeated factors by hand becomes increasingly tedious and error-prone as $n$ grows. The Binomial Theorem provides an immediate structural formula where:

The powers of the first term $a$ decrease from $n$ down to $0$ .
The powers of the second term $b$ increase from $0$ up to $n$ .
The sum of exponents in every individual term equals $n$ .
The numerical coefficients match row $n$ of Pascal's Triangle.

Pascal's Triangle Reference (Rows 0 to 4)

Row 0 ( $n = 0$ ): $1$
Row 1 ( $n = 1$ ): $1 \quad 1$
Row 2 ( $n = 2$ ): $1 \quad 2 \quad 1 \implies (a+b)^2 = a^2 + 2ab + b^2$
Row 3 ( $n = 3$ ): $1 \quad 3 \quad 3 \quad 1 \implies (a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3$
Row 4 ( $n = 4$ ): $1 \quad 4 \quad 6 \quad 4 \quad 1 \implies (a+b)^4 = a^4 + 4a^3b + 6a^2b^2 + 4ab^3 + b^4$

Handling Subtraction & Negative Terms

When expanding a difference $(a - b)^n$ , treat it as $(a + (-b))^n$ . The signs alternate between positive and negative across successive terms:

(a - b)^2 = a^2 - 2ab + b^2

(a - b)^3 = a^3 - 3a^2b + 3ab^2 - b^3

When to Use It / Method Comparison

1. Small Powers ( $n = 2, 3$ )

Method: Direct mental application of Pascal's patterns ( $(x+h)^2 = x^2 + 2xh + h^2$ and $(x+h)^3 = x^3 + 3x^2h + 3xh^2 + h^3$ ).
Comparison: Bypasses manual FOIL steps, preventing the classic "Freshman's Dream" algebraic error where students incorrectly write $(x+h)^2 = x^2 + h^2$ .

2. Higher Powers ( $n \ge 4$ )

Method: Explicit combinatorial formula $\binom{n}{k} = \frac{n!}{k!(n-k)!}$ .
Comparison: Significantly faster and cleaner than multiplying out nested polynomial brackets.

Why We Use It in Calculus (Calculus I: Limits & Derivatives)

In Calculus I, binomial expansion is a core prerequisite for evaluating instantaneous rates of change from first principles.

When computing the derivative $f'(x)$ of a polynomial function using the limit definition of the difference quotient:

f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}

evaluating

f(x+h)

requires expanding expressions like

(x+h)^2

(x+h)^3

, or

(x+h)^n

Using binomial expansion:

Every term in the expansion of $f(x+h)$ that does not contain an $h$ perfectly cancels with $-f(x)$ .
Every surviving term in the numerator contains at least one power of $h$ ( $h, h^2, h^3, \dots$ ).
Factoring out $h$ allows direct cancellation with the denominator $h$ , safely resolving the $\frac{0}{0}$ indeterminate form.

Example Problems

Example Problem 1: Expanding and Simplifying a Quadratic Difference Quotient

Given $f(x) = 3x^2 - 5x$ , expand and simplify the difference quotient expression:

\frac{f(x+h) - f(x)}{h}

Solution

Step 1: Set up the difference quotient Substitute $(x+h)$ into $f(x)$ :

\frac{[3(x+h)^2 - 5(x+h)] - [3x^2 - 5x]}{h}

Step 2: Apply binomial expansion to $(x+h)^2$ Using $(x+h)^2 = x^2 + 2xh + h^2$ :

\frac{3(x^2 + 2xh + h^2) - 5(x+h) - (3x^2 - 5x)}{h}

Step 3: Distribute coefficients

\frac{3x^2 + 6xh + 3h^2 - 5x - 5h - 3x^2 + 5x}{h}

Step 4: Cancel opposing non- $h$ terms The terms $3x^2 - 3x^2 = 0$ and $-5x + 5x = 0$ cancel:

\frac{6xh + 3h^2 - 5h}{h}

Step 5: Factor out $h$ and simplify

\frac{h(6x + 3h - 5)}{h} = 6x + 3h - 5

Example Problem 2: Cubic Binomial Expansion in a Derivative Limit

Use the limit definition of the derivative to evaluate $g'(x)$ for $g(x) = 2x^3 + 1$ :

g'(x) = \lim_{h \to 0} \frac{g(x+h) - g(x)}{h}

Solution

Step 1: Set up the limit expression

g'(x) = \lim_{h \to 0} \frac{[2(x+h)^3 + 1] - [2x^3 + 1]}{h}

Step 2: Apply the cubic binomial expansion Recall that $(x+h)^3 = x^3 + 3x^2h + 3xh^2 + h^3$ :

g'(x) = \lim_{h \to 0} \frac{2(x^3 + 3x^2h + 3xh^2 + h^3) + 1 - 2x^3 - 1}{h}

Step 3: Distribute the scalar $2$

g'(x) = \lim_{h \to 0} \frac{2x^3 + 6x^2h + 6xh^2 + 2h^3 + 1 - 2x^3 - 1}{h}

Step 4: Cancel non- $h$ terms Notice $2x^3 - 2x^3 = 0$ and $1 - 1 = 0$ :

g'(x) = \lim_{h \to 0} \frac{6x^2h + 6xh^2 + 2h^3}{h}

Step 5: Factor $h$ from the numerator and divide out

g'(x) = \lim_{h \to 0} \frac{h(6x^2 + 6xh + 2h^2)}{h} = \lim_{h \to 0} (6x^2 + 6xh + 2h^2)

Step 6: Evaluate by direct substitution ( $h = 0$ )

g'(x) = 6x^2 + 6x(0) + 2(0)^2 = 6x^2

Connections & References

Parent Concepts: Calculus Foundations, Difference Quotient
Related Algebraic Tools: Factoring Second Order Polynomials, Polynomial Long Division
Course Links: Calc-1 Discussion 03, Calc-1 Session 06