Элементарные границы цифровых сумм степеней, факториалов и НОК

Основная информация

• ID статьи: 2511.15850
• Название: Elementary Bounds on Digital Sums of Powers, Factorials, and LCMs
• Автор: David G. Radcliffe
• Классификация: math.NT (теория чисел)
• Дата публикации: 19 ноября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2511.15850

Аннотация

В статье доказано, что когда $\log(d)/\log(b)$ иррационально, $b$-адическая цифровая сумма $a^n$ растёт по крайней мере логарифмически, где $d$ — наименьший делитель $a$, удовлетворяющий условию $\gcd(a/d, b) = 1$. Методология исследования использует только элементарную теорию чисел и может быть применена к широкому классу последовательностей, включая факториалы и $\Lambda(n) = \text{lcm}(1, 2, \ldots, n)$. В заключение статьи приводится иллюстративное доказательство известного результата: $b$-адическая цифровая сумма $a^n$ стремится к бесконечности тогда и только тогда, когда $\log(a)/\log(b)$ иррационально.

Исследовательский контекст и мотивация

Основная проблема

Основная проблема, изучаемая в данной статье, восходит к вопросу, поставленному польским математиком Серпинским в 1970 году: доказать, что десятичная цифровая сумма $2^n$ стремится к бесконечности при возрастании $n$. Хотя эта проблема кажется простой, она имеет глубокое теоретико-числовое значение.

Значимость проблемы

1. Вызов немонотонности: Хотя $2^n$ растёт быстро, последовательность его цифровых сумм не является монотонно возрастающей (например, цифровая сумма $2^4=16$ равна 7, а цифровая сумма $2^5=32$ равна 5), поэтому доказательства неограниченности недостаточно для установления стремления к бесконечности.
2. Универсальность: Проблема применима не только к $2^n$, но и к общему случаю $a^n$ в произвольной системе счисления $b$, что имеет широкое теоретическое значение.
3. Теория распределения цифр: Хотя предполагается, что десятичная цифровая сумма $2^n$ приблизительно равна $4.5n\log_{10}2$ (на основе предположения о равномерном распределении цифр), эта более сильная гипотеза ещё не доказана.

Ограничения существующих исследований

• Senge-Straus (1973): Доказали, что $c_b(a^n) \to \infty$ тогда и только тогда, когда $\log(a)/\log(b)$ иррационально, но не дали нижних границ скорости роста.
• Stewart (1980): Доказали нижнюю границу $c_b(a^n) > \frac{\log n}{\log\log n + C} - 1$ при более общих условиях.
• Sanna (2015): Дали более сильные границы для факториалов и НОК: $s_b(n!) > C\log n\log\log\log n$.

Инновационные аспекты данной работы

Данная статья использует чисто элементарные теоретико-числовые методы (не опираясь на трансцендентную теорию чисел и другие глубокие инструменты), чтобы получить логарифмическую нижнюю границу $c_b(a^n) > C\log n$ при специфических условиях, и метод может быть обобщён на факториалы, НОК и другие последовательности.

Основные вклады

1. Установление логарифмических границ: При условии, что $\log(d)/\log(b)$ иррационально, доказано, что $c_b(a^n) > C\log n$ (теорема 4).
2. Систематизация элементарных методов: Разработаны элементарные техники доказательства, основанные на свойствах делимости, избегающие использования теоремы Бейкера и других инструментов трансцендентной теории чисел (в первых четырёх разделах).
3. Широкая применимость: Методология обобщена на:
   • Последовательности факториалов: $c_b(n!) > C\log n$ (теорема 5)
   • Последовательности НОК: $c_b(\Lambda_n) > C\log\log n$ (теорема 6)
4. Полная теоретическая картина: Раздел 5 использует теорему Бейкера для иллюстративного доказательства в общем случае, воспроизводя результаты Senge-Straus и Stewart.
5. Педагогическая ценность: Статья начинается с проблемы Серпинского и постепенно обобщается, предоставляя ясную интуицию и несколько упражнений, демонстрируя хорошую педагогическую методику.

Подробное описание методов

Определение задачи

Обозначения:

• $s_b(n)$: $b$-адическая цифровая сумма числа $n$
• $c_b(n)$: количество ненулевых цифр в $b$-адическом представлении $n$
• $\nu_p(n)$: показатель степени простого числа $p$ в разложении $n$
• Поскольку $c_b(n) \leq s_b(n) \leq (b-1)c_b(n)$, оба показателя асимптотически эквивалентны, поэтому основное внимание уделяется $c_b(n)$

Основная задача: Для данной последовательности положительных целых чисел $(a_n)$ определить нижние границы скорости роста $c_b(a_n)$.

Основная техническая схема

1. Базовая идея (раздел 2: десятичный случай $2^n$)

Ключевое наблюдение: Положительное кратное целого числа не может быть меньше самого этого числа.

Метод конструкции:

• Запишем десятичное представление $2^n$ как $2^n = \sum_{i=0}^{\infty} d_i 10^i$
• Рассмотрим $2^n \bmod 10^{e(k)}$ (последние $e(k)$ цифр)
• Если $2^n$ делится на $2^{e(k)}$, то число, образованное этими $e(k)$ цифрами, также делится на $2^{e(k)}$
• Методом индукции разделим цифры на непересекающиеся блоки, каждый из которых содержит по крайней мере одну ненулевую цифру

Теорема 1 (формализация): Пусть последовательность $(e(k))_{k\geq 1}$ удовлетворяет условиям $e(1) \geq 1$ и $2^{e(k)} > 10^{e(k-1)}$. Если $n$ делится на $2^{e(k)}$ но не делится на 10, то $c_{10}(n) \geq k$.

Следствие 1: Для положительного целого числа $a$, делящегося на 2 но не на 10, имеем $c_{10}(a^n) \geq \log_4(n)$.

Техника доказательства: Выбираем $e(k) = 4^{k-1}$, тогда $2^{e(k)} = 2^{4^{k-1}} > 10^{4^{k-2}} = 10^{e(k-1)}$ (при $k \geq 2$).

2. Обобщение на произвольные системы счисления (раздел 3)

Теорема 2 (версия для произвольной системы счисления): Пусть $b \geq 2$ не является степенью простого числа, $p$ — простой делитель $b$. Если $\nu_p(n) \geq e(k)$ и $b \nmid n$, то $c_b(n) \geq k$.

Ключевое инновационное решение — корректирующая функция $\xi$: Для обработки конечных нулей (т.е. случая $b | n$) вводится функция: $\xi(n) = \nu_p(n) - \nu_q(n) \cdot \frac{\nu_p(b)}{\nu_q(b)}$

где $p, q$ — различные простые делители $b$. Эта функция удовлетворяет свойству $\xi(b^r u) = \xi(u)$, т.е. нечувствительна к конечным нулям.

Теорема 3 (улучшенная версия): Если $\xi(n) \geq e(k)$, то $c_b(n) \geq k$. В частности, если $\xi(a_n) \to \infty$, то $c_b(a_n) \to \infty$.

3. Основной результат (теорема 4)

Теорема 4: Пусть $a \geq 2, b \geq 2$. Обозначим через $d$ наименьший делитель $a$ такой, что $\gcd(a/d, b) = 1$. Если $\log(d)/\log(b)$ иррационально, то: $c_b(a^n) > C\log n$ где $C > 0$ зависит только от $a$ и $b$.

Схема доказательства:

1. Разложим $b$ и $d$ на простые множители: $b = p_1^{e_1} \cdots p_t^{e_t}$, $d = p_1^{f_1} \cdots p_t^{f_t}$
2. Если $\log(d)/\log(b)$ иррационально, то отношения $f_i/e_i$ не все равны
3. Существуют простые числа $p = p_i, q = p_j$ такие, что $f_i/e_i > f_j/e_j$, откуда $\xi(a) > 0$
4. Выбираем $r = \lceil \log_p b \rceil$, $e(k) = r^{k-1}$
5. Для данного $n$ берём $k = \lceil \log_r \xi(a^n) \rceil = \lceil \log_r(n\xi(a)) \rceil$
6. По теореме 3, $c_b(a^n) \geq k = \Theta(\log n)$

Обобщения и приложения

Последовательности факториалов (теорема 5)

Теорема 5: Если $b$ имеет простые делители $p, q$, удовлетворяющие условию $(p-1)\nu_p(b) \neq (q-1)\nu_q(b)$, то: $c_b(n!) > C\log n$

Ключевые моменты доказательства:

• Используем формулу Лежандра: $\nu_p(n!) = \frac{n - s_p(n)}{p-1}$
• Вычисляем $\xi(n!) = n\left(\frac{1}{p-1} - \frac{\nu_p(b)}{(q-1)\nu_q(b)} + o(1)\right) = \Theta(n)$
• Применяем теорему 3

Последовательности НОК (теорема 6)

Теорема 6: Если $b \geq 2$ не является степенью простого числа, то: $c_b(\Lambda_n) > C\log\log n$

Ключевые моменты доказательства:

• Используем $\nu_p(\Lambda_n) = \lfloor \log_p(n) \rfloor$
• Вычисляем $\xi(\Lambda_n) = \Theta(\log n)$
• Применяем теорему 3, получая $c_b(\Lambda_n) = \Theta(\log\log n)$

Полное доказательство для общего случая (раздел 5)

Используя теорему Бейкера (инструмент трансцендентной теории чисел), доказан наиболее общий результат:

Теорема 8: Если $\log(a)/\log(b)$ иррационально, то для достаточно больших $n$: $c_b(a^n) > \frac{\log n}{\log\log n + C}$

Стратегия доказательства:

1. Запишем $b$-адическое представление $a^n$ в виде блоков
2. Оценим отношение позиций соседних ненулевых цифр $m(i+1)/m(i)$
3. Построим линейную форму $\Lambda = -n\log a + (m-m(i))\log b + \log q$
4. Применим теорему Бейкера для получения нижней границы $|\Lambda|$
5. Через цепочку неравенств выведем $m(i+1)/m(i) < C\log n$
6. Суммируя по всем отношениям, получим окончательный результат

Экспериментальная установка

Примечание: Данная статья представляет собой чисто теоретическую математическую работу и не включает экспериментальную верификацию. В этом разделе описаны численные примеры и теоретические проверки, приведённые в статье.

Численные примеры

Статья иллюстрирует концепции конкретными примерами:

1. Последовательность $2^n$ (OEIS A000079):
   • Первые 11 членов: 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, ...
2. Последовательность цифровых сумм (OEIS A001370):
   • Соответствующие цифровые суммы: 1, 2, 4, 8, 7, 5, 10, 11, 13, 8, 7, ...
   • Демонстрирует немонотонность
3. Графическая иллюстрация (рисунок 1):
   • $2^{103} = 10141204801825835211973625643008$
   • Разделение на блоки: 10141204801825835 | 2119736256 | 43008
   • Каждый блок содержит по крайней мере одну ненулевую цифру

Методы теоретической верификации

1. Математическая индукция: Доказательства теорем 1-3 используют метод математической индукции
2. Конструктивное доказательство: Через явное построение последовательности $e(k)$ доказывается существование
3. Асимптотический анализ: Используются нотации $O$ и $\Theta$ для анализа скорости роста

Упражнения

Статья предоставляет два упражнения для проверки понимания читателем:

Упражнение 1: Доказать, что каждая степень числа 3 имеет кратное $m$ (не делящееся на 10) такое, что $c_{10}(m) = 2$.

Упражнение 2: Доказать, что количество ненулевых десятичных цифр $n$-го числа Фибоначчи стремится к бесконечности.

Результаты экспериментов

Сводка основных теоретических результатов

Сравнение с существующими результатами

1. Senge-Straus (1973):
   • Результат: $c_b(a^n) \to \infty \Leftrightarrow \log(a)/\log(b)$ иррационально
   • Улучшение в данной работе: получены явные логарифмические нижние границы
2. Stewart (1980):
   • Результат: $c_b(a^n) > \frac{\log n}{\log\log n + C} - 1$ (при общих условиях)
   • Связь с данной работой: теорема 8 воспроизводит этот результат, теорема 4 даёт более сильную границу при более строгих условиях
3. Sanna (2015):
   • Результат: $s_b(n!) > C\log n\log\log\log n$
   • Связь с данной работой: теорема 5 даёт более слабую, но более элементарную границу $c_b(n!) > C\log n$

Методологические преимущества

Ключевые находки

1. Мощь функции $\xi$: Корректирующая функция $\xi$ элегантно решает проблему конечных нулей и является ключом к обобщению метода.
2. Сущность условия иррациональности:
   • $\log(d)/\log(b)$ иррационально эквивалентно тому, что отношения $f_i/e_i$ не все равны
   • Это гарантирует $\xi(a) > 0$, откуда $\xi(a^n)$ растёт линейно
3. Специфичность последовательностей:
   • Факториалы: $\xi(n!) = \Theta(n)$ → $c_b(n!) = \Theta(\log n)$
   • НОК: $\xi(\Lambda_n) = \Theta(\log n)$ → $c_b(\Lambda_n) = \Theta(\log\log n)$
   • Отражает внутреннюю структурную разницу между последовательностями
4. Необходимость условия: Если $\log(a)/\log(b) = r/s \in \mathbb{Q}$, то $a^{ns} = b^{nr}$ имеет только одну ненулевую цифру, что показывает необходимость условия иррациональности.

Связанные работы

Историческое развитие

1. Sierpiński (1970):
   • Поставил вопрос о стремлении к бесконечности десятичной цифровой суммы $2^n$
   • Открыл классическую проблему исследования цифровых сумм
2. Senge & Straus (1973):
   • Впервые дали необходимое и достаточное условие: $c_b(a^n) \to \infty \Leftrightarrow \log(a)/\log(b)$ иррационально
   • Использовали теорию PV-чисел (чисел Пизо-Виджаярагхавана)
   • Не дали количественных границ скорости роста
3. Baker (1975):
   • Развил трансцендентную теорию чисел линейных форм логарифмов
   • Предоставил эффективные нижние границы, ставшие важным инструментом для последующих исследований
4. Stewart (1980):
   • Впервые дал количественную границу: $c_b(a^n) > \frac{\log n}{\log\log n + C} - 1$
   • Использовал теорему Бейкера
   • Метод был достаточно техническим и сложным для понимания
5. Sanna (2015):
   • Расширил исследование на факториалы и НОК
   • Доказал $s_b(n!) > C\log n\log\log\log n$
   • Использовал теорему о распределении простых чисел и тонкие теоретико-числовые оценки

Связанные направления исследований

1. Нормальность цифр:
   • Исследование распределения цифр в различных системах счисления
   • Гипотеза: десятичная цифровая сумма $2^n$ асимптотически равна $4.5n\log_{10}2$ (ещё не доказана)
2. Цифровые суммы других последовательностей:
   • Числа Фибоначчи (упражнение 2 затрагивает этот вопрос)
   • Степени простых чисел
   • Значения многочленов
3. Многомерные обобщения:
   • Степени нескольких переменных
   • Представления в смешанных системах счисления
4. Вычислительная сложность:
   • Алгоритмическая эффективность вычисления цифровых сумм
   • Связи с теорией автоматов

Позиционирование данной работы

Уникальный вклад данной статьи заключается в:

1. Методологическом инновационном подходе: Систематически развиты элементарные методы, основанные на делимости, заполняя пробел между элементарными методами и глубокими инструментами.
2. Единой схеме: Через функцию $\xi$ установлена единая схема обработки, применимая к степеням, факториалам и НОК.
3. Педагогической ценности: Предоставлен ясный путь от конкретной проблемы к общей теории, пригодный для обучения.
4. Улучшении результатов: При специфических условиях получены более сильные границы, чем у Stewart ($\log n$ против $\frac{\log n}{\log\log n}$).

Заключение и обсуждение

Основные выводы

1. Центральная теорема: При условии иррациональности $\log(d)/\log(b)$ количество ненулевых $b$-адических цифр $a^n$ растёт по крайней мере со скоростью $C\log n$.
2. Широкая применимость: Метод применим не только к степеням, но и к факториалам (рост $\log n$) и НОК (рост $\log\log n$).
3. Элементарность: Все результаты первых четырёх разделов используют только элементарную теорию чисел без инструментов трансцендентной теории.
4. Полнота: Раздел 5 с использованием теоремы Бейкера даёт полное доказательство в наиболее общем случае, воспроизводя известные оптимальные результаты.

Ограничения

1. Ограничения условий:
   • Теорема 4 требует более сильного условия $\log(d)/\log(b)$ иррационально, чем теорема 8 ($\log(a)/\log(b)$ иррационально)
   • Пример: при $a=6, b=10$ имеем $d=2$, $\log(2)/\log(10)$ иррационально, теорема 4 применима
   • Но при $a=15, b=10$ имеем $d=3$, $\log(3)/\log(10)$ иррационально, но это может быть не оптимальным условием
2. Сила границ:
   • Для факториалов граница $c_b(n!) > C\log n$ слабее, чем результат Sanna $s_b(n!) > C\log n\log\log\log n$
   • Цена элементарности — более слабые границы
3. Неявные константы:
   • Хотя доказано существование константы $C > 0$, не дано явного выражения для $C$
   • Для практических приложений может потребоваться дополнительное вычисление
4. Отсутствие верхних границ:
   • Статья сосредоточена на нижних границах, верхние границы не обсуждаются
   • Например, верно ли, что $c_b(a^n) = O(n)$?
5. Цифровая сумма vs количество ненулевых цифр:
   • Основные результаты касаются $c_b(n)$ (количество ненулевых цифр)
   • Хотя асимптотически эквивалентно $s_b(n)$ (цифровая сумма), константные множители могут быть важны

Направления будущих исследований

1. Улучшение границ:
   • Можно ли элементарными методами получить границу $c_b(a^n) = \Omega(\log n \log\log n)$?
   • Можно ли сократить разрыв с результатом Sanna?
2. Явные константы:
   • Вычислить явное выражение для константы $C$
   • Дать точные оценки для малых значений $a, b$
3. Обобщение на другие последовательности:
   • Числа Фибоначчи (упражнение 2 даёт подсказку)
   • Числа Каталана
   • Последовательности простых чисел
4. Распределение цифр:
   • Доказать или опровергнуть гипотезу о равномерном распределении цифр
   • Исследовать асимптотические формулы для цифровых сумм
5. Вычислительные приложения:
   • Разработать эффективные алгоритмы вычисления цифровых сумм
   • Приложения в криптографии и теории кодирования
6. Многомерные обобщения:
   • Исследовать цифровые суммы чисел вида $a^m b^n$
   • Представления в смешанных системах счисления

Глубокая оценка

Достоинства

1. Методологическое инновационное решение

• Сочетание элементарности и глубины: Успешно решена проблема, казавшаяся требующей глубоких инструментов, используя чистые элементарные методы, демонстрируя мощь элементарной теории чисел.
• Единая схема: Введение функции $\xi$ — это элегантное инновационное решение, которое изящно обрабатывает проблему конечных нулей, делая метод широко применимым.
• Конструктивность: Доказательства полностью конструктивны, в принципе позволяя получить явные границы для любого $n$.

2. Теоретический вклад

• Количественное улучшение: При специфических условиях улучшено с $\frac{\log n}{\log\log n}$ до $\log n$, хотя условия более строгие, границы более сильные.
• Обобщаемость: Впервые единым элементарным методом обработаны три класса последовательностей: степени, факториалы, НОК.
• Полнота: Предоставлены как элементарные доказательства, так и применение теоремы Бейкера в разделе 5, полная теоретическая картина.

3. Качество написания

• Ясная структура: От частного к общему, от конкретного к абстрактному, логика прозрачна.
• Интуитивные примеры: Рисунок 1 и другие конкретные примеры помогают пониманию.
• Педагогическая ориентация: Включены упражнения, пригодна для обучения.
• Исторический контекст: Достаточно полно представлена история проблемы и связанные работы.

4. Технические детали

• Строгость: Все теоремы имеют полные доказательства без пропусков.
• Обработка граничных случаев: Тщательно обработаны различные граничные случаи (как $k=1$, так и конечные нули).
• Система обозначений: Введённые обозначения ($c_b, s_b, \nu_p, \xi$) ясны и последовательны.

Недостатки

1. Теоретические ограничения

• Сила условий: Условие теоремы 4 сильнее, чем у теоремы 8, ограничивая область применения.
  • Пример: при $a=15, b=10$ имеем $\log(15)/\log(10)$ иррационально, но нужно проверить, что $\log(3)/\log(10)$ иррационально.
• Субоптимальность границ: Для факториалов граница слабее известных лучших результатов.
  • Данная работа: $c_b(n!) > C\log n$
  • Sanna: $s_b(n!) > C\log n\log\log\log n$
• Отсутствие верхних границ: Не обсуждаются верхние границы $c_b(a^n)$, теоретическая картина неполна.

2. Технические детали

• Скрытые константы: Константа $C$ зависит от $a, b$, но явное выражение не дано, неудобно для практических приложений.
• Использование асимптотических обозначений: Частое использование $\Theta, O, o$ обозначений, хотя и лаконично, но иногда скрывает точные соотношения.
• Выбор функции $\xi$: Определение $\xi$ зависит от выбора простых чисел $p, q$, разные выборы могут дать разные границы, статья недостаточно обсуждает этот момент.

3. Техники доказательства

• Неконструктивность индукции: Хотя доказательства конструктивны, процесс индукции затрудняет практическое вычисление $C$.
• Использование теоремы Бейкера: Раздел 5 использует теорему Бейкера как "чёрный ящик", контрастируя с элементарностью предыдущих разделов, хотя автор ясно это указывает.

4. Практическая применимость

• Вычислительная эффективность: Не обсуждается алгоритмическая эффективность практического вычисления $c_b(a^n)$.
• Численная верификация: Отсутствуют конкретные численные примеры для проверки тесноты теоретических границ.
• Сценарии приложений: Не обсуждаются практические приложения (например, в криптографии, теории кодирования).

Оценка влияния

Вклад в область

1. Методологический вклад: Предоставляет новый набор элементарных инструментов для проблем цифровых сумм, потенциально вдохновляя исследование других проблем.
2. Учебный ресурс: Может служить отличным учебным материалом, демонстрируя, как развить глубокую теорию из простой проблемы.
3. Мостовая роль: Связывает элементарные методы и глубокие инструменты (теорема Бейкера), предоставляя точку входа для исследователей с разным фоном.

Практическая ценность

1. Теоретическая ценность выше практической: Преимущественно чистый математический теоретический вклад, прямая практическая применимость ограничена.
2. Потенциальные приложения:
   • Анализ генераторов псевдослучайных чисел
   • Исследование цифровых свойств в криптографии
   • Теория вычислительной сложности

Воспроизводимость

1. Полная воспроизводимость: Все доказательства полны, читатель может пошагово проверить.
2. Простота реализации: Методы, основанные на делимости, легко программируются.
3. Упражнения для закрепления: Предоставленные упражнения помогают читателю закрепить понимание.

Сценарии применения

1. Академические исследования

• Исследователи теории чисел: Предоставляет новые технические инструменты, применимые к связанным проблемам.
• Комбинаторика: Проблемы цифровых сумм имеют глубокие связи с комбинаторными структурами.
• Вычислительная теория чисел: Предоставляет теоретическую базу для разработки алгоритмов.

2. Образовательные сценарии

• Курсы бакалавриата/магистратуры: Отличный пример преподавания теории чисел.
• Математические олимпиады: Проблема Серпинского подходит для олимпиадных задач.
• Научно-популярные работы: Пример развития от простой проблемы к глубокой теории.

3. Последующие исследования

• Направления обобщения: Предоставляет шаблон для исследования цифровых сумм других последовательностей.
• Направления улучшения: Основа для поиска более сильных границ.
• Междисциплинарные связи: Может иметь связи с динамическими системами и эргодической теорией.

Общая оценка

Это отличная чистая математическая статья со следующими выдающимися характеристиками:

1. Теоретическая глубина: Хотя используются элементарные методы, получены значимые новые результаты.
2. Методологическое инновационное решение: Введение функции $\xi$ и установление единой схемы — это подлинное инновационное решение.
3. Качество написания: Ясное, строгое, богатое педагогическим содержанием, образец математического письма.
4. Полнота: Как элементарные доказательства, так и применение глубоких инструментов, полная теоретическая картина.

Основная ценность:

• Для исследователей теории чисел: предоставляет новые инструменты
• Для преподавателей: предоставляет отличный учебный материал
• Для студентов: предоставляет путь обучения

Основные недостатки:

• Границы в некоторых случаях не оптимальны
• Отсутствуют явные константы и численная верификация
• Практическая применимость относительно ограничена

Рекомендуемая оценка: ⭐⭐⭐⭐☆ (4.5/5)

• Настоятельно рекомендуется исследователям теории чисел и студентам
• Ограниченная ценность для исследователей прикладных направлений

Библиография

Ключевые цитируемые работы:

1. Andrica et al. (2020): Свойства показателей в теории групп, предоставляет теоретическую базу для НОК.
2. Baker (1975): Transcendental Number Theory, классический учебник по трансцендентной теории чисел, источник теоремы Бейкера.
3. Dickson (1919): History of the Theory of Numbers, классическая история теории чисел, содержит формулу Лежандра.
4. Sanna (2015): "On the sum of digits of the factorial", сильнейший известный результат для цифровых сумм факториалов.
5. Senge & Straus (1973): "PV-numbers and sets of multiplicity", впервые дали необходимое и достаточное условие.
6. Sierpiński (1970): 250 Problems in Elementary Number Theory, исходный источник проблемы.
7. Stewart (1980): "On the representation of an integer in two different bases", впервые дали количественные границы.

Резюме: Через искусные элементарные методы данная статья достигла значимого прогресса в классической проблеме цифровых сумм, обладая как теоретической глубиной, так и педагогической ценностью, представляя собой отличную работу в области теории чисел.