Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
164 Pigeon-hole and double counting<br />
For the proof we set N = {0, 1, . . ., n} and R = {0, 1, . . ., n − 1}. Consider<br />
the map f : N → R, where f(m) is the remainder of a 1 + . . . + a m<br />
upon division by n. Since |N| = n + 1 > n = |R|, it follows that there are<br />
two sums a 1 + . . . + a k , a 1 + . . . + a l (k < l) with the same remainder,<br />
where the first sum may be the empty sum denoted by 0. It follows that<br />
l∑<br />
i=k+1<br />
a i =<br />
l∑<br />
a i −<br />
i=1<br />
k∑<br />
i=1<br />
a i<br />
has remainder 0 — end of proof.<br />
□<br />
Let us turn to the second principle: counting in two ways. By this we mean<br />
the following.<br />
Double counting.<br />
Suppose that we are given two finite sets R and C and a subset<br />
S ⊆ R ×C. Whenever (p, q) ∈ S, then we say p and q are incident.<br />
If r p denotes the number of elements that are incident to p ∈ R,<br />
and c q denotes the number of elements that are incident to q ∈ C,<br />
then ∑<br />
c q . (3)<br />
p∈R<br />
r p = |S| = ∑ q∈C<br />
Again, there is nothing to prove. The first sum classifies the pairs in S<br />
according to the first entry, while the second sum classifies the same pairs<br />
according to the second entry.<br />
There is a useful way to picture the set S. Consider the matrix A = (a pq ),<br />
the incidence matrix of S, where the rows and columns of A are indexed<br />
by the elements of R and C, respectively, with<br />
{<br />
1 if (p, q) ∈ S<br />
a pq =<br />
0 if (p, q) /∈ S.<br />
◗ R◗<br />
1 2 3 4 5 6 7 8<br />
1 1 1 1 1 1 1 1 1<br />
2 1 1 1 1<br />
3 1 1<br />
4 1 1<br />
5 1<br />
6 1<br />
7 1<br />
8 1<br />
With this set-up, r p is the sum of the p-th row of A and c q is the sum of the<br />
q-th column. Hence the first sum in (3) adds the entries of A (that is, counts<br />
the elements in S) by rows, and the second sum by columns.<br />
The following example should make this correspondence clear. Let R =<br />
C = {1, 2, . . .,8}, and set S = {(i, j) : i divides j}. We then obtain the<br />
matrix in the margin, which only displays the 1’s.<br />
4. Numbers again<br />
Look at the table on the left. The number of 1’s in column j is precisely the<br />
number of divisors of j; let us denote this number by t(j). Let us ask how