Maths Olympiad Prep

Library / /12 of 41

, 2012

Combinatorics Difficulty 7.9 National Olympiad, round 2 Prove it Slovenia

Someone has written the numbers 11, 22, \ldots, 3333 on a chalkboard. In each step, we choose two (not necessarily different) numbers on the chalkboard such that one divides the other. We then erase these two numbers and write their quotient, which is a natural number, on the chalkboard. We repeat the process until there is a pair of numbers on the chalkboard such that one of the numbers divides the other. At least how many numbers stay written on the chalkboard?

Solution

Let PkP_k be the product of all the numbers on the chalkboard after the kkth\text{th}step.Ifinthe step. If in the kth\text{th} step we choose the numbers a>ba > b such that bb divides aa, then
Pk=Pk1abab=Pk1b2. P_k = \frac{P_{k-1}}{ab} \cdot \frac{a}{b} = \frac{P_{k-1}}{b^2}.
Thus, after each step, the product of all the numbers on the chalkboard is divisible by a square of a natural number. That is, the parity of the exponents in the prime factorization of the product of all the numbers on the chalkboard does not change. Because at the beginning the product is
P0=1233=23131557741131321719232931, P_0 = 1 \cdot 2 \cdots 33 = 2^{31} \cdot 3^{15} \cdot 5^7 \cdot 7^4 \cdot 11^3 \cdot 13^2 \cdot 17 \cdot 19 \cdot 23 \cdot 29 \cdot 31,
the product of all the numbers that stay on the chalkboard is a multiple of the number 2351117192329312 \cdot 3 \cdot 5 \cdot 11 \cdot 17 \cdot 19 \cdot 23 \cdot 29 \cdot 31. Since the prime numbers 1717, 1919, 2323, 2929 and 3131 do not divide any other number on the chalkboard, they stay on the chalkboard till the end. The product of all the other numbers on the chalkboard at the end is at least 23511=330>332 \cdot 3 \cdot 5 \cdot 11 = 330 > 33. Thus, at the end, there must be two additional prime numbers that are greater than 1616 on the chalkboard. Altogether there must be at least 77 such prime numbers.

We can get 77 numbers in the described process as follows. First successively erase the following pairs:
(33,11)(33, 11), (25,5)(25, 5), (27,9)(27, 9), (28,14)(28, 14), (26,13)(26, 13), (21,7)(21, 7), (30,10)(30, 10), (20,5)(20, 5), (32,16)(32, 16), (24,12)(24, 12), (18,6)(18, 6), (8,4)(8, 4), (3,3)(3, 3), (3,3)(3, 3), (3,3)(3, 3), (4,2)(4, 2), (2,2)(2, 2), (2,2)(2, 2), (2,2)(2, 2). Then erase all the ones to get the numbers 1515, 1717, 1919, 2222, 2323, 2929, 3131.

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.