Maths Olympiad Prep

Library / /43 of 44

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<k52m2m < k \le \frac{5}{2}m. Заметим, что счастливыми являются в точности числа 0,1,2,3,4,6,80, 1, 2, 3, 4, 6, 8. Действительно, при k8k \le 8 в этом можно убедиться прямой проверкой. Если же k9k \ge 9, то выберем максимальное число mm такое, что 2m<k2m < k. Тогда m4m \ge 4, и 52m2m+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, но 52mk\frac{5}{2}m \ge k, так как a5:b2a^5 : b^2. Значит, число kk — несчастливое.

Итак, если все степени вхождения простых чисел в bb счастливы, то bb удачно. В противном же случае, если b=pkbb = p^k b', где bb' не делится на pp и kk несчастливо (2m<k52m2m < k \le \frac{5}{2}m), то при a=pmba = 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, 2535>20102^5 \cdot 3^5 > 2010 и 55>20105^5 > 2010, каждое неудачное число, меньшее 20102010, принадлежит к одному из следующих непересекающихся классов:

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

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

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

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

5) числа вида 35q3^5q, где qq не делится на 33 и q8q \le 8 (поскольку 358<2010<35103^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. Тогда количество удачных чисел равно 200948=19612009 - 48 = 1961.

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 and solution reproduced as published; topic and difficulty added by this site.