3.3.11Sequences & Series

Binomial theorem — statement, proof by induction

1,609 words7 min readdifficulty · medium

WHAT is the statement?

  • Number of terms in the expansion ===n+1=== ==n+1==.
  • The general (i.e. (k+1)(k+1)-th) term is Tk+1=(nk)ankbkT_{k+1} = \binom{n}{k} a^{n-k} b^k.
  • Powers of aa decrease from nn to 00; powers of bb increase from 00 to nn; in every term the exponents sum to nn.
Figure — Binomial theorem — statement, proof by induction

WHY does the counting argument work?

This is the fastest intuition (80/20), but exams want the induction proof, so we derive it rigorously below.


HOW to prove it by induction (from scratch)

We need one algebraic engine first.

The induction proof

Claim P(n)P(n): (a+b)n=k=0n(nk)ankbk\displaystyle (a+b)^n = \sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k for all integers n1n\ge 1.

Base case n=1n=1. RHS =(10)a1b0+(11)a0b1=a+b=(a+b)1= \binom{1}{0}a^1b^0 + \binom{1}{1}a^0b^1 = a+b = (a+b)^1. ✓

Inductive step. Assume P(n)P(n) true. Multiply both sides by (a+b)(a+b): (a+b)n+1=(a+b)k=0n(nk)ankbk.(a+b)^{n+1} = (a+b)\sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k.

Distribute: =k=0n(nk)ank+1bk  +  k=0n(nk)ankbk+1.= \sum_{k=0}^{n}\binom{n}{k}a^{n-k+1}b^k \;+\; \sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^{k+1}.

Why this step? We split into an "aa-multiplied" sum and a "bb-multiplied" sum so we can line up equal powers.

Re-index the second sum with j=k+1j=k+1 (so k=j1k=j-1, and jj runs 1n+11\to n+1): j=1n+1(nj1)anj+1bj.\sum_{j=1}^{n+1}\binom{n}{j-1}a^{n-j+1}b^{j}. Rename jkj\to k. Now both sums have the same power a(n+1)kbka^{(n+1)-k}b^{k}.

Combine. Pull out the k=0k=0 term from the first sum ((n0)an+1=an+1\binom{n}{0}a^{n+1}=a^{n+1}) and the k=n+1k=n+1 term from the second ((nn)bn+1=bn+1\binom{n}{n}b^{n+1}=b^{n+1}). The overlapping middle (1kn1\le k\le n) gives: (a+b)n+1=an+1+k=1n[(nk)+(nk1)]a(n+1)kbk+bn+1.(a+b)^{n+1} = a^{n+1} + \sum_{k=1}^{n}\Big[\binom{n}{k}+\binom{n}{k-1}\Big]a^{(n+1)-k}b^{k} + b^{n+1}.

Apply Pascal's rule (nk)+(nk1)=(n+1k)\binom{n}{k}+\binom{n}{k-1}=\binom{n+1}{k}, and note an+1=(n+10)an+1a^{n+1}=\binom{n+1}{0}a^{n+1}, bn+1=(n+1n+1)bn+1b^{n+1}=\binom{n+1}{n+1}b^{n+1}: (a+b)n+1=k=0n+1(n+1k)a(n+1)kbk.(a+b)^{n+1} = \sum_{k=0}^{n+1}\binom{n+1}{k}a^{(n+1)-k}b^{k}.

That is exactly P(n+1)P(n+1). By induction P(n)P(n) holds for all n1n\ge 1. \blacksquare


Worked examples


Common mistakes


Recall Feynman: explain to a 12-year-old

Imagine nn light switches, each can be flipped to "aa" or "bb". Flip all of them and write down what you get, like aabaab, babbab, ... To count how many results have exactly kk "bb"s, you just choose which kk switches show bb — that's "nn choose kk". Add up all the results and you've expanded (a+b)n(a+b)^n. The whole theorem is just careful counting of switch patterns!


Active-recall flashcards

#flashcards/maths

  • State the binomial theorem for positive integer nn. ::: (a+b)n=k=0n(nk)ankbk(a+b)^n=\sum_{k=0}^n\binom nk a^{n-k}b^k, with (nk)=n!k!(nk)!\binom nk=\frac{n!}{k!(n-k)!}.
  • How many terms are in the expansion of (a+b)n(a+b)^n? ::: n+1n+1.
  • Write the general term Tk+1T_{k+1}. ::: Tk+1=(nk)ankbkT_{k+1}=\binom nk a^{n-k}b^k.
  • State Pascal's rule. ::: (nk1)+(nk)=(n+1k)\binom{n}{k-1}+\binom nk=\binom{n+1}{k}.
  • Which lemma powers the inductive step of the proof? ::: Pascal's rule, to merge the two shifted sums.
  • In the induction, what substitution aligns the second sum? ::: j=k+1j=k+1 (re-index so both sums carry an+1kbka^{n+1-k}b^k).
  • What is k=0n(nk)\sum_{k=0}^n\binom nk and why? ::: 2n2^n; put a=b=1a=b=1 in the theorem (also = number of subsets).
  • What is k=0n(1)k(nk)\sum_{k=0}^n(-1)^k\binom nk for n1n\ge1? ::: 00; put a=1,b=1a=1,b=-1.
  • Coefficient of x6x^6 in (2x21/x)9(2x^2-1/x)^9? ::: 40324032 (from k=4k=4).
  • Why is the coefficient of ankbka^{n-k}b^k equal to (nk)\binom nk? ::: It counts the ways to pick bb from kk of the nn brackets.

Connections

  • Pascal's Triangle — rows are the coefficients (nk)\binom nk; each entry is the sum of the two above (Pascal's rule).
  • Combinations — nCr — the meaning of (nk)\binom nk.
  • Mathematical Induction — the proof technique used here.
  • General term & middle term of a binomial expansion
  • Binomial series for any index — extends to non-integer nn (with x<1|x|<1).
  • Factorials — the definition of n!n! underlying (nk)\binom nk.

Concept Map

choose b from k brackets

gives coefficient

defined as

used in

general term

exams need rigour

verify

assume P(n) prove P(n+1)

multiply by (a+b), split, re-index

combine using

derived from

C(n,k-1)+C(n,k)=C(n+1,k)

(a+b)^n expansion

counting argument

binomial coeff C(n,k)

n! / k!(n-k)!

Binomial Theorem statement

T(k+1)=C(n,k)a^(n-k)b^k

proof by induction

base case n=1

inductive step

align equal powers

Pascal's rule

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, binomial theorem ka core idea bilkul simple hai: (a+b)n(a+b)^n ka matlab hai (a+b)(a+b) ko nn baar multiply karna. Har bracket se aap ya to aa uthate ho ya bb. Agar kisi term me bb ki power kk hai, iska matlab aapne nn brackets me se kk brackets se bb chuna — aur "kitne tareeke se chun sakte ho" ka answer hai (nk)\binom{n}{k}. Isliye har term (nk)ankbk\binom{n}{k}a^{n-k}b^k banta hai. Bas yahi puri kahani hai — coefficient ek counting (choosing) hai.

Proof induction se hota hai. Base case n=1n=1 trivially sahi hai. Fir maan lo nn ke liye formula sahi hai, aur dono taraf (a+b)(a+b) se multiply karo. Isse do sums milte hain — ek aa wala, ek bb wala. Doosre sum ko thoda shift (re-index j=k+1j=k+1) karke same power align kar dete hain, aur phir Pascal's rule (nk1)+(nk)=(n+1k)\binom{n}{k-1}+\binom{n}{k}=\binom{n+1}{k} lagate hain. Bas, n+1n+1 wala formula nikal aata hai. Yaad rakho, re-index karte time limits bhi change karni padti hain — yahi sabse common galti hai.

Exam me general term Tk+1=(nk)ankbkT_{k+1}=\binom{n}{k}a^{n-k}b^k hi kaam aata hai — "coefficient chooses, first letter falls, second letter rises". Kisi specific term ka coefficient nikalna ho to poora expansion mat karo; sirf xx ki power ko 183k18-3k jaisa likh ke required power ke barabar rakho aur kk nikaal lo. (ab)n(a-b)^n me sign ka dhyaan rakhna — bb ki jagah (b)(-b) daalna, isliye (1)k(-1)^k aata hai.

Bottom line: binomial theorem = smart counting + Pascal's rule se induction. Ye aage probability, series sums, aur approximations sab me kaam aata hai, isliye foundation strong rakho.

Go deeper — visual, from zero

Test yourself — Sequences & Series

Connections