Конкурсная задача ММ216（10баллов）
Наанатуракасамариаитталноееаетмм、есиинимикеиентеоистрннекроауаЛабаонртиремтотнмеуиутк。
1. Доказать, что все праймориалы красивы.
2. Верно ли, что все факториалы красивы?
3.控制7？
4. Сколько существует красивых чисел вида 7k个？
Решение
Привожу решенияОлега ПолубасоваиВладислава Франка.
Обсуждение
Ход 22-го марафонского турнира все более напоминает картину предыдущего: достаточно дружный старт, а к середине начинается выпадение участников.Остается надеяться, что на этот раз к заключительным задачам притормозившие марафонцы вернутся на дистанцию. Основание для таких надежд есть - ведь все последующие задачи опять про приглянувшиеся большинству марафонцев многогранники.
Так или иначе, на ММ216 получено всего 4 решения. А обоснованный ответ на все пункты задачи имеется и вовсе в двух из них.Соглашусь, что аккуратные обоснования немного (а если пойти длинным путем то и весьма) муторны.列支敦士登第14条、第21条等， резко усложнив для себя 3-й пункт задачи.
Отмечу, что факториалы степеней двойки (и последующих чисел вплоть до первого простого) не являются красивыми, начиная 8!, даже если предшествующее степени двойки число является простым числом Мерсенна (как собственно и происходит для 8). Вообще, среди факториалов довольно много некрасивых (в первой тысяче, например, 345) и это совсем не обязательно числа из диапазона [2k个..p<p米-1] ，ГДеp<p米-1<2k个<p米.
КраситхбиселнебаовOEIS。Я восполнил этот пробел -A262981型. (а Антон Никонов дополнил, то что я восполнил.) Назовемнаи。Такие числа приведены вA005179号.
Антон Никонов высказал два предположения:
1. Стартуя с произвольного натурального числа и переходя к родительскому, мы рано или поздно доберемся до красивого числа.
Например, 7 →64→7560, и мы пришли к красивому числу.
2. Родительское число красивого числа само красиво.
Исходя из этих предположений Антон ввел примитивные красивые числа: 1,2,6,8,9,18,20,30,45,…
Формулируя ММ216, я надеялся, что получу не предположения 1 и 2, а доказанные утверждения 1 и 2. Увы…
Несмотря на отсутствие доказательства, 1-я гипотеза не вызывает у меня ни малейших сомнений, а вторая кажется весьма правдоподобной.
Еще одно предположение: произведение взаимно простых красивых чисел красиво.
Награды
За решение и обобщение задачи мм216 участникам начислены следующие призовые баллы:
Олег Полубасов - 13:
Владислав Франк - 11;
Антон Никонов - 9;
Анатолий Казмерчук - 6;
Эстетическая оценка задачи - 4.4 балла
