Maths Olympiad Prep

Library / /48 of 69

, 2011

Combinatorics Difficulty 5.7 AIME, harder Prove it South Africa

Dylan has a list of all 25-digit numbers consisting of the digits 1, 2, 3 and 4 such that there are an equal number of 1s and 2s. Robert has a list of all 50-digit numbers consisting of 25 digits 1 and 25 digits 2. Show that the number of numbers on each list is the same.

Solution

Let DD be the set of 25-digit numbers with the same number of 1s and 2s, and let RR be the set of 50-digit numbers with 25 digits 1 and 25 digits 2. We define a bijection between the two sets.

Let d=d1d2d25Dd = d_1d_2\dots d_{25} \in D. We define a function on the digits of dd as follows:
f(di)={11if di=122if di=212if di=321if di=4 f(d_i) = \begin{cases} 11 & \text{if } d_i = 1 \\ 22 & \text{if } d_i = 2 \\ 12 & \text{if } d_i = 3 \\ 21 & \text{if } d_i = 4 \end{cases}
By replacing each digit did_i in dd with f(di)f(d_i) we obtain a number in RR; indeed, if did_i equals 3 or 4, then f(di)f(d_i) contains the same number of 1s and 2s, and since there are equal numbers of 1s and 2s in dd, there will be equal numbers of the digit pairs 11 and 22. Hence each number in dd corresponds to a number in RR - clearly two different numbers in dd will correspond to two different numbers in RR.

Conversely, using the inverse of ff, we can map each number in RR to a number in DD. A similar argument shows that this mapping is well-defined and injective as well, showing that the two sets have an equal number of elements.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.