Совершенное тотиентное число

Совершенное тотиентное число — это целое число, которое равно сумме его итерированных тотиентов (значений функции Эйлера). То есть, мы применяем функцию Эйлера к числу n и последовательно ко всем получающимся тотиентам, пока не достигнем числа 1, последовательно складывая получающиеся числа. Если сумма равна n, то n является совершенным тотиентным числом. Алгебраически, если

${\displaystyle n=\sum _{i=1}^{c+1}\varphi ^{i}(n),}$

где

${\displaystyle \varphi ^{i}(n)=\left\{{\begin{matrix}\varphi (n),i=1\\\varphi (\varphi ^{i-1}(n)),i\neq 1\end{matrix}}\right.}$

рекурсивная итерированная функция Эйлера, а c — это целое число, такое, что

${\displaystyle \displaystyle \varphi ^{c}(n)=2,}$

то n является совершенным тотиентным числом.

Совершенное тотиентное число по определению является нечётным.

Несколько первых совершенных тотиентных чисел

3, 9, 15, 27, 39, 81, 111^[англ.], 183, 243^[англ.], 255^[англ.], 327^[англ.], 363^[англ.], 471, 729, 2187, 2199, 3063, 4359, 4375, … (последовательность A082897 в OEIS).

Например, начиная с 327 вычисляем φ(327) = 216, φ(216) = 72, φ(72) = 24, φ(24) = 8, φ(8) = 4, φ(4) = 2, φ(2) = 1, получаем 216 + 72 + 24 + 8 + 4 + 2 + 1 = 327.

Числа вида a(n)=2^(2^n)-1

Несколько чисел вида ${\displaystyle a(n)=2^{2^{n}}-1}$ (последовательность A051179 в OEIS), такие, как 255^[англ.], 65 535^[англ.], 4 294 967 295^[англ.] и 18 446 744 073 709 551 615, являются совершенными тотиентными числами, и, кроме того, являются максимальными беззнаковыми целыми числами соответственно 8-, 16-, 32- и 64-битных переменных. Более ранние числа 3 и 15 из той же последовательности также являются совершенными тотиентными числами.

Степени тройки

Можно заметить, что многие совершенные тотиентные числа делятся на 3. Фактически, число 4375 является наименьшим совершенным тотиентным числом, не делящимся на 3. Все степени 3 являются совершенными тотиентными числами, что можно показать по индукции, используя факт

${\displaystyle \displaystyle \varphi (3^{k})=\varphi (2\times 3^{k})=2\times 3^{k-1}.}$

Венкатараман (1975) нашёл другое семейство совершенных тотиентных чисел — если p = 4×3^k+1 простое, то 3p совершенное тотиентное число. Значения k, ведущие к совершенным тотиентным числам этим способом:

0, 1, 2, 3, 6, 14, 15, 39, 201, 249, 1005, 1254, 1635, … (последовательность A005537 в OEIS).

Более обще, если p является простым числом, большим 3, и 3p является совершенным тотиентным числом, то p ≡ 1 (mod 4)^[1]. Не все p этого вида приводят к совершенным тотиентным числам. Так, 51 совершенным тотиентным числом не является. Иануччи, Денг и Коэн^[2] показали, что если 9p является совершенным тотиентным числом, то p является простым и имеет одну из трёх форм, перечисленных в статье. Неизвестно, имеются ли совершенные тотиентные числа вида 3^kp, где p является простым и k > 3.

Примечания

1. Mohan, Suryanarayana, 1982, с. 101–105.
2. Iannucci, Deng, Cohen, 2003, с. 03.4.5.

Литература

• Laureano Pérez-Cacho Villaverde. Sobre la suma de indicadores de ordenes sucesivos // Revista Matematica Hispano-Americana. — 1939. — Т. 5, вып. 3. — С. 45–50.

• Richard K. Guy. Unsolved Problems in Number Theory. — New York: Springer-Verlag, 2004. — С. §B41. — ISBN 0-387-20860-7.

• Douglas E. Iannucci, Moujie Deng, Graeme L. Cohen. On perfect totient numbers // Journal of Integer Sequences. — 2003. — Т. 6, вып. 4.

• Florian Luca. On the distribution of perfect totients // Journal of Integer Sequences. — 2006. — Т. 9, вып. 4. — С. 06.4.4. Архивировано 11 августа 2017 года.

• A. L. Mohan, D. Suryanarayana. Perfect totient numbers // Number theory (Mysore, 1981). — Lecture Notes in Mathematics, vol. 938, Springer-Verlag, 1982.

• T.Venkataraman. Perfect totient number // The Mathematics Student. — 1975. — Т. 43. — С. 178.

Замечание: Оригинал статьи включает материал из статьи Perfect Totient Number с сайта PlanetMath c лицензией Creative Commons Attribution-ShareAlike 3.0 Unported