Maths Olympiad Prep

Library / Romanian Mathematical Olympiad - Final Round /33 of 37

Romanian Mathematical Olympiad - Final Round

Number theory Difficulty 7.4 National Olympiad, round 2 Prove it Romania

Let nn be a positive integer and M={1,2,…,2n+1}M = \{1, 2, \dots, 2n + 1\}. Find out in how many ways we can split the set MM into three mutually disjoint nonempty sets A,B,CA, B, C so that both the following are true:
(i) for each a∈Aa \in A and b∈Bb \in B, the remainder of the division of aa by bb belongs to CC,
(ii) for each c∈Cc \in C there exists a∈Aa \in A and b∈Bb \in B such that cc is the remainder of the division of aa by bb.
Mircea Fianu

Solution

We notice that a>ba > b, for all a∈Aa \in A and b∈Bb \in B. Indeed, the contrary would imply that a<ba < b, so the remainder of the division of aa by bb is aa and aa belongs to both BB and CC. This shows that AA is made by consecutive numbers and 2n+1∈A2n+1 \in A.

Take c∈Cc \in C. From the assumption there exists a∈Aa \in A and b∈Bb \in B so that a=bq+ca = bq+c. Then a≥(c+1)⋅1+c=2c+1a \ge (c+1) \cdot 1 + c = 2c + 1, hence 2n+1≥2c+12n+1 \ge 2c+1, therefore n≥cn \ge c. If we suppose that n+1∉Bn+1 \notin B, then n+1∈An+1 \in A, whence {n+1,n+2,…,2n+1}⊂A\{n+1, n+2, \dots, 2n+1\} \subset A. So, if b∈Bb \in B, then b≤nb \le n and, since AA contains n+1n+1 consecutive numbers, AA must contain at least one multiple of bb – false.

Henceforth n+1∈Bn+1 \in B, so there exists k∈{n+1,n+2,…,2n}k \in \{n+1, n+2, \dots, 2n\} so that A={2n+1,2n,…,k+1}A = \{2n+1, 2n, \dots, k+1\}. From c≤nc \le n for all c∈Cc \in C follows {n+1,n+2,…,k}⊂B\{n+1, n+2, \dots, k\} \subset B.

The remainders of the divisions of the elements of AA to the elements of {n+1,n+2,…,k}\{n+1, n+2, \dots, k\} are the numbers {1,2,…,n}\{1, 2, \dots, n\}. This shows that B={n+1,n+2,…,k}B = \{n+1, n+2, \dots, k\} and C={1,2,…,n}C = \{1, 2, \dots, n\}. The number kk can be every element of the set {n+1,n+2,…,2n}\{n+1, n+2, \dots, 2n\}, so there are nn possible splits.

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

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