Binomial Theorem — Study Notes

1. Introduction

Expanding powers of binomial expressions like (a + b)^n can be done by repeated multiplication for small n, but for larger values of n this becomes impractical. The binomial theorem provides a systematic formula for expanding (a + b)^n for any positive integer n using binomial coefficients. This theorem is one of the most powerful and elegant results in algebra.

The chapter presents the binomial theorem for positive integer exponents, introduces binomial coefficients in terms of factorials, and studies their important properties. It also discusses the general term, the middle term, and the term independent of x, which are the focus of many examination problems. The theorem's role in approximation and in the expansion of expressions with negative or fractional exponents is also introduced.

The binomial theorem connects algebra with combinatorics, since the coefficients are precisely the combination numbers studied in the previous chapter. It is used extensively in probability, statistics, calculus, and numerical approximation. The pattern of Pascal's triangle, which lists the binomial coefficients, makes the structure of the theorem visually intuitive and memorable.

2. Binomial Theorem for Positive Integral Index

If n is a positive integer and a, b are any real numbers, then:

(a + b)^n = nC0 a^n + nC1 a^(n-1) b + nC2 a^(n-2) b^2 + ... + nCn b^n

More compactly, the theorem states:

(a + b)^n = sum over r from 0 to n of nCr a^(n-r) b^r

The coefficients nCr are called binomial coefficients. Each term nCr a^(n-r) b^r is a term of the expansion.

Observations

• There are n + 1 terms in the expansion.
• The powers of a decrease from n to 0, while the powers of b increase from 0 to n.
• The sum of the exponents in each term is always n.
• The binomial coefficients are symmetric: the coefficient of the r-th term from the beginning equals the coefficient of the r-th term from the end.

3. Pascal's Triangle

The binomial coefficients can be arranged in a triangular array called Pascal's triangle:

n = 0: 1 n = 1: 1 1 n = 2: 1 2 1 n = 3: 1 3 3 1 n = 4: 1 4 6 4 1 n = 5: 1 5 10 10 5 1

Each interior entry is the sum of the two entries above it, reflecting Pascal's identity nCr + nC(r-1) = (n+1)Cr.

4. General Term of the Binomial Expansion

In the expansion of (a + b)^n, the term containing b^r is the (r + 1)-th term:

T(r+1) = nCr a^(n-r) b^r

This is called the general term. It allows us to find any specific term without writing the whole expansion.

Example: The third term of (x + 2)^5 corresponds to r = 2: T3 = 5C2 x^3 (2)^2 = 10 x^3 x 4 = 40 x^3.

Middle Terms

If n is even, there is a single middle term, which is the (n/2 + 1)-th term. If n is odd, there are two middle terms, the ((n + 1)/2)-th and ((n + 3)/2)-th terms.

• n even: middle term is T(n/2 + 1).
• n odd: middle terms are T((n + 1)/2) and T((n + 3)/2).

5. Term Independent of x

The term independent of x in an expansion is obtained by setting the power of x to zero. Using the general term, equate the exponent of x to 0 and solve for r.

Example: In (x + 1/x)^6, the general term is T(r+1) = 6Cr x^(6-r) x^(-r) = 6Cr x^(6-2r). Setting 6 - 2r = 0 gives r = 3, so the term independent of x is 6C3 = 20.

6. Properties of Binomial Coefficients

The binomial coefficients nC0, nC1, ..., nCn satisfy:

• nC0 + nC1 + ... + nCn = 2^n.
• nC0 - nC1 + nC2 - nC3 + ... + (-1)^n nCn = 0.
• nC0 + nC2 + nC4 + ... = nC1 + nC3 + nC5 + ... = 2^(n-1).
• nCr = nC(n-r), the symmetry property.

These follow by substituting special values of a and b into the expansion. For example, putting a = 1 and b = 1 in (1 + 1)^n gives 2^n.

7. The General Binomial Expansion for Negative or Fractional Exponents

For exponents that are negative integers or fractions, the binomial expansion becomes an infinite series. If |x| < 1, then:

(1 + x)^m = 1 + m x + (m(m-1))/2! x^2 + (m(m-1)(m-2))/3! x^3 + ...

This infinite series is valid when the binomial coefficient is replaced by the generalised coefficient mCr = (m(m-1)...(m-r+1))/r!, which is defined for any real m. This generalisation is used for approximations and in calculus.

8. Applications

The binomial theorem is used for:

• Expanding powers and computing coefficients.
• Approximating values: for small x, (1 + x)^n is approximately 1 + nx.
• Proving combinatorial identities through coefficient comparison.
• Computing numerical powers like (1.01)^5 quickly.

Example: (1.01)^5 = (1 + 0.01)^5 is approximately 1 + 5(0.01) = 1.05, and more precisely 1.0510100501 using all terms.

Quick Revision Tables

Table 1: Key Terms in the Expansion of (a + b)^n

Element	Formula
General term T(r+1)	nCr a^(n-r) b^r
Total number of terms	n + 1
Sum of exponents in each term	n
Middle term (n even)	T(n/2 + 1)
Middle terms (n odd)	T((n+1)/2) and T((n+3)/2)
First term	nC0 a^n
Last term	nCn b^n

Table 2: Binomial Coefficient Identities

Identity	Value
nC0 + nC1 + ... + nCn	2^n
nC0 - nC1 + nC2 - ... + (-1)^n nCn	0
Sum of even-positioned coefficients	2^(n-1)
Sum of odd-positioned coefficients	2^(n-1)
Symmetry	nCr = nC(n-r)
Pascal's identity	nCr + nC(r-1) = (n+1)Cr

Mind Map

graph TD
    A["Binomial Theorem"] --> B["Expansion Formula"]
    A --> C["Pascal's Triangle"]
    A --> D["General Term"]
    A --> E["Special Terms"]
    A --> F["Coefficient Properties"]
    A --> G["Applications"]
    B --> B1["(a + b)^n = sum nCr a^(n-r) b^r"]
    B --> B2["n + 1 terms"]
    C --> C1["Each entry = sum of two above"]
    D --> D1["T(r+1) = nCr a^(n-r) b^r"]
    E --> E1["Middle term(s)"]
    E --> E2["Term independent of x"]
    F --> F1["Sum of coefficients = 2^n"]
    F --> F2["nCr = nC(n-r)"]
    G --> G1["Approximations"]
    G --> G2["Infinite series for |x| < 1"]

Important Diagrams (SVG)

Diagram 1: Pascal's Triangle Structure

Diagram 2: Binomial Expansion Structure and the General Term

Common Mistakes

1. Writing n + 1 instead of n in the exponent count. The expansion of (a + b)^n has n + 1 terms.
2. Forgetting that in the general term T(r+1) = nCr a^(n-r) b^r, the r is one less than the term number. The third term uses r = 2.
3. Confusing the middle term for even and odd n. n even gives one middle term T(n/2 + 1); n odd gives two.
4. Missing the negative sign when expanding (a - b)^n. The terms alternate in sign: (a - b)^n = sum nCr a^(n-r) (-b)^r.
5. Mistaking the term independent of x: it requires setting the power of x in the general term to zero, not the coefficient to zero.
6. Using nCr incorrectly for negative or fractional m; the generalised coefficient is defined by the product formula, and the expansion is infinite.
7. Confusing nCr with nPr in the theorem. The binomial coefficients are combinations nCr, not permutations.
8. Forgetting that the sum of all coefficients of (a + b)^n is 2^n, obtained by setting a = b = 1.
9. Cancelling factorial factors sloppily when computing coefficients such as 6C3; write the formula fully.

Exam Tips

1. To find any term, write the general term T(r+1) = nCr a^(n-r) b^r first, then substitute the required r.
2. For the term independent of x, collect all powers of x from a^(n-r) and b^r, equate the exponent to zero, and solve for r.
3. Use the symmetry property nCr = nC(n-r) to compute coefficients with smaller numbers, e.g., 100C98 = 100C2.
4. For the middle term, first check whether n is even or odd, then apply the corresponding rule.
5. To find the sum of all coefficients, substitute x = 1 (or a = b = 1) into the expansion.
6. When expanding (a - b)^n, remember the sign of the r-th term is (-1)^r; the expansion alternates signs.
7. For approximations, use (1 + x)^n about 1 + nx for small x and state the condition |x| < 1 for infinite series.

Conclusion

The binomial theorem is a compact and powerful formula that turns the laborious expansion of powers into a systematic computation involving combinations. The general term, middle terms, and the term independent of x provide targeted methods for extracting specific information from an expansion. The properties of binomial coefficients, embodied in Pascal's triangle, reveal deep connections with combinatorics and give identities that are widely used in algebra, probability, and calculus. The extension to negative and fractional exponents opens the door to infinite series and approximation techniques. Mastery of the binomial theorem is essential for solving a large class of problems in both pure and applied mathematics.