Maths Olympiad Prep

Library / Russia — Regional Round /34 of 34

Russia — Regional Round

Number theory Difficulty 7.3 National Olympiad, round 2 Prove it Russia

Say that a positive integer bb is fortunate if for every positive integer aa, a number bb divides a2a^2 whenever b2b^2 divides a5a^5. Find the number of fortunate positive integers which are less than 20102010. (P. Kozhevnikov)

Натуральное число bb назовём удачным, если для любого натурального aa такого, что a5a^5 делится на b2b^2, число a2a^2 делится на bb. Найдите количество удачных натуральных чисел, меньших 20102010. (П. Кожевников)

Solution

Установим следующее описание удачных чисел.

Лемма. Число bb является удачным тогда и только тогда, когда каждое простое число входит в разложение bb на простые множители с одним из следующих показателей: 0,1,2,3,4,6,80, 1, 2, 3, 4, 6, 8.

Доказательство. Назовем целое неотрицательное число kk счастливым, если не существует такого целого mm, что 2m<k≤52m2m < k \le \frac{5}{2}m. Заметим, что счастливыми являются в точности числа 0,1,2,3,4,6,80, 1, 2, 3, 4, 6, 8. Действительно, при k≤8k \le 8 в этом можно убедиться прямой проверкой. Если же k≥9k \ge 9, то выберем максимальное число mm такое, что 2m<k2m < k. Тогда m≥4m \ge 4, и 52m≥2m+2=2(m+1)≥k\frac{5}{2}m \ge 2m+2 = 2(m+1) \ge k по выбору mm, то есть kk несчастливо. Осталось показать, что bb удачно тогда и только тогда, когда каждое простое число входит в разложение bb со счастливым показателем.

Пусть число bb неудачно, то есть a5:b2,a2:ba^5 : b^2, a^2 : b для некоторого aa. Тогда некоторое простое pp входит в разложение a2a^2 в меньшей степени, чем в разложение bb. Пусть pp входит в разложение aa и bb в степенях mm и kk соответственно; тогда 2m<k2m < k, но 52m≥k\frac{5}{2}m \ge k, так как a5:b2a^5 : b^2. Значит, число kk — несчастливое.

Итак, если все степени вхождения простых чисел в bb счастливы, то bb удачно. В противном же случае, если b=pkb′b = p^k b', где b′b' не делится на pp и kk несчастливо (2m<k≤52m2m < k \le \frac{5}{2}m), то при a=pmb′a = p^m b' число a5a^5 делится на b2b^2, а a2a^2 не делится на bb, и bb неудачно. Лемма доказана. □\Box

Подсчитаем теперь количество неудачных натуральных чисел, меньших 20102010. Согласно лемме, надо подсчитать количество чисел, имеющих простой делитель, входящий в разложение на простые множители с показателем 5,7,95, 7, 9 или более 99. Поскольку 210<2010<2112^{10} < 2010 < 2^{11}, 36<2010<373^6 < 2010 < 3^7, 25⋅35>20102^5 \cdot 3^5 > 2010 и 55>20105^5 > 2010, каждое неудачное число, меньшее 20102010, принадлежит к одному из следующих непересекающихся классов:

1) числа вида 25q2^5q, где qq — нечётное и q≤61q \le 61 (поскольку 25⋅61<2010<25⋅632^5 \cdot 61 < 2010 < 2^5 \cdot 63);

2) числа вида 27q2^7q, где qq — нечётное и q≤15q \le 15 (поскольку 27⋅15<2010<27⋅172^7 \cdot 15 < 2010 < 2^7 \cdot 17);

3) числа вида 29q2^9q, где q=1q = 1 или q=3q = 3 (поскольку qq нечетно, и 29⋅3<2010<29⋅52^9 \cdot 3 < 2010 < 2^9 \cdot 5);

4) число 2102^{10};

5) числа вида 35q3^5q, где qq не делится на 33 и q≤8q \le 8 (поскольку 35⋅8<2010<35⋅103^5 \cdot 8 < 2010 < 3^5 \cdot 10).

Итого мы получаем ровно 3131 число из класса 1, ровно 88 чисел из класса 2, ровно 22 числа из класса 3, ровно одно число из класса 4 и ровно 66 чисел из класса 5. Таким образом, общее количество неудачных чисел, меньших 20102010, равно 31+8+2+1+6=4831 + 8 + 2 + 1 + 6 = 48. Тогда количество удачных чисел равно 2009−48=19612009 - 48 = 1961.

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.