Maths Olympiad Prep

Library / /60 of 61

Combinatorics Difficulty 7.3 National Olympiad, round 2 Prove it Ibero-American Mathematical Olympiad

Problem:

The numbers 1,2,,20021, 2, \ldots, 2002 are written in order on a blackboard. Then the 1st, 4th, 7th, \ldots, 3k+13k+1th, \ldots numbers in the list are erased. Then the 1st, 4th, 7th, \ldots, 3k+13k+1th numbers in the remaining list are erased (leaving 3,5,8,9,12,3, 5, 8, 9, 12, \ldots). This process is carried out repeatedly until there are no numbers left. What is the last number to be erased?

Solution

Solution:

Let ana_n be the first number remaining after nn iterations, so a0=1a_0 = 1, a1=2a_1 = 2, a2=3a_2 = 3, a3=5a_3 = 5, etc. We claim that:

an+1=32an\displaystyle a_{n+1} = \frac{3}{2} a_n if ana_n is even, and
an+1=32(an+1)1\displaystyle a_{n+1} = \frac{3}{2}(a_n + 1) - 1 if ana_n is odd.

We use induction on nn.

Suppose an=2Na_n = 2N. Consider the number 3N3N. There are initially NN smaller numbers 1(mod3)\equiv 1 \pmod{3}. So after the first iteration, it will lie in the 2N2Nth place. Hence, it will lie in first place after n+1n+1 iterations.

Similarly, suppose an=2N+1a_n = 2N + 1. Consider 3N+23N + 2. There are initially N+1N + 1 smaller numbers 1(mod3)\equiv 1 \pmod{3}. So after the first iteration, it will lie in the 2N+12N + 1st place. Hence, it will lie in first place after n+1n+1 iterations. That completes the induction.

We may now calculate successively the members of the sequence: 1,2,3,5,8,12,18,27,41,62,93,140,210,315,473,710,1065,1598,23971, 2, 3, 5, 8, 12, 18, 27, 41, 62, 93, 140, 210, 315, 473, 710, 1065, 1598, 2397. Hence 15981598 is the last surviving number from 1,2,,20021, 2, \ldots, 2002.

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.