Maths Olympiad Prep

Library / Mathematical Olympiad in Ukraine, Fourth Round (March 24, ) /8 of 11

Mathematical Olympiad in Ukraine, Fourth Round (March 24, ), 2010

Number theory Difficulty 6.3 National Olympiad Prove it Ukraine

Find the least possible value kk for which there exist 20102010 distinct natural numbers that satisfy the following condition: the product of any kk numbers from the chosen set is divisible by the product of the rest 2010−k2010 - k numbers.

Solution

From one hand, kk cannot be less than 10061006 (otherwise, the product of the kk smallest numbers from our set is less than the product of the 2010−k2010 - k numbers which are left). We construct an example for k=1006k = 1006 that will do.

Let p1,p2,…,p2010p_1, p_2, \dots, p_{2010} be 20102010 distinct prime numbers and ai=p1p2…pi−1pi+1…p2010=p1p2…p2010pia_i = p_1 p_2 \dots p_{i-1} p_{i+1} \dots p_{2010} = \frac{p_1 p_2 \dots p_{2010}}{p_i}. Then, the product of 10061006 numbers an1,an2,…,an1006a_{n_1}, a_{n_2}, \dots, a_{n_{1006}} equals
(p1p2…p2010)1006pn1pn2…pn1006=p1a1p2a2…p2010a2010, \frac{(p_1 p_2 \dots p_{2010})^{1006}}{p_{n_1} p_{n_2} \dots p_{n_{1006}}} = p_1^{a_1} p_2^{a_2} \dots p_{2010}^{a_{2010}},
where the degree aia_i of each prime number pip_i, 1≤i≤20101 \le i \le 2010, equals 10051005 or 10061006, which is greater than 10051005.

By analogy, the product of the rest 10041004 numbers can be expressed as p1β1p2β2…p2010β2010p_1^{\beta_1} p_2^{\beta_2} \dots p_{2010}^{\beta_{2010}}, where each degree βi\beta_i, 1≤i≤20101 \le i \le 2010, equals 10031003 or 10041004, which is less than 10041004.

To finish the proof, note that if i≠ji \ne j, then ai=p1p2…p2010pj≠p1β1p2β2…p2010β2010=aja_i = \frac{p_1 p_2 \dots p_{2010}}{p_j} \ne p_1^{\beta_1} p_2^{\beta_2} \dots p_{2010}^{\beta_{2010}} = a_j, therefore, all {ai}\{a_i\} are distinct.

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.