Handshakes
In a room of \(10\) people, everyone shook hands with everyone else. How many handshakes occurred?
Count pairs of people.
Each handshake corresponds to a pair of people. There are \(10\cdot9/2=45\) pairs.
Chapter
Theory
Double counting means counting the same set of objects in two different ways. The result may be an equality, an identity, an average, or a proof that an object with a desired property must exist.
Most often, we count pairs: \((student,club)\), \((vertex,edge)\), \((subset,element)\), \((point,line)\). If the right pairs are chosen, the problem often becomes short.
Look for phrases such as “each object is connected to”, “in every group”, “each pair”, “total number of memberships”, or “average number”. They almost always suggest a set of pairs or incidences.
If you see a sum like \(0C(n,0)+1C(n,1)+\cdots+nC(n,n)\), try counting pairs “chosen subset and marked element inside it”.
Examples
Each handshake can be counted by its two participants.
Problem. In a room of \(10\) people, everyone shook hands with everyone else. How many handshakes occurred?
Count pairs of people: choose \(2\) people from \(10\), giving \(45\). Equivalently, each person gives \(9\) handshake-ends, \(90\) ends in total, and each handshake has two ends, so \(90/2=45\).
Comment. This is the first version of sum of degrees.
Count pairs “student — club”.
Problem. In a school, \(30\) students each attend exactly \(2\) clubs. How many student-club memberships are there?
Each student gives \(2\) pairs \((student,club)\). Total: \(30\cdot2=60\) memberships.
Comment. If club sizes are known, their sum must also be \(60\).
If the average is large, someone is at least average.
Problem. There are \(60\) memberships across \(8\) clubs. Prove that some club has at least \(8\) students.
If every club had at most \(7\) students, the total would be at most \(8\cdot7=56\) memberships. But there are \(60\). Hence some club has at least \(8\) students.
Comment. This is the average argument in contradiction form.
Every edge has two ends.
Problem. Prove that in every graph, the sum of all vertex degrees equals twice the number of edges.
Count pairs \((v,e)\), where vertex \(v\) is an endpoint of edge \(e\). Counting by vertices gives the sum of degrees. Counting by edges gives \(2\) pairs per edge. Thus the sum of degrees is \(2E\).
Comment. This is the main graph-counting lemma.
Count a subset and a marked element.
Problem. Prove that \(\sum_{k=0}^n kC(n,k)=n2^{n-1}\).
Count pairs \((S,x)\), where \(S\) is a subset of an \(n\)-element set and \(x\in S\). By size \(S=k\), we get the left side. By the element \(x\), choose \(x\) in \(n\) ways and choose the remaining elements of \(S\) freely from \(n-1\), giving \(n2^{n-1}\).
Comment. The identity became a problem about pairs.
Each element may be outside both sets, only in the larger set, or in both.
Problem. How many pairs \((A,B)\) of subsets of an \(n\)-element set satisfy \(A\subset B\)?
For each element there are three possibilities: outside \(B\), in \(B\) but not in \(A\), or in both \(A\) and \(B\). Hence there are \(3^n\) pairs.
Comment. This is also a double viewpoint: by elements instead of by sets.
The same table “point lies on line” is counted by rows or columns.
Problem. There are \(9\) lines, each containing \(5\) marked points. Each marked point lies on exactly \(3\) lines. How many marked points are there?
Count incidences \((point,line)\). By lines there are \(9\cdot5=45\). By points there are \(3N\), where \(N\) is the number of points. Thus \(3N=45\), so \(N=15\).
Comment. Classic incidence-counting problem.
If each triple contains \(3\) pairs, we can bound the number of triples.
Problem. There are three-element subsets of a \(10\)-element set, and no pair of elements occurs in two different subsets. Prove that there are at most \(15\) such subsets.
Each three-element subset contains \(3\) pairs of elements. There are \(45\) pairs total in a \(10\)-element set. Since pairs do not repeat, \(3m\le45\), where \(m\) is the number of subsets. Hence \(m\le15\).
Comment. This is already an olympiad-style double-counting bound.
Problems
In a room of \(10\) people, everyone shook hands with everyone else. How many handshakes occurred?
Count pairs of people.
Each handshake corresponds to a pair of people. There are \(10\cdot9/2=45\) pairs.
In a class of \(20\) students, each attends exactly \(2\) clubs. How many pairs \((student,club)\) are there?
Each student contributes two pairs.
There are \(20\cdot2=40\) pairs.
A table contains numbers. Explain why the sum of row sums equals the sum of column sums.
Each cell is counted exactly once in both counts.
When summing by rows, each entry is counted once. When summing by columns, each entry is also counted once. Therefore the totals are equal.
There are \(12\) words of length \(5\). How many pairs \((word,position)\) are there?
Each word has \(5\) positions.
Each of the \(12\) words gives \(5\) positions. Total: \(12\cdot5=60\) pairs.
How many edges are in a graph with \(6\) vertices where every pair of vertices is connected by an edge?
An edge is a pair of vertices.
Choose \(2\) vertices from \(6\): \(6\cdot5/2=15\).
Prove that in every graph, the number of vertices of odd degree is even.
Use the sum of degrees.
The sum of degrees is \(2E\), hence even. The sum of degrees of even-degree vertices is even, so the sum of odd degrees is even. A sum of an odd number of odd integers would be odd, so the number of odd-degree vertices is even.
Across \(8\) clubs there are \(60\) memberships. Prove that some club has at least \(8\) students.
Compare with the average \(60/8\).
The average club size is \(60/8=7.5\). If every club had at most \(7\), the total would be at most \(56\), contradiction. Hence some club has at least \(8\).
For a set of \(5\) elements, find the sum of the sizes of all its subsets.
Count pairs \((S,x)\), where \(x\in S\).
Each of the \(5\) elements belongs to exactly half of all subsets, i.e. \(2^4=16\) subsets. The sum of subset sizes equals the number of pairs \((S,x)\), so it is \(5\cdot16=80\).
How many pairs \((S,x)\), where \(S\subset\{1,\ldots,6\}\) and \(x\in S\), are there?
First choose \(x\), then the remaining elements of \(S\).
Choose \(x\) in \(6\) ways. For each \(x\), each of the other \(5\) elements either belongs to \(S\) or not: \(2^5\) ways. Total: \(6\cdot2^5=192\).
In the complete graph on \(6\) vertices, how many ordered paths \(A-B-C\) with distinct \(A,B,C\) are there?
Choose the middle vertex, then the two ends in order.
Choose the middle vertex \(B\) in \(6\) ways. Choose \(A\) in \(5\) ways and \(C\) in \(4\) ways. Total: \(6\cdot5\cdot4=120\).
Derive the formula for the number of diagonals of an \(n\)-gon by counting diagonal endpoints.
From each vertex, \(n-3\) diagonals are drawn.
From each of the \(n\) vertices, \(n-3\) diagonals are drawn, so there are \(n(n-3)\) diagonal endpoints. Each diagonal has two endpoints, so the number of diagonals is \(n(n-3)/2\).
\(25\) students solved \(100\) problems in total. Prove that some student solved at least \(4\) problems.
The average is \(4\).
If everyone solved at most \(3\) problems, the total would be at most \(25\cdot3=75\), less than \(100\). Therefore someone solved at least \(4\) problems.
Prove combinatorially that \(\sum_{k=0}^n kC(n,k)=n2^{n-1}\).
Count pairs \((S,x)\), where \(x\in S\).
By size \(S=k\): there are \(C(n,k)\) subsets and \(k\) choices of the marked element, giving the left side. By marked element: \(n\) choices for \(x\), and the other \(n-1\) elements are chosen freely for \(S\), \(2^{n-1}\) ways. This gives the right side.
Prove that \(C(2,2)+C(3,2)+\cdots+C(n,2)=C(n+1,3)\).
Count three-element subsets by their largest element.
Choose a three-element subset of \(\{1,\ldots,n+1\}\). If the largest element is \(t+1\), the other two are chosen from \(1,\ldots,t\), in \(C(t,2)\) ways. Summing over \(t=2,\ldots,n\) gives the left side, while the total number is \(C(n+1,3)\).
A school has \(40\) students and \(5\) clubs. Each student attends exactly \(2\) clubs. Prove that some club has at least \(16\) students.
Count total memberships.
Total memberships: \(40\cdot2=80\). If every club had at most \(15\) students, the total would be at most \(5\cdot15=75\), contradiction. Hence some club has at least \(16\) students.
How many pairs \((A,B)\) of subsets of an \(n\)-element set satisfy \(A\subset B\)?
Each element has three states.
Each element is either outside \(B\), in \(B\) but not in \(A\), or in both sets. Three independent states for each of \(n\) elements give \(3^n\) pairs.
There are \(12\) marked points in the plane, no three collinear. How many segments with endpoints among the marked points can be drawn?
A segment is determined by a pair of points.
Choose \(2\) points out of \(12\). This gives \(12\cdot11/2=66\) segments.
In a tournament, each of \(n\) players played each other exactly once, with no draws. Prove that some player won at least \((n-1)/2\) games.
Count total wins.
There are \(n(n-1)/2\) games, each giving exactly one win. The average number of wins per player is \((n(n-1)/2)/n=(n-1)/2\). Hence some player has at least the average.
How many rectangles are in a \(5\) by \(6\) grid of cells?
Choose two vertical and two horizontal grid lines.
A \(5\) by \(6\) grid has \(6\) horizontal and \(7\) vertical lines. A rectangle is determined by choosing two vertical and two horizontal lines. Answer: \(C(7,2)C(6,2)=21\cdot15=315\).
There are \(12\) committees, each with \(5\) people, and \(20\) people total participate. Prove that some person belongs to at least \(3\) committees.
Count pairs \((person,committee)\).
Total memberships: \(12\cdot5=60\). The average number of committees per person is \(60/20=3\). Hence some person belongs to at least \(3\) committees.
In a group of \(15\) people, each person knows at least \(7\) others. Prove that there are at least \(53\) acquainted pairs.
Sum degrees in the acquaintance graph.
Build the acquaintance graph. The sum of degrees is at least \(15\cdot7=105\). Each acquainted pair contributes twice to the degree sum, so the number of edges is at least \(105/2=52.5\). Since it is an integer, it is at least \(53\).
Prove combinatorially that \(\sum_{k=0}^n k^2C(n,k)=n(n+1)2^{n-2}\).
Count triples \((S,x,y)\), where \(x,y\in S\), and \(x,y\) may be equal.
By size \(S=k\), there are \(k^2\) ways to choose the ordered pair \((x,y)\), giving the left side. Count by \((x,y)\). If \(x=y\), choose this element in \(n\) ways and choose the rest of \(S\) freely: \(2^{n-1}\). If \(x e y\), choose the ordered pair in \(n(n-1)\) ways and the remaining \(n-2\) elements freely: \(2^{n-2}\). Total: \(n2^{n-1}+n(n-1)2^{n-2}=n(n+1)2^{n-2}\).
There are \(9\) lines, each with \(5\) marked points. Each marked point lies on exactly \(3\) lines. Find the number of marked points.
Count incidences \((point,line)\).
By lines, there are \(9\cdot5=45\) incidences. If there are \(N\) points, counting by points gives \(3N\). Thus \(3N=45\), so \(N=15\).
From a \(10\)-element set, \(17\) three-element subsets are chosen. Prove that two chosen subsets have at least two common elements.
Prove the contrapositive: if any two triples share at most one element, then element-pairs do not repeat.
Assume any two chosen triples share at most one element. Then no pair of elements can occur in two different triples; otherwise those two triples would share that pair, i.e. two common elements. Each triple contains \(3\) pairs, so \(17\) triples would contain \(51\) distinct element-pairs. But a \(10\)-element set has only \(10\cdot9/2=45\) pairs. Contradiction. Hence two triples share at least two elements.
Ladders