Натуральные числа. Этюды, вариации, упражнения

Очевидное свойство цифрового корня: n?9

n=n, то есть цифровой корень однозначного числа равен этому числу, а точнее этой цифре. Имеет место следующее утверждение: Сумма цифр числа n имеет такой же остаток при делении на 9, как и число n.

Поскольку, если число больше 9, сумма цифр этого числа меньше самого числа, то справедливы следующие две формулировки:

а). Цифровой корень числа совпадает с остатком от деления исходного числа на 9, если только этот остаток отличен от 0.

б). Для чисел, сравнимых с 0 по модулю 9, цифровой корень равен не 0, а 9.

Цифровые корни часто используют для того, чтобы убедиться, что какое-нибудь очень большое число не является точным квадратом или кубом. Все квадраты имеют цифровые корни 1, 4, 7 или 9, а их последними цифрами могут быть 2, 3, 7 или 8. Кубы могут оканчиваться на любую цифру, но их цифровыми корнями могут быть только 1, 8 или 9.

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

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

Вернемся к числам. При рассмотрении натуральных чисел имеют место несколько подходов к изучению их свойств. Рассматривая некое свойство, из множества всех натуральных чисел выделяется подмножество чисел, обладающих данным свойством, и этому подмножеству присваивается характеристический термин в виде прилагательного. Как оказалось, таких прилагательных потребуется много. Иногда в таком подмножестве будет конечное количество чисел, но это редко, чаще всего из бесконечности выделяется другая бесконечность.

Мы получаем интереснейшее явление: в бесконечном множестве можно выделить бесконечно много бесконечных подмножеств.

С другой стороны выделенное подмножество можно рассматривать как числовую последовательность, обладающую определенным свойством и говорить не просто о подмножестве, а об упорядоченном подмножестве, в котором можно пронумеровать его члены, то есть превратить подмножество в последовательность.