Maths Olympiad Prep

Library / /1 of 3

Combinatorics Difficulty 7.5 National Olympiad, round 2 Prove it Romanian Master of Mathematics (RMM)

Problem:

Consider an integer n2n \geq 2 and write the numbers 1,2,,n1,2, \ldots, n down on a board. A move consists in erasing any two numbers aa and bb, and, for each cc in {a+b,ab}\{a+b,|a-b|\}, writing cc down on the board, unless cc is already there; if cc is already on the board, do nothing. For all integers n2n \geq 2, determine whether it is possible to be left with exactly two numbers on the board after a finite number of moves.

Solutions — 2

Solution 1

Solution:

The answer is in the affirmative for all n2n \geq 2. Induct on nn. Leaving aside the trivial case n=2n=2, deal first with particular cases n=5n=5 and n=6n=6.

If n=5n=5, remove first the pair (2,5)(2,5), notice that 3=253=|2-5| is already on the board, so 7=2+57=2+5 alone is written down. Removal of the pair (3,4)(3,4) then leaves exactly two numbers on the board, 11 and 77, since 3±4|3 \pm 4| are both already there.

If n=6n=6, remove first the pair (1,6)(1,6), notice that 5=165=|1-6| is already on the board, so 7=1+67=1+6 alone is written down. Next, remove the pair (2,5)(2,5) and notice that 2±5|2 \pm 5| are both already on the board, so no new number is written down. Finally, removal of the pair (3,4)(3,4) provides a single number to be written down, 1=341=|3-4|, since 7=3+47=3+4 is already on the board. At this stage, the process comes to an end: 11 and 77 are the two numbers left.

In the remaining cases, the problem for nn is brought down to the corresponding problem for n/2<n\lceil n / 2\rceil < n by a finite number of moves. The conclusion then follows by induction.

Let n=4kn=4k or 4k14k-1, where kk is a positive integer. Remove the pairs (1,4k1),(3,4k3),,(2k1,2k+1)(1,4k-1), (3,4k-3), \ldots, (2k-1,2k+1) in turn. Each time, two odd numbers are removed, and the corresponding c=a±bc=|a \pm b| are even numbers in the range 22 through 4k4k, of which one is always 4k4k. These even numbers are already on the board at each stage, so no cc is to be written down, unless n=4k1n=4k-1 in which case 4k4k is written down during the first move. The outcome of this kk-move round is the string of even numbers 22 through 4k4k written down on the board. At this stage, the problem is clearly brought down to the case where the numbers on the board are 1,2,,2k=n/21,2, \ldots, 2k=\lceil n / 2\rceil, as desired.

Finally, let n=4k+1n=4k+1 or 4k+24k+2, where k2k \geq 2. Remove first the pair (4,2k+1)(4,2k+1) and notice that no new number is to be written down on the board, since 4+(2k+1)=2k+54k+1n4+(2k+1)=2k+5 \leq 4k+1 \leq n. Next, remove the pairs (1,4k+1),(3,4k1),,(2k1,2k+3)(1,4k+1), (3,4k-1), \ldots, (2k-1,2k+3) in turn. As before, at each of these stages, two odd numbers are removed; the corresponding c=a±bc=|a \pm b| are even numbers, this time in the range 44 through 4k+24k+2, of which one is always 4k+24k+2; and no new numbers are to be written down on the board, except 4=(2k1)(2k+3)4=|(2k-1)-(2k+3)| during the last move, and, possibly, 4k+2=1+(4k+1)4k+2=1+(4k+1) during the first move if n=4k+1n=4k+1. Notice that 22 has not yet been involved in the process, to conclude that the outcome of this (k+1)(k+1)-move round is the string of even numbers 22 through 4k+24k+2 written down on the board. At this stage, the problem is clearly brought down to the case where the numbers on the board are 1,2,,2k+1=n/21,2, \ldots, 2k+1=\lceil n / 2\rceil, as desired.

Solution 2

Solution:

We will prove the following, more general statement:

Claim. Write down a finite number (at least two) of pairwise distinct positive integers on a board. A move consists in erasing any two numbers aa and bb, and, for each cc in {a+b,ab}\{a+b,|a-b|\}, writing cc down on the board, unless cc is already there; if cc is already on the board, do nothing. Then it is possible to be left with exactly two numbers on the board after a finite number of moves.

Notice that, if we divide all numbers on the board by some common factor, the resulting process goes on equally well. Such a reduction can therefore be performed after any move.

Notice that we cannot be left with less than two numbers. So it suffices to show that, given kk positive integers on the board, k3k \geq 3, we can always decrease their number by at least 11. Arguing indirectly, choose a set of k3k \geq 3 positive integers S={a1,,ak}S=\{a_1, \ldots, a_k\} which cannot be reduced in size by a sequence of moves, having a minimal possible sum σ\sigma. So, in any sequence of moves applied to SS, two numbers are erased and exactly two numbers appear on each move. Moreover, the sum of any resulting set of kk numbers is at least σ\sigma.

Notice that, given two numbers a>ba > b on the board, we can replace them by a+ba+b and aba-b, and then, performing a move on the two new numbers, by (a+b)+(ab)=2a(a+b)+(a-b)=2a and (a+b)(ab)=2b(a+b)-(a-b)=2b. So we can double any two numbers on the board.

We now show that, if the board contains two even numbers aa and bb, we can divide them both by 22, while keeping the other numbers unchanged. If kk is even, split the other numbers into pairs to multiply each pair by 22; then clear out the common factor 22. If kk is odd, split all numbers but aa into pairs to multiply each by 22; then do the same for all numbers but bb; finally, clear out the common factor 44.

Back to the problem, if two of the numbers a1,,aka_1, \ldots, a_k are even, reduce them both by 22 to get a set with a smaller sum, which is impossible. Otherwise, two numbers, say, a1<a2a_1 < a_2, are odd, and we may replace them by the two even numbers a1+a2a_1+a_2 and a2a1a_2-a_1, and then by 12(a1+a2)\frac{1}{2}(a_1+a_2) and 12(a2a1)\frac{1}{2}(a_2-a_1), to get a set with a smaller sum, which is again impossible.

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.