========= 180 ========== ММ180 (13 баллов)
Назовем натуральное число "трижды нечетным", если само число, сумма его делителей и сумма делителей суммы его делителей нечетны. Может ли "трижды нечетное" число быть кратно 821?
РешениеПриведу решение Олега Полубасова.
ОбсуждениеЭта задачка - побочный продукт другой, сформулированной в обсуждении ММ141. В попытке отыскать натуральные
, для которых
и возникли "трижды нечетные числа".
Трудность задачи отыскания чисел, нарушающих "правило трех сигм"
вызвана следующими обстоятельствами:
Пусть искомое
кратно 3. Тогда
(для нечетности
число
должно быть кратно 9). Если
, то
Тогда уже
. Аналогичная оценка проходит и для случая, когда
кратно большей четной степени 3.
Значит, искомое
не должно быть кратно 3.
Точно так же
не должно быть кратно 3.
Но как это обеспечить? Как известно, искомое
должно быть произведением четных степеней простых чисел. Однако, если среди сомножителей будет хотя бы один вида
, где
,
станет кратным трем.
Один способ справиться с указанной бедой - допускать в
исключительно сомножители вида
, где
.
Но для
, сравнимых с 2 по модулю 3.
будет сравнимо с 1. Подобрав другие сомножители так, чтобы
вошло в разложение
во второй степени мы инициируем появление множителя 3 у
, что не оставляет практических шансов на выполнение искомого неравенства.
Я пытался найти такие
, что все простые множители входят в разложение
в степенях, не сравнимых 2 по модулю 3, но тщетно.
Другой способ - изначально рассматривать такие
, в разложение которых простые множители входят не во вторых, а в бОльших четных степенях. Но тогда простые множители
очень быстро растут и к ним очень тяжело подбирать пары, чтобы сделать
квадратом. Кроме того, это никак не гарантирует от появления множителя 3 у
.
Некоторые участники высказали мнение, что цена ММ180 завышена. Вполне допускаю, что так оно и есть: я подсознательно спроецировал на нее усилия и потуги, кратко описанные выше, но имеющие к ММ180 лишь косвенное отношение.
Однако, вернемся к ММ180. Откуда взялось число 821? Дело в том, что трижды нечетные числа представлены в OEIS. Это нечетные члены эверестовской последовательности
A008848 (а теперь это еще и последовательность
A231484). 821 - наименьший простой множитель, отсутствующий в A008848 и входящий в трижды нечетные из моей коллекции.
Приведу несколько рекордных трижды нечетных чисел, кратных 821:
Самое большое - 2153829155085255043614891212240804954296290781551228459130025646030373396031813892179848131295024231966337511684848286216390330422 \798784638792856220500360869569340697854169364206477035521273548548065039909123747445604084225. В этом монстре 223 десятичных знака.
Самым маленьким (не в смысле величины, а в смысле количества простых сомножителей в
) из найденных является число
.
Как и ряд участников, я тоже попытался найти трижды нечетные числа, кратные 821, в каноническом разложении которых присутствуют лишь два сомножителя, т.е найти решение диофантова уравнения
, где
- простое, а
.
Это уравнение легко (домножением на 4 и заменой
сводится к обобщенному уравнению Пелля
(1).
В отличие от обычного уравнения Пелля, обобщенное разрешимо не всегда. Но это замечание не относится к уравнениям вида
. Ведь у них всегда есть тривиальное решение
, а значит и бесконечное множество решений.
В частности, для уравнения (1) имеется целых две бесконечных серии решений:
Для одной серии
. В этой серии нет подходящих решений, поскольку
всегда кратно 3.
Для другой серии
. В ней не наблюдается каких либо закономерностей среди делителей чисел
и я надеялся обнаружить среди решений подходящие. Но проверив первые 600 чисел
(последние имеют по несколько десятков тысяч десятичных цифр) не нашел ни одного простого.
Решая аналогичные уравнения, но не для числа 821, а, например, для чисел 7, 13, 31, 37 (для 37 удалось найти сразу 4 подходящих решения) можно получить трижды нечетные числа, являющиеся произведением квадратов двух простых чисел. Например,
или
.
Все простые числа, для которых нашлось решение, имеют вид
. У меня уже было сложилось впечатление, что это вовсе не случайно, а специально для того чтобы затруднить поиск чисел, для которых
Но в этот момент я нашел нетривиальное решение уравнения
с простым
. Найти точное значение
для 2433-значного
я не смог, но оценка
- рекорд для трижды нечетных
.
Под занавес обсуждения выделю вопросы, связанные с ММ141 и ММ180, ответы на которые пока не удалось найти:
1. Является ли равенство
единственным нетривиальным примером соотношения
?
2. Существуют ли
, для которых
?
3. Существуют ли "четырежды нечетные" числа?
НаградыЗа ММ180 Олег Полубасов получает 15 призовых баллов, Виктор Филимоненков, Анатолий Казмерчук, Алексей Волошин, Николай Дерюгин, Евгений Гужавин и Сергей Половинкин - по 13 призовых баллов.
Эстетическая оценка задачи 4.9 балла