Maths Olympiad Prep

Library / /13 of 136

Combinatorics Difficulty 7.4 National Olympiad, round 2 Prove it Hong Kong

Find 220062^{2006} positive integers satisfying the following conditions.
(a) Each positive integer has 220052^{2005} digits.
(b) Each positive integer only has 7 or 8 in its digits.
(c) Among any two chosen integers, at most half of their corresponding digits are the same.

Solution

We construct the numbers recursively. Firstly, we start from the following 222^2 integers:
77, 78, 87, 88,
each of which has 212^1 digits, and at most 202^0 digit of each pair is the same.
Suppose we have constructed k=2n+1k = 2^{n+1} integers a1,a2,,aka_1, a_2, \dots, a_k with digits 7, 8, each of which has 2n2^n digits, and at most 2n12^{n-1} digits of each pair are the same. We construct 2k=2n+22k = 2^{n+2} integers as follows:
a1a1,a2a2,,akak,a1b1,a2b2,,akbk, \overline{a_1a_1}, \overline{a_2a_2}, \dots, \overline{a_ka_k}, \overline{a_1b_1}, \overline{a_2b_2}, \dots, \overline{a_kb_k},
where bjb_j means the integer having the same number of digits as aja_j such that each digit is different from that of aja_j (and is still 7 or 8). For example, when n=1n=1, we construct
7777, 7878, 8787, 8888, 7788, 7887, 8778, 8877.

Note that each of the integers constructed has 22n=2n+12 \cdot 2^n = 2^{n+1} digits. Also, one can easily prove by induction that b1,b2,,bkb_1, b_2, \dots, b_k is a permutation of a1,a2,,aka_1, a_2, \dots, a_k.
* For aiai\overline{a_i a_i} and ajaj\overline{a_j a_j} (with iji \neq j), at most 22n1=2n2 \cdot 2^{n-1} = 2^n of their digits are the same by the inductive hypothesis. Similarly, the same holds for the pair aiai\overline{a_i a_i} and ajbj\overline{a_j b_j} unless ai=bja_i = b_j, and for the pair aibi\overline{a_i b_i} and ajbj\overline{a_j b_j}.
* For aiai\overline{a_i a_i} and ajbj\overline{a_j b_j} with ai=bja_i = b_j, the first 2n2^n digits are different, while the last 2n2^n digits are the same.
* For aiai\overline{a_i a_i} and ajbj\overline{a_j b_j}, the first 2n2^n digits are the same, while the last 2n2^n digits are different.
Thus, in any case, each pair of integers shares at most 2n2^n same digits. Repeating the same procedure, we eventually obtain 220062^{2006} integers satisfying all the conditions.

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.