Skip to content
Combinatorics · Chapter 6

Combinatorial Identities

Count the same thing two ways and get identities for free: symmetry, row sums, Vandermonde, Pascal and the Hockey Stick, each one a shortcut through a sum that would take forever by hand.

You'll need
open on YouTube
6.10%

Basic Identities

In this section you will be able to prove identities by counting one thing two ways, and use row sums of Pascal's triangle.

Count the subsets of a 4-person club two ways: switch by switch, or by size. You must get the same number, and that gives you an identity for free.

This chapter’s big idea is double counting. Find one quantity, count it in two different ways, and set the two answers equal. Each proof below is a short Socratic story: open “Proof” and answer the blue questions yourself first.

Exploreplay first, formulas later

Pascal's triangle, rows 0 to 5; row 5 adds to 2^5 = 32

rows5
sum 1sum 2sum 4sum 8sum 16sum 32

Click a number (or tab to the triangle and use the arrow keys) to see where it comes from.

Row 5: 1 + 5 + 10 + 10 + 5 + 1 = 32 = 25

Pascal's triangle, rows 0 to 5

Name it

Theorem 6.1.1 · Symmetry

(nk)=(nn−k)\binom{n}{k} = \binom{n}{n-k}

Theorem 6.1.2 · Binomial Identity

(n0)+(n1)+⋯+(nn)=2n\binom{n}{0} + \binom{n}{1} + \cdots + \binom{n}{n} = 2^n

4 switches, each on or off: 2^4 = 16 subsets

Elements4

Your subset: ∅ (the empty set: it counts!)

2 × 2 × 2 × 2 = 16 subsets

Each element has 2 choices: in or out. Every pattern of switches is a different subset.

Subset ∅, size 0. 2 × 2 × 2 × 2 = 16 subsets.

Each of the 4 people is a switch: in or out. That is 2⁴ = 16 subsets, sorted by size into 1 + 4 + 6 + 4 + 1.

Theorem 6.1.3 · Choosing Odd Even Identity

For n≥1n \ge 1,

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

That is, (n0)+(n2)+⋯=(n1)+(n3)+⋯\binom{n}{0} + \binom{n}{2} + \cdots = \binom{n}{1} + \binom{n}{3} + \cdots

4 elements: flipping Bob in or out pairs every even-sized subset with an odd-sized one, so 8 even and 8 odd subsets

Elements4

{Ann, Cy}: 2 elements, even. Flip Bob and the parity changes.

subsetseven sizeodd size
without Bob44
with Bob44
all88
8 even = 8 odd

{Ann, Cy} has 2 elements (even). Without Bob: 4 even, 4 odd. With Bob: 4 even, 4 odd.

Flip Bob in and out: every even-sized group turns into an odd-sized one, and back.

Contest cornerreal contest problems

Problem 6.4.3

AMC 10/12

Suppose that 13 cards numbered 1,2,3,…,131, 2, 3, \ldots, 13 are arranged in a row. The task is to pick them up in numerically increasing order, working repeatedly from left to right. In the example below, cards 1, 2, 3 are picked up on the first pass, 4 and 5 on the second pass, 6 on the third pass, 7, 8, 9, 10 on the fourth pass, and 11, 12, 13 on the fifth pass. For how many of the 13!13! possible orderings of the cards will the 13 cards be picked up in exactly two passes?

7 11 8 6 4 5 9 12 1 13 10 2 3\boxed{7}\ \boxed{11}\ \boxed{8}\ \boxed{6}\ \boxed{4}\ \boxed{5}\ \boxed{9}\ \boxed{12}\ \boxed{1}\ \boxed{13}\ \boxed{10}\ \boxed{2}\ \boxed{3}
Click a choice or type its letter (A–E).

Checkpoint for section 6.1

Get 2 of 3 right to master this section. One try each, no hints.
1

Given that (125)=792\dbinom{12}{5} = 792, what is (127)\dbinom{12}{7}?

2

Compute (70)+(71)+⋯+(77)\dbinom{7}{0} + \dbinom{7}{1} + \cdots + \dbinom{7}{7}.

3

Compute (91)+(93)+(95)+(97)+(99)\dbinom{9}{1} + \dbinom{9}{3} + \dbinom{9}{5} + \dbinom{9}{7} + \dbinom{9}{9}.

6.20%

Vandermonde's Identity

In this section you will be able to split a choice by how many come from each group, and recognize Vandermonde sums.

You have 4 oranges and 3 bananas, and you pick 3 fruits. Count them all at once, or count oranges first and then bananas.

Every pick has some number of oranges, and the rest are bananas. Add the cases and you get the same total as choosing from all the fruit at once. That is Vandermonde’s Identity. Look for it whenever a sum of products of binomial coefficients has bottom numbers that add to a constant.

Exploreplay first, formulas later

Vandermonde: choose 3 from 4 oranges and 3 bananas, split by how many oranges: C(4,0)·C(3,3) + C(4,1)·C(3,2) + C(4,2)·C(3,1) + C(4,3)·C(3,0) = C(7,3) = 35

oranges4
bananas3
committee size3

Build one committee: tap 3 people.

0 of 3 picked
  • 0 oranges + 3 bananasC(4,0) × C(3,3) = 1 × 1 = 1 ✓
  • 1 oranges + 2 bananasC(4,1) × C(3,2) = 4 × 3 = 12 ✓
  • 2 oranges + 1 bananasC(4,2) × C(3,1) = 6 × 3 = 18 ✓
  • 3 oranges + 0 bananasC(4,3) × C(3,0) = 4 × 1 = 4 ✓
1 + 12 + 18 + 4 = 35 committeesEvery split together: C(7,3) = 35

Committees of 3, no rule: 35

Name it

Theorem 6.2.1 · Vandermonde's Identity

(n0)(mr)+(n1)(mr−1)+⋯+(nr)(m0)=(m+nr)\binom{n}{0}\binom{m}{r} + \binom{n}{1}\binom{m}{r-1} + \cdots + \binom{n}{r}\binom{m}{0} = \binom{m+n}{r}

Theorem 6.2.3 · Special Case of Vandermonde's Identity

∑i=0k(ki)2=(2kk)\sum_{i=0}^{k} \binom{k}{i}^2 = \binom{2k}{k}

Watch itpredict, then reveal

Example 6.1

Modified AIME

A club consisting of 11 men and 12 women needs to choose a committee from among its members so that the number of women on the committee is one more than the number of men on the committee. The committee could have as few as 1 member or as many as 23 members. Let NN be the number of such committees that can be formed. If N=(ab)N = \binom{a}{b}, find a+ba + b.

Committee builder (its total is revealed at the end of the example)

men11
women12
committee size11
  • 0 men + 1 womenC(11,0) × C(12,1) = C(11,0) × C(12,11) = ?
  • 1 men + 2 womenC(11,1) × C(12,2) = C(11,1) × C(12,10) = ?
  • 2 men + 3 womenC(11,2) × C(12,3) = C(11,2) × C(12,9) = ?
  • 3 men + 4 womenC(11,3) × C(12,4) = C(11,3) × C(12,8) = ?
  • 4 men + 5 womenC(11,4) × C(12,5) = C(11,4) × C(12,7) = ?
  • 5 men + 6 womenC(11,5) × C(12,6) = C(11,5) × C(12,6) = ?
  • 6 men + 7 womenC(11,6) × C(12,7) = C(11,6) × C(12,5) = ?
  • 7 men + 8 womenC(11,7) × C(12,8) = C(11,7) × C(12,4) = ?
  • 8 men + 9 womenC(11,8) × C(12,9) = C(11,8) × C(12,3) = ?
  • 9 men + 10 womenC(11,9) × C(12,10) = C(11,9) × C(12,2) = ?
  • 10 men + 11 womenC(11,10) × C(12,11) = C(11,10) × C(12,1) = ?
  • 11 men + 12 womenC(11,11) × C(12,12) = C(11,11) × C(12,0) = ?

Look: choosing which women come is the same as choosing which women stay home. Count the stay-at-homes, and every row picks 11 people in all.

? + ? + ? + ? + ? + ? + ? + ? + ? + ? + ? + ? = ? committeesEvery split together: C(23,11)

Committees of 11, no rule: ?

  1. 1

    Say the committee has mm men. How many women does it have?

open on YouTube

Example 6.2

AIME

Find the remainder when

((32)2)+((42)2)+⋯+((402)2)\binom{\binom{3}{2}}{2} + \binom{\binom{4}{2}}{2} + \cdots + \binom{\binom{40}{2}}{2}

is divided by 1000.

  1. 1

    What does ((n2)2)\binom{\binom{n}{2}}{2} count?

open on YouTube

Contest cornerreal contest problems

Problem 6.4.1

A choir director must select a group of singers from among his 6 tenors and 8 basses. The only requirements are that the difference between the number of tenors and basses must be a multiple of 4, and the group must have at least one singer. Let NN be the number of different groups that could be selected. What is the remainder when NN is divided by 100?

Problem 6.4.4(additional)

AIMEChallenge

This problem also appears in the book as 5.10.

There are two distinguishable flagpoles, and there are 19 flags, of which 10 are identical blue flags, and 9 are identical green flags. Let NN be the number of distinguishable arrangements using all of the flags in which each flagpole has at least one flag and no two green flags on either pole are adjacent. Find the remainder when NN is divided by 1000. (Solve this problem using Vandermonde's Identity.)

Checkpoint for section 6.2

Get 2 of 3 right to master this section. One try each, no hints.
1

Compute (50)(64)+(51)(63)+(52)(62)+(53)(61)+(54)(60)\dbinom{5}{0}\dbinom{6}{4} + \dbinom{5}{1}\dbinom{6}{3} + \dbinom{5}{2}\dbinom{6}{2} + \dbinom{5}{3}\dbinom{6}{1} + \dbinom{5}{4}\dbinom{6}{0}.

2

Compute (60)2+(61)2+⋯+(66)2\dbinom{6}{0}^2 + \dbinom{6}{1}^2 + \cdots + \dbinom{6}{6}^2.

3

A bag has 7 red and 5 blue marbles. Add up, over the number of red marbles, the ways to pick 4 marbles. What total do you get?

6.30%

Pascal's and Hockey Stick Identity

In this section you will be able to use Pascal's Identity and the Hockey Stick Identity to add binomial coefficients in one step.

Adding C(3, 3) + C(4, 3) + ⋯ + C(10, 3) by hand is tedious. On Pascal’s triangle the whole sum sits in one cell.

Each number in Pascal’s triangle is the sum of the two numbers above it. Follow that rule down a diagonal and the sums pile up: a straight run of numbers (the stick) adds up to the number just below its end, one step over (the blade).

Exploreplay first, formulas later

Pascal's triangle, rows 0 to 7; Pascal's rule: C(5, 2) + C(5, 3) = 10 + 10 = 20 = C(6, 3)

rows7
C(5, 2) + C(5, 3) = C(6, 3)10 + 10 = 20Choose 3 of 6 people. Bob is in: 10 ways (choose the other 2 of 5). Bob is out: 10 ways (choose all 3 of the other 5).

C(6, 3) = 10 + 10 = 20

Name it

Concept 6.3.1 · Pascal's Triangle

Pascal's Triangle is a triangular array of binomial coefficients. It contains many patterns that make complex calculations much easier.

Row nn (counting the top row as row 0) holds (n0),(n1),…,(nn)\binom{n}{0}, \binom{n}{1}, \ldots, \binom{n}{n}. Below, the first rows are written as binomial coefficients; Show me gives rows 0 to 10 as numbers.

Pascal's triangle, rows 0 to 5; entries shown as C(n, k)

rows5

Click a number (or tab to the triangle and use the arrow keys) to see where it comes from.

Pascal's triangle, rows 0 to 5

Rows 0 to 5 written as binomial coefficients. Turn off "Show as C(n, k)" to see the numbers.

Theorem 6.3.2 · Pascal's Identity

(nr)+(nr+1)=(n+1r+1)\binom{n}{r} + \binom{n}{r+1} = \binom{n+1}{r+1}

Theorem 6.3.3 · Hockey Stick Identity

(kk)+(k+1k)+⋯+(nk)=(n+1k+1)\binom{k}{k} + \binom{k+1}{k} + \cdots + \binom{n}{k} = \binom{n+1}{k+1}

Theorem 6.3.4 · Hockey Stick Identity Generalization

(jk)+(j+1k)+⋯+(nk)=(n+1k+1)−(jk+1)\binom{j}{k} + \binom{j+1}{k} + \cdots + \binom{n}{k} = \binom{n+1}{k+1} - \binom{j}{k+1}

Remark 6.3.6

Imagine how tedious Example 6.3 would be if you had to add 1+4+10+20+⋯+2201 + 4 + 10 + 20 + \cdots + 220 by hand! The Hockey Stick Identity turns the whole sum into one number.

Remark 6.3.7

These identities can be helpful in combinatorics problems, but how to apply them is not always obvious. A good approach to many combinatorics problems is to just manipulate the expressions until an identity appears.

Watch itpredict, then reveal

Example 6.3

AIME Modified

Melinda has ten empty boxes and 75 textbooks, three of which are mathematics textbooks. The first box holds 3 textbooks, the 2nd box holds 4 textbooks, the 3rd box holds 5 textbooks, all the way until the 10th box, which holds 12 textbooks. If Melinda packs her textbooks into these boxes in random order, the probability that all three mathematics textbooks end up in the same box can be written as mn\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+nm + n.

Pascal explorer (its total is revealed at the end of the example)

Click a number to start a stick there, or click lower in the same column to extend it.

1 + 4 + 10 + 20 + … + 165 + 220 = ?

C(3, 3) + … + C(12, 3) = ?

  1. 1

    Among the 75 book slots, we must choose 3 of them for the math textbooks. How many ways are there to do this?

    Predict first:

Example 6.4

AIME

Consider all 1000-element subsets of the set {1,2,3,…,2015}\{1, 2, 3, \ldots, 2015\}. From each such subset choose the least element. The arithmetic mean of all of these least elements is pq\frac{p}{q}, where pp and qq are relatively prime positive integers. Find p+qp + q.

  1. 1

    To find the average, first find the sum of the least elements over all subsets. How many subsets have 1 as the least element?

    Predict first:
    Click a choice or type its letter (A–E).

Checkpoint for section 6.3

Get 2 of 3 right to master this section. One try each, no hints.
1

Compute (94)+(95)\dbinom{9}{4} + \dbinom{9}{5}.

2

Compute (22)+(32)+⋯+(92)\dbinom{2}{2} + \dbinom{3}{2} + \cdots + \dbinom{9}{2}.

3

Compute (53)+(63)+⋯+(103)\dbinom{5}{3} + \dbinom{6}{3} + \cdots + \dbinom{10}{3}.

6.4

Practice Problems

In this section you will be able to mix this chapter's identities on contest problems.

The book prints the choir problem twice. Solve it once with Vandermonde, then check you can do it again here without the hints.

The other practice problems live in the lessons they use: 6.4.3 in Section 6.1, and 6.4.1 and 6.4.4 in Section 6.2. Want every problem from this chapter on one page? Open the problem set.

Contest cornerreal contest problems

Problem 6.4.2

AMC 12

This problem also appears in the book as 6.4.1.

A choir director must select a group of singers from among his 6 tenors and 8 basses. The only requirements are that the difference between the number of tenors and basses must be a multiple of 4, and the group must have at least one singer. Let NN be the number of groups that could be selected. What is the remainder when NN is divided by 100?