Maths Olympiad Prep

Library / /6 of 9

Number theory Difficulty 6.5 National olympiad Find the answer

Find the smallest integer nn such that each subset of {1,2,,2004}\{1,2,\ldots, 2004\} with nn elements has two distinct elements aa and bb for which a2b2a^2-b^2 is a multiple of 20042004.

A number or a short expression. Spacing and $ signs are ignored.

Solution

To solve the problem of finding the smallest integer n n such that each subset of {1,2,,2004}\{1, 2, \ldots, 2004\} with n n elements has two distinct elements a a and b b for which a2b2 a^2 - b^2 is a multiple of 2004 2004 , we start by analyzing the structure of the number 2004 2004 .

Firstly, factorize 2004 2004 into its prime components:

2004=22×3×167. 2004 = 2^2 \times 3 \times 167.

We want to ensure that for every subset of {1,2,,2004} \{1, 2, \ldots, 2004\} with n n elements, there are two elements a a and b b such that a2b2=(ab)(a+b) a^2 - b^2 = (a-b)(a+b) is divisible by 2004 2004 .

To achieve divisibility by 2004 2004 , both (ab) (a-b) and (a+b) (a+b) must collectively account for the prime factors 22,3, 2^2, 3, and 167 167 .

### Step-by-step Process:

1. Divisibility by 4:
- For divisibility by 4=22 4 = 2^2 , both a a and b b must either be odd or both even, since a2b2 a^2 - b^2 simplifies to (ab)(a+b) (a-b)(a+b) , and a difference or sum of similar parity numbers will ensure divisibility by 4 4 .

2. Divisibility by 3:
- If ab(mod3) a \equiv b \pmod{3} , then a2b2(mod3) a^2 \equiv b^2 \pmod{3} , meaning a2b20(mod3) a^2 - b^2 \equiv 0 \pmod{3} .

3. Divisibility by 167:
- A similar argument holds for 167 167 , as ab(mod167) a \equiv b \pmod{167} ensures a2b2(mod167) a^2 \equiv b^2 \pmod{167} .

### Finding Smallest n n :

To ensure divisibility by each prime factor, a a and b b must be congruent modulo 4 4 , 3 3 , and 167 167 . The smallest n n is determined by finding the largest possible size of a set of integers such that no two numbers satisfy these congruences.

Using the Chinese Remainder Theorem, the number of distinct groups of residues for modulo 12 12 (lcm of 4 4 and 3 3 ) and modulo 167 167 can efficiently compute the total size:

Number of groups modulo 12=200412=167, \text{Number of groups modulo } 12 = \frac{2004}{12} = 167,
Number of groups modulo 167=2004167=12. \text{Number of groups modulo } 167 = \frac{2004}{167} = 12.

By the Chinese Remainder Theorem, the number of different congruence classes modulo 2004 2004 can be calculated as:

20044×20043×2004167=3×4×1=12. \frac{2004}{4} \times \frac{2004}{3} \times \frac{2004}{167} = 3 \times 4 \times 1 = 12.

To ensure that at least one pair (a,b)(a, b) exists with congruence, the subset must have an integer greater than 12 elements. Hence:

n=(200412+1)=1003. n = \left( \frac{2004}{12} + 1 \right) = 1003.

Thus, the smallest size n n of a subset where the condition holds is:
1003. \boxed{1003}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.