Если кто-то заинтересуется исследованием этого алгоритма и захочет поэкспериментировать с ним, то можно видоизменить второй шаг, делая в нем деление полученного четного числа на 2 и только потом возвращение к шагу 1. Это сократит ряд членов последовательности, приводящей к единице. Шаг 2. Если число нечетное, нужно умножить его на 3, затем прибавить 1 и результат поделить на 2. После чего перейти к шагу 3. Можно посмотреть, как изменится алгоритм, если на втором шаге умножать не на 3, а на другое простое нечетное число. Так уже на первых страницах повествования появились интересные и еще не решенные вопросы, которые ждут своих исследователей.

После лирического отступления с интересным алгоритмом вернемся к математическим операциям с натуральными числами. Все перечисленные ранее действия или операции называются бинарными (приставка би от слова два, по числу аргументов арифметической операции), так как в них всегда два исходных компонента: два слагаемых, уменьшаемое и вычитаемое, два сомножителя, делимое и делитель, основание и степень, два сравниваемых между собой числа. Для всех действий, кроме возведения в степень придуманы свои знаки операций, которые ставятся между исходными компонентами:

a+b; a-b; a·b; a:b; a^b; a<b; a>b; a=b.

Возведение в степень, аристократ среди действий с числами, показывается не с помощью специального знака, а особой позиционной записью a^b. Аристократизм этого действия проявляется и в том, что у него, в отличие от сложения и умножения нет переместительного закона. От перестановки слагаемых сумма не меняется, от перестановки сомножителей не меняется произведение, но стоит поменять местами основание и показатель степени, и равенства нет:

2³=8≠3²=9; 5⁴=625≠4⁵=1024.

Правда в этом правиле есть одно исключение: 2⁴=4²=16.

Еще одно отличие действия возведения в степень от сложения и умножения в том, что у сложения и умножения есть ровно по одному обратному действию: для сложение – вычитание, для умножения – деление. Возведение в степень имеет два обратных действия: извлечение корня и вычисление логарифма. У действий, обратных возведению в степень, появляются свои знаки – радикал и логарифм, но о них мы не будем вести речь, так как их выполнимость на множестве натуральных чисел еще сильнее под вопросом, чем деление чисел.

Каждое обратное действие приводило к расширению понятия числа. Вычитание, чтобы быть замкнутой операцией, расширило множество натуральных чисел до чисел целых, которые включают в себя все натуральные числа, к ним еще добавляется ноль, и числа противоположные натуральным – отрицательные числа. Для замкнутости деления чисел пришлось снова расширять множество чисел, уже до чисел рациональных. Наконец, извлечение корня и вычисление логарифмов потребовали введения чисел иррациональных, которые вместе с рациональными числами составили множество действительных или вещественных чисел.

На множестве действительных чисел стали выполняться все перечисленные операции, но…захотелось извлекать корни четной степени из отрицательных чисел, и придумали числа комплексные. Думаете на этом остановились, как бы ни так. Есть еще числа гиперкомплексные. И все это тоже удивительно интересно, но мы не станем «растекаться мыслью по древу» и вернемся к числам натуральным.

Все перечисленные бинарные операции с натуральными числами известны из программы начальной и средней школы, также, надеюсь, как и свойства этих операций.

Работая с натуральными числами, в особенности с многозначными числами, состоящими из нескольких цифр, часто приходится выполнять с ними операции, которые являются унарными (приставка уно от слова один), то есть операции, выполняемые с одним отдельно взятым числом, а не с парой чисел. Например, признак делимости на 3 определяется так: многозначное число делится на 3, если сумма его цифр делится на 3. Аналогично, на 9 делятся те числа, сумма цифр которых делится на 9. Оба раза звучит словесный оборот «сумма цифр данного числа», который для каждого числа однозначно определяет некоторое другое натуральное число. Фактически, это действие можно считать функций, заданной на множестве натуральных чисел, а иначе можно назвать унарной операций. Часто работая с этим понятием, для него почему-то не придумали специального знака. Работая далее с натуральными числами, приходится рассматривать сумму квадратов цифр данного числа или сумму кубов цифр числа, количество делителей числа, сумму всех его делителей или сумму собственных делителей (в которые не входит само число), приходится упорядочивать цифры числа по возрастанию или по убыванию и так далее. Все эти операции применяются к отдельно взятому числу, то есть являются унарными операциями. Для обозначения этих операций математики используют разные знаки, например, для обозначения суммы всех делителей натурального числа Леонард Эйлер ставил перед числом знак интеграла, об этом написал Д. Пойа, который сам использовал обозначение «функция сигма от n» [25]. В разных книгах встречаются и другие попытки обозначения подобных операций. Или же для них сохраняются словесные формулировки. Это привело меня к мысли ввести для этих унарных операций специальные, различные, но однотипные, обозначения.

Если рассматривать знаки бинарных операций (кроме возведения в степень и обратных к нему), то знак действия ставится между двумя числами. Для унарной операции это не подойдет, число одно. Не поставишь знак и справа от числа, там будет стоять знак равенства, справа от числа и выше ставится показатель степени, справа и ниже ставится индекс числа. Выход один, навеянный физиками:

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

₊n – сумма цифр данного натурального числа, например, ₊56235=5+6+2+3+5=21.

Далее вводим обозначения других унарных операций по аналогии с первой операцией:

₊²n – сумма квадратов цифр данного натурального числа,

₊²562=5²+6²+2²=25+36+4=65;

₊³n – сумма кубов цифр данного натурального числа,

₊³235=2³+3³+5³=8+27+125=160;

₊^dn – сумма всех делителей данного натурального числа,

₊^d12=1+2+3+4+6+12=28;

₊^sn – сумма собственных делителей данного числа,

₊^s6=1+2+3=6;

_q^dn – количество делителей данного числа, _q^d24=8;

_q^sn – количество собственных делителей числа, _q^s30=7;

_вn – упорядочение цифр данного числа по возрастанию,

_в4723=2347;

_уn – упорядочение цифр данного числа по убыванию,

_у4723=7432;

_хn – произведение цифр данного числа,

_х1953=1·9·5·3=135.

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