Intuition The big picture
When you expand ( a + b ) n (a+b)^n ( a + b ) n , you multiply n n n copies of ( a + b ) (a+b) ( a + b ) together. Each term in the answer comes from choosing either a a a or b b b from each bracket. If you pick b b b from k k k of the brackets (and a a a from the other n − k n-k n − k ), you get a n − k b k a^{n-k}b^k a n − k b k . How many ways can you make that choice? Exactly ( n k ) \binom{n}{k} ( k n ) ways. So the coefficient of a n − k b k a^{n-k}b^k a n − k b k is ( n k ) \binom{n}{k} ( k n ) — that's the whole theorem in one sentence.
Definition Binomial Theorem (positive integer index)
For any real/complex a , b a,b a , b and any positive integer n n n ,
( a + b ) n = ∑ k = 0 n ( n k ) a n − k b k (a+b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{\,n-k} b^{\,k} ( a + b ) n = ∑ k = 0 n ( k n ) a n − k b k
where the binomial coefficient is
( n k ) = n ! k ! ( n − k ) ! , 0 ≤ k ≤ n . \binom{n}{k} = \frac{n!}{k!\,(n-k)!}, \qquad 0 \le k \le n. ( k n ) = k ! ( n − k )! n ! , 0 ≤ k ≤ n .
Number of terms in the expansion = = = n + 1 = = = ==n+1== === n + 1 == .
The general (i.e. ( k + 1 ) (k+1) ( k + 1 ) -th) term is T k + 1 = ( n k ) a n − k b k T_{k+1} = \binom{n}{k} a^{n-k} b^k T k + 1 = ( k n ) a n − k b k .
Powers of a a a decrease from n n n to 0 0 0 ; powers of b b b increase from 0 0 0 to n n n ; in every term the exponents sum to n n n .
Intuition Feynman-style "why the coefficient is
( n k ) \binom{n}{k} ( k n ) "
( a + b ) n = ( a + b ) ( a + b ) ⋯ ( a + b ) ⏟ n brackets (a+b)^n = \underbrace{(a+b)(a+b)\cdots(a+b)}_{n\text{ brackets}} ( a + b ) n = n brackets ( a + b ) ( a + b ) ⋯ ( a + b ) . To build one term of the product you walk through the n n n brackets and grab one letter from each. To end up with b k b^k b k you must grab b b b from exactly k k k brackets. Choosing which k k k brackets is ( n k ) \binom{n}{k} ( k n ) ways, and each such choice contributes a n − k b k a^{n-k}b^k a n − k b k . Sum over all choices → the theorem.
This is the fastest intuition (80/20), but exams want the induction proof , so we derive it rigorously below.
We need one algebraic engine first.
Claim P ( n ) P(n) P ( n ) : ( a + b ) n = ∑ k = 0 n ( n k ) a n − k b k \displaystyle (a+b)^n = \sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k ( a + b ) n = k = 0 ∑ n ( k n ) a n − k b k for all integers n ≥ 1 n\ge 1 n ≥ 1 .
Base case n = 1 n=1 n = 1 . RHS = ( 1 0 ) a 1 b 0 + ( 1 1 ) a 0 b 1 = a + b = ( a + b ) 1 = \binom{1}{0}a^1b^0 + \binom{1}{1}a^0b^1 = a+b = (a+b)^1 = ( 0 1 ) a 1 b 0 + ( 1 1 ) a 0 b 1 = a + b = ( a + b ) 1 . ✓
Inductive step. Assume P ( n ) P(n) P ( n ) true. Multiply both sides by ( a + b ) (a+b) ( a + b ) :
( a + b ) n + 1 = ( a + b ) ∑ k = 0 n ( n k ) a n − k b k . (a+b)^{n+1} = (a+b)\sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k. ( a + b ) n + 1 = ( a + b ) ∑ k = 0 n ( k n ) a n − k b k .
Distribute:
= ∑ k = 0 n ( n k ) a n − k + 1 b k + ∑ k = 0 n ( n k ) a n − k b k + 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}. = ∑ k = 0 n ( k n ) a n − k + 1 b k + ∑ k = 0 n ( k n ) a n − k b k + 1 .
Why this step? We split into an "a a a -multiplied" sum and a "b b b -multiplied" sum so we can line up equal powers.
Re-index the second sum with j = k + 1 j=k+1 j = k + 1 (so k = j − 1 k=j-1 k = j − 1 , and j j j runs 1 → n + 1 1\to n+1 1 → n + 1 ):
∑ j = 1 n + 1 ( n j − 1 ) a n − j + 1 b j . \sum_{j=1}^{n+1}\binom{n}{j-1}a^{n-j+1}b^{j}. ∑ j = 1 n + 1 ( j − 1 n ) a n − j + 1 b j .
Rename j → k j\to k j → k . Now both sums have the same power a ( n + 1 ) − k b k a^{(n+1)-k}b^{k} a ( n + 1 ) − k b k .
Combine. Pull out the k = 0 k=0 k = 0 term from the first sum (( n 0 ) a n + 1 = a n + 1 \binom{n}{0}a^{n+1}=a^{n+1} ( 0 n ) a n + 1 = a n + 1 ) and the k = n + 1 k=n+1 k = n + 1 term from the second (( n n ) b n + 1 = b n + 1 \binom{n}{n}b^{n+1}=b^{n+1} ( n n ) b n + 1 = b n + 1 ). The overlapping middle (1 ≤ k ≤ n 1\le k\le n 1 ≤ k ≤ n ) gives:
( a + b ) n + 1 = a n + 1 + ∑ k = 1 n [ ( n k ) + ( n k − 1 ) ] a ( n + 1 ) − k b k + b n + 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}. ( a + b ) n + 1 = a n + 1 + ∑ k = 1 n [ ( k n ) + ( k − 1 n ) ] a ( n + 1 ) − k b k + b n + 1 .
Apply Pascal's rule ( n k ) + ( n k − 1 ) = ( n + 1 k ) \binom{n}{k}+\binom{n}{k-1}=\binom{n+1}{k} ( k n ) + ( k − 1 n ) = ( k n + 1 ) , and note a n + 1 = ( n + 1 0 ) a n + 1 a^{n+1}=\binom{n+1}{0}a^{n+1} a n + 1 = ( 0 n + 1 ) a n + 1 , b n + 1 = ( n + 1 n + 1 ) b n + 1 b^{n+1}=\binom{n+1}{n+1}b^{n+1} b n + 1 = ( n + 1 n + 1 ) b n + 1 :
( a + b ) n + 1 = ∑ k = 0 n + 1 ( n + 1 k ) a ( n + 1 ) − k b k . (a+b)^{n+1} = \sum_{k=0}^{n+1}\binom{n+1}{k}a^{(n+1)-k}b^{k}. ( a + b ) n + 1 = ∑ k = 0 n + 1 ( k n + 1 ) a ( n + 1 ) − k b k .
That is exactly P ( n + 1 ) P(n+1) P ( n + 1 ) . By induction P ( n ) P(n) P ( n ) holds for all n ≥ 1 n\ge 1 n ≥ 1 . ■ \blacksquare ■
Worked example 2 — A specific term (no full expansion)
Find the coefficient of x 6 x^{6} x 6 in ( 2 x 2 − 1 x ) 9 \left(2x^2 - \dfrac{1}{x}\right)^{9} ( 2 x 2 − x 1 ) 9 .
General term: T k + 1 = ( 9 k ) ( 2 x 2 ) 9 − k ( − 1 x ) k = ( 9 k ) 2 9 − k ( − 1 ) k x 2 ( 9 − k ) − k T_{k+1}=\binom{9}{k}(2x^2)^{9-k}\left(-\tfrac1x\right)^{k} = \binom9k 2^{9-k}(-1)^k x^{2(9-k)-k} T k + 1 = ( k 9 ) ( 2 x 2 ) 9 − k ( − x 1 ) k = ( k 9 ) 2 9 − k ( − 1 ) k x 2 ( 9 − k ) − k .
Why this step? We collect the power of x x x : x 18 − 3 k x^{18-3k} x 18 − 3 k .
Set 18 − 3 k = 6 ⇒ k = 4 18-3k = 6 \Rightarrow k=4 18 − 3 k = 6 ⇒ k = 4 . Coefficient = ( 9 4 ) 2 5 ( − 1 ) 4 = 126 ⋅ 32 = 4032 =\binom94 2^{5}(-1)^4 = 126\cdot 32 = \boxed{4032} = ( 4 9 ) 2 5 ( − 1 ) 4 = 126 ⋅ 32 = 4032 .
b = 1 b=1 b = 1 (the "( 1 + x ) n (1+x)^n ( 1 + x ) n " form)
Put a = 1 , b = x a=1,\ b=x a = 1 , b = x : ( 1 + x ) n = ∑ k = 0 n ( n k ) x k (1+x)^n=\sum_{k=0}^n\binom nk x^k ( 1 + x ) n = ∑ k = 0 n ( k n ) x k . Setting x = 1 x=1 x = 1 gives ∑ k = 0 n ( n k ) = 2 n \sum_{k=0}^n\binom nk = 2^n ∑ k = 0 n ( k n ) = 2 n (total subsets of an n n n -set). Setting x = − 1 x=-1 x = − 1 gives ∑ k = 0 n ( − 1 ) k ( n k ) = 0 \sum_{k=0}^n(-1)^k\binom nk = 0 ∑ k = 0 n ( − 1 ) k ( k n ) = 0 (for n ≥ 1 n\ge1 n ≥ 1 ). Why: these are just the theorem evaluated at handy points — pure consequences, no new work.
Common mistake Forgetting powers must sum to
n n n
Wrong feels right: writing ( a + b ) 3 = a 3 + b 3 (a+b)^3 = a^3+b^3 ( a + b ) 3 = a 3 + b 3 because "you just cube each". It feels symmetric.
Fix: every term is a n − k b k a^{n-k}b^k a n − k b k with exponents summing to n n n ; ( a + b ) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3 (a+b)^3=a^3+3a^2b+3ab^2+b^3 ( a + b ) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3 . There are n + 1 = 4 n+1=4 n + 1 = 4 terms, not 2 2 2 .
Common mistake Dropping the sign inside the binomial
In ( a − b ) n (a-b)^n ( a − b ) n the second letter is ( − b ) (-b) ( − b ) , so T k + 1 = ( n k ) a n − k ( − 1 ) k b k T_{k+1}=\binom nk a^{n-k}(-1)^k b^k T k + 1 = ( k n ) a n − k ( − 1 ) k b k . Students forget ( − 1 ) k (-1)^k ( − 1 ) k .
Fix: always substitute the whole second term (with its sign) into b b b .
Common mistake Confusing "
k k k -th term" with "( k + 1 ) (k+1) ( k + 1 ) -th term"
T k + 1 = ( n k ) a n − k b k T_{k+1}=\binom nk a^{n-k}b^k T k + 1 = ( k n ) a n − k b k : the term index is one more than the k k k in the coefficient because k k k starts at 0 0 0 .
Fix: to get the r r r -th term use k = r − 1 k=r-1 k = r − 1 .
Common mistake Bad re-indexing in the proof
When shifting j = k + 1 j=k+1 j = k + 1 , students forget to change the limits . If k k k ran 0 → n 0\to n 0 → n , then j j j runs 1 → n + 1 1\to n+1 1 → n + 1 . Keep limits attached to the substitution.
Recall Feynman: explain to a 12-year-old
Imagine n n n light switches, each can be flipped to "a a a " or "b b b ". Flip all of them and write down what you get, like a a b aab aab , b a b bab bab , ... To count how many results have exactly k k k "b b b "s, you just choose which k k k switches show b b b — that's "n n n choose k k k ". Add up all the results and you've expanded ( a + b ) n (a+b)^n ( a + b ) n . The whole theorem is just careful counting of switch patterns!
Mnemonic Remember the term
"Coefficient chooses, first-letter falls, second-letter rises."
( n k ) \binom nk ( k n ) (choose) ⋅ a n − k \cdot\; a^{n-k} ⋅ a n − k (falls) ⋅ b k \cdot\; b^{k} ⋅ b k (rises). And terms = n + 1 = n+1 = n + 1 : "one more than the power."
#flashcards/maths
State the binomial theorem for positive integer n n n . ::: ( a + b ) n = ∑ k = 0 n ( n k ) a n − k b k (a+b)^n=\sum_{k=0}^n\binom nk a^{n-k}b^k ( a + b ) n = ∑ k = 0 n ( k n ) a n − k b k , with ( n k ) = n ! k ! ( n − k ) ! \binom nk=\frac{n!}{k!(n-k)!} ( k n ) = k ! ( n − k )! n ! .
How many terms are in the expansion of ( a + b ) n (a+b)^n ( a + b ) n ? ::: n + 1 n+1 n + 1 .
Write the general term T k + 1 T_{k+1} T k + 1 . ::: T k + 1 = ( n k ) a n − k b k T_{k+1}=\binom nk a^{n-k}b^k T k + 1 = ( k n ) a n − k b k .
State Pascal's rule. ::: ( n k − 1 ) + ( n k ) = ( n + 1 k ) \binom{n}{k-1}+\binom nk=\binom{n+1}{k} ( k − 1 n ) + ( k n ) = ( k n + 1 ) .
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 + 1 j=k+1 j = k + 1 (re-index so both sums carry a n + 1 − k b k a^{n+1-k}b^k a n + 1 − k b k ).
What is ∑ k = 0 n ( n k ) \sum_{k=0}^n\binom nk ∑ k = 0 n ( k n ) and why? ::: 2 n 2^n 2 n ; put a = b = 1 a=b=1 a = b = 1 in the theorem (also = number of subsets).
What is ∑ k = 0 n ( − 1 ) k ( n k ) \sum_{k=0}^n(-1)^k\binom nk ∑ k = 0 n ( − 1 ) k ( k n ) for n ≥ 1 n\ge1 n ≥ 1 ? ::: 0 0 0 ; put a = 1 , b = − 1 a=1,b=-1 a = 1 , b = − 1 .
Coefficient of x 6 x^6 x 6 in ( 2 x 2 − 1 / x ) 9 (2x^2-1/x)^9 ( 2 x 2 − 1/ x ) 9 ? ::: 4032 4032 4032 (from k = 4 k=4 k = 4 ).
Why is the coefficient of a n − k b k a^{n-k}b^k a n − k b k equal to ( n k ) \binom nk ( k n ) ? ::: It counts the ways to pick b b b from k k k of the n n n brackets.
multiply by (a+b), split, re-index
Binomial Theorem statement
Intuition Hinglish mein samjho
Dekho, binomial theorem ka core idea bilkul simple hai: ( a + b ) n (a+b)^n ( a + b ) n ka matlab hai ( a + b ) (a+b) ( a + b ) ko n n n baar multiply karna. Har bracket se aap ya to a a a uthate ho ya b b b . Agar kisi term me b b b ki power k k k hai, iska matlab aapne n n n brackets me se k k k brackets se b b b chuna — aur "kitne tareeke se chun sakte ho" ka answer hai ( n k ) \binom{n}{k} ( k n ) . Isliye har term ( n k ) a n − k b k \binom{n}{k}a^{n-k}b^k ( k n ) 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 = 1 n=1 n = 1 trivially sahi hai. Fir maan lo n n n ke liye formula sahi hai, aur dono taraf ( a + b ) (a+b) ( a + b ) se multiply karo. Isse do sums milte hain — ek a a a wala, ek b b b wala. Doosre sum ko thoda shift (re-index j = k + 1 j=k+1 j = k + 1 ) karke same power align kar dete hain, aur phir Pascal's rule ( n k − 1 ) + ( n k ) = ( n + 1 k ) \binom{n}{k-1}+\binom{n}{k}=\binom{n+1}{k} ( k − 1 n ) + ( k n ) = ( k n + 1 ) lagate hain. Bas, n + 1 n+1 n + 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 T k + 1 = ( n k ) a n − k b k T_{k+1}=\binom{n}{k}a^{n-k}b^k T k + 1 = ( k n ) 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 x x x ki power ko 18 − 3 k 18-3k 18 − 3 k jaisa likh ke required power ke barabar rakho aur k k k nikaal lo. ( a − b ) n (a-b)^n ( a − b ) n me sign ka dhyaan rakhna — b b b ki jagah ( − b ) (-b) ( − b ) daalna, isliye ( − 1 ) k (-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.