Почему признак делимости на 9 работает

Число и сумма цифр дают одинаковый остаток при делении на 9. Доказываем правило для 3, 9 и 11. Применяем идею к другим основаниям на практике.

Евгений Буянов - автор статьи, основатель проекта, преподаватель МГУ имени М.В. Ломоносова.

Почему признак делимости на 9 работает

Дальше вы проследите правило от одного примера до общего доказательства, поймёте связь признаков 3, 9 и 11 и сможете вывести похожую проверку для любой позиционной системы счисления.

В статье вы узнаете:

Число 73 548 прячет ответ в своих цифрах

Сложим цифры числа 73 548: 7 + 3 + 5 + 4 + 8 = 27. Сумма делится на 9, и само число тоже делится: 73 548 = 9 × 8 172. Пока это выглядит как удачное совпадение.

Теперь увеличим число на единицу. У 73 549 сумма цифр равна 28. При делении на 9 и число, и сумма дают остаток 1. Возьмём 73 550: сумма равна 20, а общий остаток теперь равен 2. Меняются последние цифры, происходят переносы между разрядами, но совпадение остатков сохраняется.

Остаточная эквивалентность означает, что два целых числа дают одинаковый остаток при делении на выбранный делитель. Для 9 числа 73 550 и 20 эквивалентны: их разность 73 530 делится на 9.

Математики записывают это коротко: 73 550 ≡ 20 (mod 9). Знак ≡ здесь сообщает не обычное равенство. Числа различаются на 73 530, но эта разница состоит из целого количества девяток. Поэтому с точки зрения остатков по модулю 9 они ведут себя одинаково.

Если общий остаток равен нулю, исходное число делится на 9. Если остаток равен одному из чисел от 1 до 8, не делится. Уже здесь видно важное ограничение: сумма цифр отвечает на вопрос о делимости и остатке, но не сообщает частное. Из 27 нельзя восстановить число 8 172, полученное при делении 73 548 на 9.

Чтобы понять, почему совпадение работает для любого десятичного числа, нужно перестать воспринимать запись 73 548 как сплошную строку. Каждый разряд в ней обозначает отдельную степень десяти.

Каждая степень десяти оставляет единицу

Разрядная запись раскрывает число как сумму. В числе 73 548 семёрка умножается на 10 000, тройка на 1 000, пятёрка на 100, четвёрка на 10, а восьмёрка остаётся единицей.

73 548=7⋅104+3⋅103+5⋅102+4⋅10+8\displaystyle 73\,548=7\cdot10^4+3\cdot10^3+5\cdot10^2+4\cdot10+8

Для произвольного неотрицательного числа, цифры которого обозначены от a0 до am, та же запись выглядит так:

N=am10m+am−110m−1+⋯+a110+a0\displaystyle N=a_m10^m+a_{m-1}10^{m-1}+\cdots+a_1 10+a_0

Теперь посмотрим только на остатки при делении на 9. Число 10 на единицу больше девяти, поэтому 10 даёт остаток 1. Сто тоже даёт остаток 1, потому что 100 = 99 + 1. Тысяча равна 999 + 1 и снова оставляет единицу. Это верно для любой неотрицательной степени:

10k≡1(mod9)\displaystyle 10^k\equiv1\pmod 9

У правила есть совсем земное объяснение. Для любого положительного k разность 10k − 1 записывается одними девятками: 9, 99, 999 и дальше. Она делится на 9. Значит, 10k можно заменить единицей, если нас интересует только остаток по модулю 9.

Подставим единицы вместо всех степеней десяти. Вес разряда исчезнет, но сама цифра останется. Число превратится в сумму своих цифр:

N≡am+am−1+⋯+a1+a0(mod9)\displaystyle N\equiv a_m+a_{m-1}+\cdots+a_1+a_0\pmod 9

То же доказательство можно увидеть через разность. Вычтем из числа сумму цифр и сгруппируем слагаемые:

N−∑k=0mak=∑k=0mak(10k−1)\displaystyle N-\sum_{k=0}^{m}a_k=\sum_{k=0}^{m}a_k\bigl(10^k-1\bigr)

Каждая скобка 10k − 1 делится на 9. Произведение такой скобки на цифру тоже делится на 9, как и сумма всех произведений. Следовательно, разность между исходным числом и суммой его цифр всегда кратна 9.

В учебном превью Американского математического общества признаки 3, 9 и 11 выводятся тем же способом: число раскладывают по степеням десяти, а затем сравнивают эти степени по выбранному модулю. [AMS, глава «Divisibility»]

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

Признаки 3 и 9 растут из одного свойства десятичной записи

Десять оставляет единицу не только при делении на 9. При делении на 3 происходит то же самое: 10 = 3 × 3 + 1. Поэтому любую степень десяти снова можно заменить единицей, а исходное число имеет тот же остаток по модулю 3, что и сумма его цифр.

Есть и более короткий взгляд. Разность числа и суммы его цифр всегда кратна 9, а каждое число, кратное 9, кратно и 3. Значит, эта разность автоматически делится на оба делителя.

Например, сумма цифр числа 846 равна 18. Число делится и на 3, и на 9: 846 = 3 × 282 = 9 × 94. У числа 852 сумма равна 15. Она делится на 3, но при делении на 9 оставляет остаток 6. Поэтому 852 делится на 3 и не делится на 9. Одного сложения достаточно, чтобы различить эти случаи.

Сумму можно складывать повторно. Для 987 654 321 сначала получается 45, затем 9. Каждое сокращение сохраняет остаток по модулю 9, поэтому последняя цифра хранит тот же признак делимости. Такой результат называется цифровым корнем.

Если нужно обработать длинную запись и увидеть всю цепочку, используйте калькулятор цифрового корня. Он остаётся инструментом для вычисления: складывает цифры, показывает промежуточные суммы и отдельно учитывает ноль. Эта статья отвечает на другой вопрос, почему каждый переход математически законен.

У ненулевого числа, кратного 9, цифровой корень равен 9, а не 0. Остаток по модулю 9 у него нулевой, но повторное сложение положительных цифр не может внезапно дать ноль. Само число 0 рассматривается отдельно и имеет цифровой корень 0.

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

Для отрицательного числа в признаке делимости складывают цифры его модуля. Знак не влияет на нулевой остаток: если 20 не делится на 9, то и −20 не делится. Но точные остатки различаются: 20 даёт евклидов остаток 2, а −20 остаток 7. Поэтому знак можно отбросить при ответе «делится или нет», но не при вычислении самого остатка.

Для 11 соседние разряды получают разные знаки

Признак делимости на 11 похож на правило для 9, но обычная сумма цифр здесь не годится. Причина снова находится в числе 10. Оно на единицу меньше 11, поэтому по модулю 11 десятка эквивалентна −1.

10≡−1(mod11)\displaystyle 10\equiv-1\pmod{11}

При возведении в степень знак начинает чередоваться. Единицы получают вес +1, десятки −1, сотни снова +1, тысячи −1 и так далее.

10k≡(−1)k(mod11)\displaystyle 10^k\equiv(-1)^k\pmod{11}

Поэтому вместо простой суммы появляется чередующаяся:

N≡a0−a1+a2−a3+⋯+(−1)mam(mod11)\displaystyle N\equiv a_0-a_1+a_2-a_3+\cdots+(-1)^m a_m\pmod{11}

Проверим число 9 185. Начнём справа: 5 − 8 + 1 − 9 = −11. Полученная сумма делится на 11, значит, и исходное число делится: 9 185 = 11 × 835. Обычная сумма цифр равна 23 и ничего полезного о делимости на 11 здесь не говорит.

Можно складывать цифры на нечётных позициях и вычитать сумму цифр на чётных либо делать наоборот. Результаты отличаются только знаком, а делимость от знака не меняется. Главное, не сбить чередование и не поставить двум соседним разрядам одинаковый знак.

Сравнение правил показывает общий механизм. Для 9 все степени десяти имеют одинаковый вес +1, поэтому цифры просто складываются. Для 11 веса меняются между +1 и −1, поэтому сумма становится знакопеременной. Никакого отдельного фокуса для каждого делителя придумывать не пришлось.

Так можно искать и другие признаки: выбрать делитель, посмотреть, какие остатки дают 10, 100, 1 000 и следующие степени, затем заменить разряды этими весами. Красивое короткое правило получится, если последовательность остатков проста. Иногда она повторяется длинным циклом, и проверка становится тяжелее самого деления. Математика разрешает, здравый смысл отговаривает.

В системе с основанием b складывают цифры для делителя b − 1

Десятичная запись не обладает особой связью именно с девяткой. Девятка появляется потому, что она на единицу меньше основания 10. В позиционной системе с основанием b каждый разряд весит 1, b, b2, b3 и так далее.

По модулю b − 1 само основание оставляет единицу. Все его степени тоже оставляют единицу. Поэтому число и сумма значений его цифр имеют одинаковый остаток:

N=∑k=0makbk≡∑k=0mak(modb−1)\displaystyle N=\sum_{k=0}^{m}a_kb^k\equiv\sum_{k=0}^{m}a_k\pmod{b-1}

В восьмеричной системе основание равно 8, поэтому сумма цифр проверяет делимость на 7. Возьмём запись 348. В десятичном виде это 3 × 8 + 4 = 28. Сумма восьмеричных цифр равна 3 + 4 = 7. Оба числа делятся на 7.

Работает и ненулевой остаток. Число 12348 равно 668 в десятичной системе. Сумма значений цифр равна 1 + 2 + 3 + 4 = 10. При делении на 7 и 668, и 10 оставляют остаток 3.

Правило распространяется на любой делитель числа b − 1. У десятичного основания разность 10 − 1 равна 9, а её положительные делители включают 3 и 9. Поэтому два знакомых школьных признака оказываются частными случаями одного утверждения.

Для основания b + 1 работает чередующаяся сумма, поскольку b ≡ −1 (mod b + 1). В десятичной системе это даёт делитель 11. В восьмеричной системе тот же приём проверяет делимость на 9, только складывать и вычитать нужно значения восьмеричных цифр.

Если основание больше 10, символ и значение цифры могут различаться. В шестнадцатеричной записи A обычно означает 10, B означает 11 и дальше до F = 15. В сумму подставляют значения, а не порядковые номера букв.

Проверить примеры можно в конвертере систем счисления. Перевод меняет запись числа, но не его делители. Меняется только удобный признак: для основания 8 естественным становится модуль 7, для основания 16 модуль 15 и его делители.

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

Признак делимости не находит частное и не доказывает весь расчёт

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

Но проверка не находит результат деления. Из равенства 73 548 ≡ 0 (mod 9) следует существование целого частного, однако его значение 8 172 нужно вычислить отдельно. Калькулятор деления с остатком показывает частное и остаток, а затем проверяет равенство «делимое = делитель × частное + остаток».

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

Совпадение остатков работает только как фильтр. Например, правильная сумма 248 + 371 равна 619. Ошочный ответ 628 отличается от неё на 9. Суммы цифр у 619 и 628 равны 16, поэтому оба числа имеют один цифровой корень 7. Проверка по модулю 9 пропустит ошибку.

Перестановка цифр тоже остаётся незаметной. Числа 1 234 и 1 324 имеют одинаковую сумму цифр 10 и один остаток 1, хотя различаются на 90. Это не случайный дефект метода: любая ошибка, кратная 9, сохраняет остаток. Метод специально забывает всё число, кроме одного из девяти возможных классов.

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

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

Главный вывод. Признак делимости на 9 работает, потому что каждый десятичный разряд отличается от единицы на число, кратное 9. Для 11 разряды чередуют знаки, а в основании b тот же принцип связывает сумму цифр с делителем b − 1. Фокус находится не в цифрах, а в остатках разрядных весов.

Есть что добавить?

Напишите своё мнение, комментарий или предложение.

ГлавнаяЖурнал расчётовПочему признак делимости на 9 работает