Редактирование: Признаки делимости

'''При́знак дели́мости''' — [[алгоритм]], позволяющий сравнительно быстро определить, является ли число кратным заранее заданному<ref>С практической точки зрения ''«сравнительно быстро»'' означает ''«быстрее, чем можно было бы выполнить фактическое деление»'' теми же самыми средствами. Причём эффективность этого алгоритма в немалой степени зависит от формы представления чисел и имеющихся в распоряжении вычислительных возможностей.</ref>. Если признак делимости позволяет выяснить не только [[делимость]] числа на заранее заданное, но и остаток от деления, то его называют '''признаком [[Сравнение по модулю|равноостаточности]]'''.

Как правило, признаки делимости применяются при ручном счёте и для чисел, представленных в конкретной [[Позиционная система счисления|позиционной системе счисления]] (обычно [[Десятичная система счисления|десятичной]]).

== Понятия делимости, равноделимости и равноостаточности ==
{{main|Делимость|Равноостаточность}}

Если для двух [[Целое число|целых чисел]] <math>a</math> и <math>b</math> существует такое целое число <math>q,</math> что
: <math>b\,q=a,</math>
то говорят, что число <math>a</math> ''делится'' на <math>b.</math>

Два целых числа <math>a</math> и <math>b</math> называются ''равноделимыми'' на <math>m,</math> если либо они оба делятся на <math>m,</math> либо оба не делятся<ref>{{книга|автор=Воробьёв&nbsp;Н.&nbsp;Н.|заглавие=Признаки делимости|серия=[[Популярные лекции по математике]]|издание=4-е изд., испр|место=М.|издательство=Наука|год=1988|isbn=5-02-013731-6|страницы=42}}</ref>.

Два целых числа <math>a</math> и <math>b</math> ''равноостаточны'' при делении на [[натуральное число]] <math>m</math> (или ''[[Сравнение по модулю|сравнимы по модулю]]'' <math>m</math>), если при делении на <math>m</math> они дают одинаковые остатки, то есть существует такие целые числа <math>q_1,\,q_2,\,r,</math> что
: <math>a = m\,q_1 + r,\;\;b = m\,q_2 + r.</math>

== Общие принципы построения ==
{{проще|слишком сложный раздел в статье, которая должны быть понятна четвероклассникам. Нужно это раздел либо удалить, либо перенести ниже, либо перенести в статью [[Признак Паскаля]]. Соответственно изменить текст ниже}}
Пусть требуется определить, [[Делимость|делится]] ли некоторое [[натуральное число]] <math>A</math> на другое натуральное число <math>m.</math> Для этого возьмём последовательность натуральных чисел:
: <math>A_0,\,A_1,\,A_2,\,A_3,\,\dots,\,A_n,</math>
такую, что:
# <math>A_0 = A;</math>
# каждый член последовательности определяется предыдущим;
# <math>A_i < A_{i-1},\quad i=1,\,2,\,3,\,\dots,\,n-1;</math>
# последний член последовательности меньше <math>m,</math> то есть <math>0 \leqslant A_n < m.</math>
# все члены последовательности имеют одинаковые остатки при делении на <math>m.</math>

Тогда если последний член этой последовательности равен нулю, то <math>A</math> делится на <math>m,</math> в противном случае <math>A</math> на <math>m</math> не делится.

Способ (алгоритм) построения такой последовательности и будет искомым ''признаком делимости'' на <math>m.</math> Математически он может быть описан с помощью функции <math>f(x),</math> определяющей каждый следующий член последовательности в зависимости от предыдущего:
: <math>A_i = f\left(A_{i-1}\right),\quad i=1,\,2,\,3,\,\dots,\,n,</math>
удовлетворяющей следующим условиям:
# при <math>x < m</math> значение <math>f(x)</math> не определено;
# при <math>x \geqslant m</math> значение <math>f(x)</math> есть натуральное число;
# если <math>x \geqslant m,</math> то <math>f(x) < x;</math>
# если <math>x \geqslant m,</math> то <math>f(x)</math> и <math>x</math> равноделимы на <math>m.</math>

Если требование равноделимости для всех членов последовательности заменить на более строгое требование равноостаточности, то последний член этой последовательности будет являться остатком от деления <math>A</math> на <math>m,</math> а способ (алгоритм) построения такой последовательности будет ''признаком равноостаточности'' на <math>m.</math> В силу того, что из равенства остатка при делении на <math>m</math> нулю следует делимость на <math>m</math>, любой признак равноостаточности может применяться как признак делимости. Математически признак равноостаточности тоже может быть описан с помощью функции <math>f(x),</math> определяющей каждый следующий член последовательности в зависимости от предыдущего:
: <math>A_i = f\left(A_{i-1}\right),\quad i=1,\,2,\,3,\,\dots,\,n,</math>
удовлетворяющей следующим условиям:
# при <math>x < m</math> значение <math>f(x)</math> не определено;
# при <math>x \geqslant m</math> значение <math>f(x)</math> есть натуральное число;
# если <math>x \geqslant m,</math> то <math>f(x) < x;</math>
# если <math>x \geqslant m,</math> то <math>f(x)</math> и <math>x</math> равноостаточны при делении на <math>m.</math>

Примером такой функции, определяющей признак равноостаточности (и, соответственно, признак делимости), может быть функция
: <math>f(x) = x - m,\quad x \geqslant m,</math>
а последовательность, построенная с её помощью будет иметь вид:
: <math>A,\,A-m,\,A-2m,\,A-3m,\,\dots</math>
По сути применение признака равноостаточности на базе этой функции эквивалентно делению при помощи вычитания.

Другим примером может служить общеизвестный признак делимости (а также равноостаточности) на 10.
: ''Если последняя цифра в десятичной записи числа равна нулю, то это число делится на 10; кроме того, последняя цифра будет являться остатком от деления исходного числа на 10.''

Математически этот признак равноостаточности может быть сформулирован следующим образом. Пусть надо выяснить остаток от деления на 10 натурального числа <math>A,</math> представленного в виде
: <math>A = 10\,b + a,\quad 0 \leqslant a < 10,\quad b \geqslant 0.</math>
Тогда остатком от деления <math>A</math> на 10 будет <math>a</math>. Функция, описывающая этот признак равноостаточности будет выглядеть как
: <math>f(A) = a,\quad A \geqslant 10.</math>
Легко доказать, что эта функция удовлетворяет всем перечисленным выше требованиям. Причём последовательность, построенная с её помощью, будет содержать всего один или два члена.

Также легко видеть, что такой признак ориентирован именно на десятичное представление числа <math>A</math> — так, например, если применять его на компьютере, использующем двоичную запись числа, то чтобы выяснить <math>a</math>, программе пришлось бы сначала поделить <math>A</math> на 10.

Для построения признаков равноостаточности и делимости чаще всего используется следующие теоремы:
# При любых целом <math>q</math> и натуральном <math>m</math> целые числа <math>A</math> и <math>A + m q</math> равноостаточны при делении на <math>m.</math>
# При любых целом <math>q</math>, натуральном <math>m</math>, целые числа <math>A</math> и <math>p A + m q</math> равноделимы на <math>m,</math> если целое <math>p</math> является [[Взаимно простые числа|взаимно простым]] с <math>m.</math>

{{hider|hidden=1|title=Пример построения признаков делимости и равноостаточности на 7|content-style=text-align: left;|content=
Продемонстрируем применение этих теорем на примере признаков делимости и равноостаточности на <math>m = 7.</math>

Пусть дано целое число 
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0.</math>

Тогда из первой теоремы полагая <math>q = -a_1</math> будет следовать, что <math>A</math> будет равноостаточно при делении на 7 с числом
: <math>A' = A - 7 a_1 = \left(10 - 7 \right)a_1 + a_0 = 3\,a_1 + a_0.</math>

Запишем функцию признака равноостаточности в виде:
:<math>f(A) = \begin{cases} 3\,a_1 + a_0, & A \geqslant A_{min}, \\ A - 7, & 7 \leqslant A < A_{min}. \end{cases}</math>

И, наконец, остаётся найти такое <math>A_{min} \leqslant 7,</math>, при котором для любого <math>A \leqslant  A_{min}</math> выполняется условие <math>3\,a_1 + a_0 < A.</math> В данном случае <math>A_{min} = 10</math> и функция приобретает окончательный вид:
:<math>f(A) = \begin{cases} 3\,a_1 + a_0, & A \geqslant 10, \\ A - 7, & 7 \leqslant A < 10. \end{cases}</math>

А из второй теоремы, полагая <math>q = 3\,a_1</math> и <math>p = -2,</math> взаимно простое с 7, будет следовать, что <math>A</math> будет равноделимы на 7 с числом
: <math>A' = 7 \cdot 3 a_1 - 2 A = \left(21 - 20 \right)a_1 - 2\,a_0 = a_1 - 2\,a_0.</math>

Учитывая, что числа <math>A'</math> и <math>\left| A' \right|</math> равноделимы на 7, запишем функцию признака делимости в виде: 
:<math>f(A) = \begin{cases} \left| a_1 - 2\,a_0 \right|, & A \geqslant A_{min}, \\ A - 7 , & 7 \leqslant A < A_{min}. \end{cases}</math>

И, наконец, остаётся найти такое <math>A_{min} \leqslant 7,</math>, при котором для любого <math>A \leqslant  A_{min}</math> выполняется условие <math>\left| a_1 - 2\,a_0 \right| < A.</math> В данном случае <math>A_{min} = 10</math> и функция приобретает окончательный вид:
:<math>f(A) = \begin{cases} \left| a_1 - 2\,a_0 \right|, & A \geqslant 10, \\ A - 7 , & 7 \leqslant A < 10. \end{cases}</math>
}}

== Признаки делимости в десятичной системе счисления ==

=== Признак делимости на 2 ===
Число делится на {{num1|2}} [[тогда и только тогда]], когда его последняя цифра делится на 2, то есть является [[Чётные и нечётные числа|чётной]].

Соответствующая признаку функция (см. раздел [[#Общие принципы построения|«Общие принципы построения»]]):
: <math>A = 10\,a_1 + a_0,\quad 0 \leqslant a_0, < 10,\quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_0, & A \geqslant 10 \\ A - 2 , & 2 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признак делимости на 3 ===
Число делится на {{num1|3}}, когда сумма его цифр делится на 3. Например, число 159 делится на 3, поскольку сумма его цифр 1 + 5 + 9 = 15 делится на 3.

Соответствующая признаку функция:
: <math>A = \sum_{i=0}^n 10^i a_i, \quad 0 \leqslant a_i < 10,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} {\sum_{i=0}^n a_i}, & A \geqslant 10, \\ A - 3 , & 3 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 154, <math>1 + 5 + 4 = 10</math> и <math>1 + 0 = 1</math> равноостаточны при делении на 3.

=== Признак делимости на 4 ===
Число делится на {{num1|4}}, когда две последние цифры нули или составляют число, делящееся на 4. Например, 14676 — последние цифры 76, и число 76 делится на 4: 76:4=19. Двузначное число делится на 4 тогда и только тогда, когда удвоенная цифра в разряде десятков, сложенная с цифрой в разряде единиц, делится на 4. Например, число 42 не делится на 4, так как <math>2 \cdot 4 + 2 = 10</math> не делится на 4.

Соответствующая признаку функция:
: <math>A = 100\,a_2 + 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad 0 \leqslant a_1 < 10, \quad a_2 \geqslant 0,</math>
: <math>F(A) = \begin{cases} 2\,a_1 + a_0, & A \geqslant 10, \\ A - 4 , & 4 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 87, <math>8 \cdot 2 + 7 = 23</math> и <math>2 \cdot 2 + 3 = 7</math> равноостаточны при делении на 4.

Более простая формулировка: Число делится на 4, если в последнем разряде 0, 4, 8, а предпоследний разряд чётный; или если в последнем разряде 2, 6, а предпоследний разряд нечётный.

=== Признак делимости на 5 ===
Число делится на {{num1|5}} тогда и только тогда, когда оно оканчивается на 0 или на 5.

Соответствующая признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_0, & A \geqslant 10, \\ A - 5 , & 5 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признак делимости на 6 ===
Число делится на {{num1|6}} тогда и только тогда, когда оно делится и на 2, и на 3 (то есть если оно чётное и сумма его цифр делится на 3).

Другой признак делимости: число делится на 6 тогда и только тогда, когда учетверённое число десятков, сложенное с цифрой в разряде единиц, делится на 6.

Соответствующая признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} 4\,a_1 + a_0, & A \geqslant 10, \\ A - 6 , & 6 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 73, <math>7 \cdot 4 + 3 = 31,</math> <math>3 \cdot 4 + 1 = 13</math> и <math>1 \cdot 4 + 3 = 7</math> равноостаточны при делении на 6.

=== Признак делимости на 7 ===
''Признак 1'':

число делится на {{num1|7}} тогда, когда утроенное число десятков, сложенное с цифрой в разряде единиц, делится на 7. Например, 154 делится на 7, так как на 7 делится <math>15 \cdot 3 + 4 = 49.</math> 1001 делится на 7, так как на 7 делятся <math>100 \cdot 3 + 1 = 301,\quad 30 \cdot 3 +1 = 91,\quad 9 \cdot 3 + 1 = 28,\quad 2 \cdot 3 + 8 = 14,\quad 1 \cdot 3 + 4 = 7.</math>

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} 3\,a_1 + a_0, & A \geqslant 10, \\ A - 7 , & 7 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 87, <math>8 \cdot 3 + 7 = 31,</math> <math>3 \cdot 3 + 1 = 10</math> и <math>1 \cdot 3 + 0 = 3</math> равноостаточны при делении на 7.

Модификации ''признака 1'':

a) берётся первая слева цифра, умножается на 3, прибавляется следующая, и всё повторяется сначала: например, для 154: <math>1 \cdot 3 + 5 = 8,\quad 8 \cdot 3 + 4 = 28</math>. Также на каждом шаге можно брать остаток от деления на 7: <math>1 \cdot 3 + 5 = 8</math> остаток 1, <math>1 \cdot 3 + 4 = 7</math> остаток 0. В обоих случаях итоговое число равноостаточно при делении на 7 с исходным числом.

b) если удвоенное число единиц числа отнять от оставшегося числа десятков и результат будет делиться на 7, то число кратно 7. Например: 784 делится на 7, так как {{nobr|1=78 − (2 × 4) = 78 − 8 = 70}} (<math>a_1 - 2\,a_0 = 0 \bmod 7 \Leftrightarrow</math> <math>3\,a_1 - 6\,a_0 = 0 \bmod 7 \Leftrightarrow</math> <math>3\,a_1 - 6\,a_0 + 7\,a_0 = 0 \bmod 7 \Leftrightarrow</math> <math>3\,a_1 + a_0 = 0 \bmod 7</math>).

''Признак 2'':

число делится на 7 тогда и только тогда, когда модуль алгебраической суммы чисел, образующих нечётные группы по три цифры (начиная с единиц), взятых со знаком «+», и чётных со знаком «−» делится на 7. Например, {{num|138689257}} делится на 7, так как на 7 делится <math>|138 - 689 + 257| = 294.</math>

Соответствующая этому признаку функция:
: <math>A = \sum_{i=0}^n 1000^i a_i , \quad 0 \leqslant a_i < 1000,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} \left | \sum_{i=0}^n \left ( -1 \right )^i a_i \right |, & A \geqslant 1000, \\ A - 7 , & 7 \leqslant A < 1000. \end{cases}</math>

''Признак 3'':

если разность между числом, состоящим из трёх последних цифр данного числа, и числом, образованным из оставшихся цифр данного числа (то есть без последних трёх цифр), делится на 7, то данное число делится на 7.
Пример для числа 1730736: 1730 − 736 = 994, 994 / 7 = 142.

=== Признак делимости на 8 ===
Число делится на {{num1|8}}, когда три последние цифры составляют число, делящееся на 8. Трёхзначное число делится на 8 тогда и только тогда, когда цифра в разряде единиц, сложенная с удвоенной цифрой в разряде десятков и учетверённой цифрой в разряде сотен, делится на 8. Например, 952 делится на 8 так как на 8 делится <math>9 \cdot 4 + 5 \cdot 2 + 2 = 48.</math>

Соответствующая признаку функция:
: <math>A = 1000\,a_3 + 100\,a_2 + 10\,a_1 + a_0, \quad 0\leqslant a_0 < 10,\quad 0\leqslant a_1 < 10,\quad 0\leqslant a_2 < 10,\quad a_3 \geqslant 0,</math>
: <math>F(A) = \begin{cases} 4\,a_2 + 2\,a_1 + a_0, & A \geqslant 10, \\ A - 8 , & 8 \leqslant A < 10. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 567, <math>5 \cdot 4 + 6 \cdot 2 + 7 = 39,</math> <math>3 \cdot 2 + 9 = 15</math> и <math>1 \cdot 2 + 5 = 7</math> равноостаточны при делении на 8.

=== Признак делимости на 9 ===
Число делится на {{num1|9}}, когда сумма его цифр делится на 9. Например, сумма цифр числа 12345678 делится на 9, следовательно и само число делится на 9. <math>1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 = 36.</math>

Соответствующая признаку функция:
: <math>A = \sum_{i=0}^n 10^i a_i, \quad 0 \leqslant a_i < 10,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} \sum_{i=0}^n a_i, & A \geqslant 10, \\ 0, & A = 9. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 345, <math>3 + 4 + 5 = 12</math> и <math>1 + 2 = 3</math> равноостаточны при делении на 9.

=== Признак делимости на 10 ===
Число делится на {{num1|10}} тогда и только тогда, когда оно оканчивается на [[Ноль (цифра)|ноль]].

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = a_0, \quad A \geqslant 10.</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признаки делимости на 11 ===
''Признак 1:'' число делится на {{num1|11}} тогда и только тогда, когда модуль разности между суммой цифр, занимающих нечётные позиции, и суммой цифр, занимающих чётные места, делится на 11. Например, {{num|9163627}} делится на 11, так как <math>\left | (9 + 6 + 6 + 7) - (1 + 3 + 2) \right |= 22</math> делится на 11. Другой пример — 99077 делится на 11, так как <math>\left | (9 + 0 + 7) - (9 + 7) \right |= 0</math> делится на 11.

Соответствующая этому признаку функция:
: <math>A = \sum_{i=0}^n 10^i a_i \quad 0 \leqslant a_i < 10,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \left | \sum_{i=0}^n \left ( -1 \right )^i a_i \right |, \quad A \geqslant 11.</math>

''Признак 2:'' число делится на 11 тогда и только тогда, когда на 11 делится сумма чисел, образующих группы по две цифры (начиная с единиц). Например, 103785 делится на 11, так как на 11 делятся <math>10 + 37 + 85 = 132</math> и <math>01 + 32 = 33.</math>

Соответствующая признаку функция:
: <math>A = \sum_{i=0}^n 100^i a_i, \quad 0 \leqslant a_i < 100,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} \sum_{i=0}^n a_i , & A \geqslant 100, \\ A - 11 , & 11 \leqslant A < 100. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 123456, <math>12 + 34 + 56 = 102</math> и <math>1 + 2 = 3</math> равноостаточны при делении на 11.

=== Признак делимости на 13 ===
''Признак 1'': Число делится на {{num1|13}}, когда сумма числа десятков с учетверённой цифрой в разряде единиц делится на 13. Например
845 делится на 13, так как на 13 делятся <math>84 + 5 \cdot 4 = 104</math> и <math>10 + 4 \cdot 4 = 26.</math>

''Признак 2'': Число делится на {{num1|13}}, когда разность числа десятков с девятикратным числом, стоящего в разряде единиц, делится на 13. Например
845 делится на 13, так как на 13 делятся <math>84 - 9 \cdot 5 = 39.</math>

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_1 + 4\,a_0, & A \geqslant 40, \\ A - 13, & 13 \leqslant A < 40. \end{cases}</math>

''Признак 3'': Число делится на {{num1|13}}, если разность между числом, состоящим из трёх последних цифр данного числа, и числом, образованным из оставшихся цифр данного числа (то есть без последних трёх цифр), делится на 13.Например 192218 делится на 13, так как  218-192=26, а 26 делится на 13.

=== Признак делимости на 17 ===
Число делится на {{num1|17}} в следующих случаях:

— когда модуль разности числа десятков и умноженной на 5 цифрой в разряде единиц делится на 17. Например, 221 делится на 17, так как <math>\left| 22 - 5 \cdot 1 \right| = 17</math> делится на 17.

— когда модуль суммы числа десятков и умноженной на 12 цифрой в разряде единиц делится на 17. Например, 221 делится на 17, так как <math>\left| 22 + 12 \cdot 1 \right| = 34</math> делится на 17.

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} \left| a_1 - 5\,a_0 \right|, & A \geqslant 40, \\ A - 17 , & 17 \leqslant A < 40. \end{cases}</math>

=== Признак делимости на 19 ===
Число делится на {{num1|19}} тогда и только тогда, когда число десятков, сложенное с удвоенной цифрой в разряде единиц, делится на 19. Например, 646 делится на 19, так как на 19 делятся <math>64 + 2 \cdot 6 = 76</math> и <math>7 + 2 \cdot 6 = 19.</math>

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_1 + 2\,a_0 , & A \geqslant 20, \\ 0, & A = 19. \end{cases}</math>

=== Признак делимости на 20 ===
Число делится на {{num1|20}} тогда и только тогда, когда число, образованное двумя последними цифрами, делится на 20.

Другая формулировка: число делится на 20 тогда и только тогда, когда последняя цифра числа — 0, а предпоследняя — чётная.

Соответствующая этому признаку функция:
: <math>A = 100\,a_1 + a_0, \quad 0 \leqslant a_0 < 100, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_0, & A \geqslant 100, \\ A - 20 , & 20 \leqslant A < 100. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признаки делимости на 23 ===
''Признак 1'': число делится на {{num1|23}} тогда и только тогда, когда число сотен, сложенное с утроенным числом, образованным двумя последними цифрами, делится на 23. Например, 28842 делится на 23, так как на 23 делятся <math>288 + 3 \cdot 42 = 414</math> и <math>4 + 3 \cdot 14 = 46.</math>


''Признак 2'': число делится на 23 тогда и только тогда, когда число десятков, сложенное с умноженной на 7 цифрой в разряде единиц, делится на 23. Например, 391 делится на 23, так как <math>39 + 7 \cdot 1 = 46</math> делится на 23.


''Признак 3'': число делится на 23 тогда и только тогда, когда число сотен, сложенное с умноженной на 7 цифрой в разряде десятков и утроенной цифрой в разряде единиц, делится на 23. Например, 391 делится на 23, так как <math>3 + 7 \cdot 9 + 3 \cdot 1 = 69</math> делится на 23.

=== Признак делимости на 25 ===
Число делится на {{num1|25}} тогда и только тогда, когда две его последние цифры составляют число, которое делится на 25. Другими словами, на 25 делятся числа, оканчивающиеся на 00, 25, 50 или 75.

Соответствующая этому признаку функция:
: <math>A = 100\,a_1 + a_0, \quad 0 \leqslant a_0 < 100, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_0, & A \geqslant 100, \\ A - 25 , & 25 \leqslant A < 100. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признак делимости на 27 ===
Число делится на {{num1|27}} тогда и только тогда, когда на 27 делится сумма чисел, образующих группы по три цифры (начиная с единиц).

Соответствующая признаку функция:
: <math>A = \sum_{i=0}^n 1000^i a_i, \quad 0 \leqslant a_i < 1000,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} \sum_{i=0}^n a_i, & A \geqslant 1000, \\ A - 27, & 27 \leqslant A  < 1000. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признак делимости на 29 ===
Число делится на {{num1|29}} тогда и только тогда, когда число десятков, сложенное с утроенной цифрой в разряде единиц, делится на 29. Например, 261 делится на 29, так как <math>26 + 3 \cdot 1 = 29</math> делится на 29.

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_1 + 3\,a_0, & A \geqslant 30, \\ 0, & A = 29. \end{cases}</math>

=== Признак делимости на 30 ===
Число делится на {{num1|30}} тогда и только тогда, когда оно заканчивается на 0 и сумма всех цифр делится на 3. Например: 510 делится на 30, а 678 — нет.

=== Признак делимости на 31 ===
Число делится на {{num1|31}} тогда и только тогда, когда модуль разности числа десятков и утроенной цифры в разряде единиц делится на 31. Например, 217 делится на 31, так как <math>\left| 21 - 3 \cdot 7 \right| = 0</math> делится на 31.

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \left| a_1 - 3\,a_0 \right|, \quad A \geqslant 31.</math>

=== Признак делимости на 37 ===
''Признак 1:'' число делится на {{num1|37}} тогда и только тогда, когда при разбивании числа на группы по три цифры (начиная с единиц) сумма этих групп кратна 37.

Соответствующая признаку функция:
: <math>A = \sum_{i=0}^n 1000^i a_i, \quad 0 \leqslant a_i < 1000,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} \sum_{i=0}^n a_i, & A \geqslant 1000, \\ A - 37, & 37 \leqslant A  < 1000. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

''Признак 2:'' число делится на 37 тогда и только тогда, когда на 37 делится модуль утроенного числа сотен, сложенного с учетверённой цифрой в разряде десятков, за вычетом цифры в разряде единиц, умноженной на семь. Например, число 481 делится на 37, так как на 37 делится <math>\left | 3 \cdot 4 + 4 \cdot 8 - 7 \right | = 37.</math>

Соответствующая признаку функция:
: <math>A = 100 \, a_2 + 10 \, a_1 + a_0, \quad 0 \leqslant a_0 < 10,\quad 0 \leqslant a_1 < 10, \quad a_2 \geqslant 0,</math>
: <math>F(A) = \left | 3 \, a_2 + 4 \, a_1 -  7 \, a_0 \right |, \quad A \geqslant 37.</math>

''Признак 3:'' число делится на 37 тогда и только тогда, когда на 37 делится модуль суммы числа сотен с цифрой в разряде единиц, умноженной на десять, за вычетом цифры в разряде десятков, умноженной на 11. Например, число 481 делится на 37, так как на 37 делится <math>\left | 4 - 11 \cdot 8 + 10 \cdot 1 \right | = 74.</math>

Соответствующая признаку функция:
: <math>A = 100 \, a_2 + 10 \, a_1 + a_0, \quad 0 \leqslant a_0 < 10,\quad 0 \leqslant a_1 < 10, \quad a_2 \geqslant 0,</math>
: <math>F(A) = \begin{cases} \left | a_2 - 11 \, a_1 + 10 \, a_0 \right |, & A \geqslant 100, \\ A - 37, & 37 \leqslant A  < 100. \end{cases}</math>

=== Признак делимости на 41 ===
''Признак 1'': число делится на {{num1|41}} тогда и только тогда, когда модуль разности числа десятков и четырёхкратной цифры в разряде единиц делится на 41. Например, 369 делится на 41, так как <math>\left| 36 - 4 \cdot 9 \right| = 0</math> делится на 41.

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \left| a_1 - 4\,a_0 \right|, \quad A \geqslant 41.</math>

''Признак 2'': чтобы проверить, делится ли число на 41, его следует справа налево разбить на грани по 5 цифр в каждой. Затем в каждой грани первую справа цифру умножить на 1, вторую цифру умножить на 10, третью — на 18, четвёртую — на 16, пятую — на 37 и все полученные произведения сложить. Если результат будет делиться на 41, тогда и только тогда само число будет делиться на 41.

Есть и другие (более удобные) признаки делимости на 41, см. [[41 (число)]].

=== Признак делимости на 50 ===
Число делится на {{num1|50}} тогда и только тогда, когда число, образованное двумя его младшими десятичными цифрами, делится на 50.

Соответствующая этому признаку функция:
: <math>A = 100\,a_1 + a_0, \quad 0 \leqslant a_0 < 100, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_0, & A \geqslant 100, \\ A - 50, & 50 \leqslant A < 100. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности.

=== Признак делимости на 59 ===
Число делится на {{num1|59}} тогда и только тогда, когда число десятков, сложенное с цифрой в разряде единиц, умноженной на 6, делится на 59. Например, 767 делится на 59, так как на 59 делятся <math>76 + 6 \cdot 7 = 118</math> и <math>11 + 6 \cdot 8 = 59.</math>

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_1 + 6\,a_0 , & A \geqslant 60, \\ 0, & A = 59. \end{cases}</math>

=== Признак делимости на 79 ===
Число делится на {{num1|79}} тогда и только тогда, когда число десятков, сложенное с цифрой в разряде единиц, умноженной на 8, делится на 79. Например, 711 делится на 79, так как на 79 делятся <math>71 + 8 \cdot 1 = 79</math>.

Соответствующая этому признаку функция:
: <math>A = 10\,a_1 + a_0, \quad 0 \leqslant a_0 < 10, \quad a_1 \geqslant 0,</math>
: <math>F(A) = \begin{cases} a_1 + 8\,a_0 , & A \geqslant 80, \\ 0, & A = 79. \end{cases}</math>

=== Признак делимости на 99 ===
Число делится на {{num1|99}} тогда и только тогда, когда на 99 делится сумма чисел, образующих группы по две цифры (начиная с единиц). Например, 12573 делится на 99, так как на 99 делится <math>1 + 25 + 73 = 99.</math>

Соответствующая признаку функция:
: <math>A = \sum_{i=0}^n 100^i a_i, \quad 0 \leqslant a_i < 100,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \begin{cases} \sum_{i=0}^n a_i , & A \geqslant 100, \\ 0, & A = 99. \end{cases}</math>

Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 123456, <math>12 + 34 + 56 = 102</math> и <math>1 + 2 = 3</math> равноостаточны при делении на 99.

=== Признак делимости на 101 ===
Число делится на {{num1|101}} тогда и только тогда, когда модуль алгебраической суммы чисел, образующих нечётные группы по две цифры (начиная с единиц), взятых со знаком «+», и чётных со знаком «-» делится на 101. Например, 590547 делится на 101, так как на 101 делится <math>\left | 59 - 5 + 47 \right | = 101.</math>

Соответствующая этому признаку функция:
: <math>A = \sum_{i=0}^n 100^i a_i , \quad 0 \leqslant a_i < 100,\quad i = 0, 1, \, \dots \, n,</math>
: <math>F(A) = \left | \sum_{i=0}^n \left ( -1 \right )^i a_i \right |, \quad A \geqslant 101.</math>

=== Признак делимости на 1091 ===
Число делится на 1091 тогда и только тогда, когда разность числа десятков и умноженной на 109 цифры в разряде единиц делится на 1091. Например, 18547 делится на 1091, так как 1854 - 7 * 109 = 1091 делится на 1091.

== Общие признаки делимости ==

=== Признак делимости на делитель степени основания системы счисления ===
Если для некоторых натуральных <math>t</math> и <math>n</math> число <math>t^n</math> делится на натуральное <math>m,</math> то любое целое число <math>A,</math> записанное в системе счисления по основанию <math>t,</math> равноостаточно с числом, образованным <math>n</math> младшими его цифрами. Это свойство позволяет построить признак делимости и равноостаточности на делитель степени основания системы счисления.

Соответствующая этому признаку функция:
: <math>A=t^n a_1 + a_0, \quad 0 \leqslant a_0 < t^n, \quad a_1 \geqslant 0, \quad t^n \,\vdots\, m,</math>
: <math>F(A) = \begin{cases} a_0, & A \geqslant t^n, \\ A - m, & m \leqslant A < t^n. \end{cases}</math>

Например, в десятичной системе счисления это позволяет построить признаки делимости на 2, 4, 5, 8, 10, 16, 20, 25, 32, 40, 50 и т. д.

=== Признак делимости на делитель <math>t^n-1</math> ===
Если для некоторых натуральных <math>t</math> и <math>n</math> число <math>t^n-1</math> делится на натуральное <math>m,</math> то любое целое число <math>A,</math> записанное в системе счисления по основанию <math>t,</math> равноделимо с суммой чисел, образованных разбиением на группы по <math>n</math> цифр, начиная с самой младшей. Это свойство позволяет построить признак делимости на <math>m.</math>

Соответствующая этому признаку функция:
: <math>A = \sum_{i=0}^n t^{in} a_i, \quad 0 \leqslant a_i < t^n,\quad \quad \left( t^n - 1 \right) \,\vdots\, m,</math>
: <math>F(A) = \begin{cases} \sum_{i=0}^n a_i, & A \geqslant t^n, \\ A - m, & m \leqslant A < t^n. \end{cases}</math>

Например, в десятичной системе счисления это позволяет построить признаки делимости на 3, 9, 11, 27, 33, 37, 99, 101, 111, 303, 333, 999, 1111, 3333, 9999 и т. д.

=== Признак делимости на делитель <math>t^n+1</math> ===
Если для некоторых натуральных <math>t</math> и <math>n</math> число <math>t^n+1</math> делится на натуральное <math>m,</math> то любое целое число <math>A,</math> записанное в системе счисления по основанию <math>t,</math> равноделимо с модулем знакопеременной суммы чисел, образованных разбиением на группы по <math>n</math> цифр, начиная с самой младшей. Это свойство позволяет построить признак делимости на <math>m.</math>

Соответствующая этому признаку функция:
: <math>A = \sum_{i=0}^n t^{in} a_i, \quad 0 \leqslant a_i < t^n,\quad \quad \left( t^n + 1 \right) \,\vdots\, m,</math>
: <math>F(A) = \begin{cases} \left| \sum_{i=0}^n (-1)^i a_i \right|, & A \geqslant t^n, \\ A - m, & m \leqslant A < t^n. \end{cases}</math>

Например, в десятичной системе счисления это позволяет построить признаки делимости на 7, 11, 13, 73, 77, 91, 101, 137, 143, 1001, 10001 и т. д.

=== Деление в столбик === 
Время работы алгоритма, проверяющего делимость числа <math>n</math> на некоторое другое число делением «в столбик», составляет <math>O(\log n)</math>. Таким образом во многих случаях так называемые «признаки делимости» не дают заметного выигрыша в количестве совершённых элементарных операций. Исключение составляют признаки делимости на числа вида <math>2^a5^b</math>, время работы которых не зависит от размера проверяемого числа.

== Признаки делимости в других системах счисления ==
Признаки делимости в других системах счисления аналогичны таковым в десятичной. В частности, в любой системе счисления (числа записаны в той системе, в которой мы работаем в данный момент):
* число делится на 10<sup>''n''</sup>, если оно оканчивается на ''n'' нулей.

Если основание системы счисления равно 1 [[сравнение по модулю|по модулю]] некоторого числа ''k'' (то есть остаток от деления основания на ''k'' равен 1), то любое число делится на ''k'' тогда и только тогда, когда сумма его цифр делится на ''k'' без остатка. В частности:
* число делится на 10 − 1, если сумма его цифр делится на 10 − 1;
* если основание системы счисления нечётное, то число делится на 2, если сумма его цифр делится на 2.

Если основание системы счисления равно ''k'' − 1 по модулю некоторого числа ''k'', то любое число делится на ''k'' тогда и только тогда, когда сумма цифр, занимающих нечётные места, либо равна сумме цифр, занимающих чётные места, либо отличается от неё на число, делящееся на ''k'' без остатка. В частности:
* число делится на 11, если сумма цифр, занимающих нечётные места, либо равна сумме цифр, занимающих чётные места, либо отличается от неё на число, делящееся на 11.

Если основание системы счисления делится на некоторое число ''k'', то любое число делится на ''k'' тогда и только тогда, когда его последняя цифра делится на ''k''. В частности:
* если основание системы счисления чётное, то число делится на 2, если его последняя цифра делится на 2.

== См. также ==
* [[Признак Паскаля]] — универсальный признак делимости, позволяющий для любых целых ''a'' и ''b'' определить, делится ли ''a'' на ''b''. Точнее, он позволяет вывести почти все из выше приведённых признаков.

== Литература ==
* {{книга
|автор = [[Воробьёв, Николай Николаевич (математик)|Воробьёв Н. Н.]]
|заглавие = Признаки делимости
|ссылка = http://ilib.mccme.ru/plm/ann/a39.htm
|серия = [[Популярные лекции по математике]]
|том = 39
|издание = 4-е изд
|место = М.
|издательство = Наука
|год = 1988
|страниц = 94
|isbn = 5-02-013731-6
}}

== Примечания ==
{{примечания}}


<!-- перенаправление на [[:de:Teilbarkeit]] -->

[[Категория:Теоретико-числовые алгоритмы]]
[[Категория:Устный счёт]]
[[Категория:Делимость и остатки]]