Каждая итерация

сохраняет остаток от деления на 9, потому что

прямо по определению сравнимости по модулю (это чуть лучше остатка от деления — можно сравнивать по модулю 0!).
Говорят, что

и

сравнимы по (возможно, нецелому) модулю

, и пишут

, если существует целое

такое, что

. Можно показать, что сравнимость по ненулевому модулю означает так же равенство остатков от деления

и

, которые тоже можно определить и для нецелых

, и это может быть удобно — например, загнать угол в диапазон

простой и понятной записью

.
Спасибо. Это я уже давно понял. Но все еще не до конца понял -- почему, если
Цитата:
Каждый член прогрессии заменить суммой его цифр. С полученной последовательностью поступить также и действовать так до тех пор пока не получится последовательность однозначных чисел.
То получатся отстатки от деления на 9.-- 28.04.2014, 23:15 --Поймите наконец эту ерунду. Вы же говорите, что понимаете, что такое сравнения по модулю.
Ну не получается, не вижу прямой связи

Я вижу это только как закономерность, но откуда она следует - не пойму...
-- 28.04.2014, 23:25 --[b]
Именно! Вы ведь не ответили на вопрос "Когда мы останавливаем суммирование"? А тогда, когда число станет однозначным, то есть от 1 до 9.
Хотя... Тут есть небольшая поправка. Обычно принято считать остатком число от 0 до 8, у нас же при суммировании цифр ноль никогда не получится. Его роль играет 9.
Полученный результат называют иногда "цифровым корнем числа". Его можно использовать, например, при проверке правильности вычислений. А то и в нумерологии (астрологии)
То есть это экспериментально полученный факт?