PrevNext

Overview

Pascal's triangle and the binomial theorem both come from the same idea. Every entry in the triangle is a binomial coefficient (nk)\binom{n}{k}, and the binomial theorem tells how those coefficients appear when expanding (a+b)n(a+b)^n. These are both fast ways to compute counting problems, identify patterns, and prove identities that would otherwise require long and bashy algebra.

Key Ideas

  • The nnth row of Pascal's triangle lists (n0),(n1),,(nn)\binom{n}{0}, \binom{n}{1}, \ldots, \binom{n}{n}, in symmetry.
  • Pascal's identity: (nk)=(n1k1)+(n1k)\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}.
  • Symmetry from the Pascal Triangle forms (nk)=(nnk)\binom{n}{k} = \binom{n}{n-k}.
  • Sum of rows (n0)+(n1)++(nn)=2n\binom{n}{0} + \binom{n}{1} + \cdots + \binom{n}{n} = 2^n.
  • The hockey stick identity: (rr)+(r+1r)++(nr)=(n+1r+1)\binom{r}{r} + \binom{r+1}{r} + \cdots + \binom{n}{r} = \binom{n+1}{r+1}.
  • Binomial theorem: (a+b)n=k=0n(nk)ankbk(a+b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k.
  • To find a specific coefficient in (a+b)n(a+b)^n, (nk)ankbk\binom{n}{k} a^{n-k} b^k shows the general term.

Core Skills

Pascal's Triangle

First, what is the Pascal's Triangle and why is it so important? Each entry is the sum of the two entries directly above it. Row 0 starts with just 1. Writing out a few rows, we get

111121133114641\begin{array}{ccccccccc} & & & & 1 & & & & \\ & & & 1 & & 1 & & & \\ & & 1 & & 2 & & 1 & & \\ & 1 & & 3 & & 3 & & 1 & \\ 1 & & 4 & & 6 & & 4 & & 1 \end{array}

Row nn has n+1n+1 entries, and the kkth entry (starting from k=0k=0) is (nk)\binom{n}{k}. This comes from Pascal's identity, to choose kk items from nn, either the last item is included (choose k1k-1 from the rest) or it isn't (choose kk from the rest).

Identity of Symmetry

(nk)=(nnk).\binom{n}{k} = \binom{n}{n-k}.

Choosing kk items to include is the same as choosing nkn-k items to exclude. On the triangle, row nn reads the same forwards and backwards, hence forming this equation.

Row Sum

k=0n(nk)=2n.\sum_{k=0}^{n} \binom{n}{k} = 2^n.

Every subset of an nn-element set either includes or excludes each element, and hence giving 2n2^n subsets total. Another way is to substitute a=b=1a=b=1 into the binomial theorem.

Hockey Stick Identity

i=rn(ir)=(n+1r+1).\sum_{i=r}^{n} \binom{i}{r} = \binom{n+1}{r+1}.

On the triangle, if one starts at any (rr)=1\binom{r}{r} = 1 on the diagonal and sum diagonally downward, the result is the entry one step down and one step right. People call it the "hockey stick identity" because the shape traced looks like a hockey stick.

Binomial Theorem/Expansion

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

Each term (nk)ankbk\binom{n}{k} a^{n-k} b^k comes from choosing which kk of the nn factors contribute a bb (and the rest contribute an aa). The coefficient of ankbka^{n-k} b^k is exactly (nk)\binom{n}{k}. This can be shown on the Pascal Triangle directly.

To find a specific term, identify the kk that gives the powers that we want, and then compute (nk)ankbk\binom{n}{k} a^{n-k} b^k directly. Hence we see that there is no need to expand everything.

Substitution Tricks

Plugging specific values into (a+b)n=(nk)ankbk(a+b)^n = \sum \binom{n}{k} a^{n-k} b^k creates useful identities that we use in Combinatorics.

  • a=b=1a=b=1: k=0n(nk)=2n\quad \sum_{k=0}^{n} \binom{n}{k} = 2^n.
  • a=1,b=1a=1, b=-1: k=0n(1)k(nk)=0\quad \sum_{k=0}^{n} (-1)^k \binom{n}{k} = 0.
  • a=1,b=2a=1, b=2: k=0n2k(nk)=3n\quad \sum_{k=0}^{n} 2^k \binom{n}{k} = 3^n.

Worked Example

Find the coefficient of x3x^3 in the expansion of (2x+3)5(2x + 3)^5.

By the binomial theorem, the general term is (5k)(2x)5k(3)k\binom{5}{k}(2x)^{5-k}(3)^k. We need 5k=35 - k = 3, so k=2k = 2.

(52)(2x)3(3)2=108x39=720x3.\binom{5}{2}(2x)^3(3)^2 = 10 \cdot 8x^3 \cdot 9 = 720x^3.

Thus, coefficient of x3x^3 is 720\boxed{720}.

When finding a single term, always isolate kk from the exponent condition first, and then substitute. It would not be ideal to expand the full expression.

More Examples

Example 1: Pascal's Identity

Show that (83)=(72)+(73)\binom{8}{3} = \binom{7}{2} + \binom{7}{3}.

(72)+(73)=21+35=56=(83).\binom{7}{2} + \binom{7}{3} = 21 + 35 = 56 = \binom{8}{3}. \checkmark

This is Pascal's identity with n=8n=8, k=3k=3. We know that it works because every 3-element subset of {1,,8}\{1,\ldots,8\} either contains 8 (choose 2 from the remaining 7) or does not (choose 3 from 7).

Example 2: Symmetry

Evaluate (10097)\binom{100}{97}.

(10097)=(1003)=10099983!=161700.\binom{100}{97} = \binom{100}{3} = \frac{100 \cdot 99 \cdot 98}{3!} = 161700.

Always use symmetry to make the smaller number the bottom. This tip is very important for general problems in combinatorics.

Example 3: Row Sum

A pizza shop offers 10 toppings. How many different pizzas can you order (including the plain pizza with no toppings)?

Each topping is either included or not: 210=10242^{10} = 1024 pizzas.

This is the row sum k=010(10k)=210\sum_{k=0}^{10} \binom{10}{k} = 2^{10}. In other words, every pizza corresponds to a subset.

Example 4: Hockey Stick

Evaluate (22)+(32)+(42)+(52)+(62)\binom{2}{2} + \binom{3}{2} + \binom{4}{2} + \binom{5}{2} + \binom{6}{2}.

By the hockey stick identity with r=2r=2 and n=6n=6:

i=26(i2)=(73)=35.\sum_{i=2}^{6} \binom{i}{2} = \binom{7}{3} = 35.

Example 5: Substitutions

Prove that the sum of binomial coefficients with alternating signs is zero: (n0)(n1)+(n2)=0\binom{n}{0} - \binom{n}{1} + \binom{n}{2} - \cdots = 0 for n1n \geq 1.

Substitute a=1a=1, b=1b=-1 into (a+b)n(a+b)^n:

(11)n=k=0n(nk)(1)k=0.(1-1)^n = \sum_{k=0}^{n} \binom{n}{k} (-1)^k = 0. \checkmark

Strategy Checklist

  • Write out a few rows of Pascal's triangle when the problem involves small nn, if not memorized.
  • Use symmetry (nk)=(nnk)\binom{n}{k} = \binom{n}{n-k} to put the smaller number on the bottom, and thus reduce heavy calculations.
  • For a single term in (a+b)n(a+b)^n, find kk from the exponent condition first.
  • To sum all coefficients, substitute a=b=1a = b = 1 (or x=1x = 1).
  • Try to recognize hockey stick sums consecutive (ir)\binom{i}{r} along a diagonal, as some problems will deliberately hide them from you.
  • When a row sum looks like 2n2^n or 3n3^n, try using substitution.

Common Pitfalls

  • In Pascal Triangle, or for any combinatoric diagram or sequence, mislabeling rows can be a common mistake. For instance, Row 0 is the top row (just a 1), not row 1.
  • Forgetting to raise the full term: in (2x+3)5(2x+3)^5, the aa is 2x2x, so ank=(2x)nka^{n-k} = (2x)^{n-k}, not 2xnk2x^{n-k}.
  • Cases of misapplying symmetry. (nk)=(nnk)\binom{n}{k} = \binom{n}{n-k}, not (knk)\binom{k}{n-k}.
  • Summing rows incorrectly can be another crucial mistake. Row nn has n+1n+1 entries and sums to 2n2^n, not 2n12^{n-1}.

Practice Problems

StatusSourceProblem NameDifficultyTags
AMC 8Medium
Show TagsBinomial Theorem, Modular Arithmetic
AMC 10Hard
Show TagsBinomial Theorem, Modular Arithmetic, Pascal's Triangle
AMC 12Hard
Show TagsBinomial Theorem, Coefficient Extraction

Module Progress:

Join the AoPS Community!

Stuck on a problem, or don't understand a module? Join the AoPS community and get help from other math contest students.

PrevNext