Сайт патологического холостяка

Эта страница только для чтения. Вы можете посмотреть её исходный текст, но не можете его изменить. Сообщите администратору, если считаете, что это неправильно.
<WRAP #content>
======Признаки делимости======
<WRAP #bodyContent><WRAP #mw-content-text :ru><wrap>**При́знак дели́мости** — [[алгоритм]], позволяющий сравнительно быстро определить, является ли число кратным заранее заданному((С практической точки зрения //«сравнительно быстро»// означает //«быстрее, чем можно было бы выполнить фактическое деление»// теми же самыми средствами. Причём эффективность этого алгоритма в немалой степени зависит от формы представления чисел и имеющихся в распоряжении вычислительных возможностей.)). Если признак делимости позволяет выяснить не только [[делимость]] числа на заранее заданное, но и остаток от деления, то его называют **признаком равноостаточности**.</wrap>

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

<wrap></wrap>

<wrap></wrap>


=====Понятия делимости, равноделимости и равноостаточности=====
<wrap>Если для двух [[целое-число|целых чисел]] </wrap><tex>a</tex><wrap> и </wrap><tex>b</tex><wrap> существует такое целое число </wrap><tex>q,</tex><wrap> что</wrap>

<WRAP>
<tex>b\,q=a,</tex></WRAP>
<wrap>то говорят, что число </wrap><tex>a</tex><wrap> //делится// на </wrap><tex>b.</tex><wrap></wrap>

<wrap>Два целых числа </wrap><tex>a</tex><wrap> и </wrap><tex>b</tex><wrap> называются //равноделимыми// на </wrap><tex>m,</tex><wrap> если либо они оба делятся на </wrap><tex>m,</tex><wrap> либо оба не делятся((<wrap>//Воробьев Н. Н.// Признаки делимости. — 4-е изд., испр. — <wrap>М</wrap>.: Наука, 1988. — С. 42. — ([[популярные-лекции-по-математике|Популярные лекции по математике]]). — [[служебная-источники-книг/5020137316|ISBN 5-02-013731-6]].</wrap>)).</wrap>

<wrap>Два целых числа </wrap><tex>a</tex><wrap> и </wrap><tex>b</tex><wrap> //равноостаточны// при делении на [[натуральное-число|натуральное число]] </wrap><tex>m</tex><wrap> (или [[сравнение-по-модулю|сравнимы по модулю]] </wrap><tex>m</tex><wrap>), если при делении на </wrap><tex>m</tex><wrap> они дают одинаковые остатки, то есть существует такие целые числа </wrap><tex>q_{1},\,q_{2},\,r,</tex><wrap> что</wrap>

<WRAP>
<tex>a=m\,q_{1}+r,\;\;b=m\,q_{2}+r.</tex></WRAP>

=====Общие принципы построения=====
<wrap>Пусть требуется определить, [[делимость|делится]] ли некоторое [[натуральное-число|натуральное число]] </wrap><tex>A</tex><wrap> на другое натуральное число </wrap><tex>m.</tex><wrap> Для этого будем строить последовательность натуральных чисел:</wrap>

<WRAP>
<tex>A_{0},\,A_{1},\,A_{2},\,A_{3},\,\dots ,\,A_{n},</tex></WRAP>
<wrap>такую, что:</wrap>


  - <tex>{\displaystyle A_{0}=A;}</tex>
  - каждый член последовательности вполне определяется предыдущим;
  - <tex>A_{i}<A_{{i-1}},\quad i=1,\,2,\,3,\,\dots ,\,n-1;</tex>
  - последний член последовательности меньше <tex>m,</tex> то есть <tex>{\displaystyle 0\leqslant A_{n}<m.}</tex>
  - все члены последовательности являются равноделимыми на <tex>m.</tex>
<wrap>Тогда если последний член этой последовательности равен нулю, то </wrap><tex>A</tex><wrap> делится на </wrap><tex>m,</tex><wrap> в противном случае </wrap><tex>A</tex><wrap> на </wrap><tex>m</tex><wrap> не делится.</wrap>

<wrap>Способ (алгоритм) построения такой последовательности и будет искомым //признаком делимости// на </wrap><tex>m.</tex><wrap> Математически он может быть описан с помощью функции </wrap><tex>f(x),</tex><wrap> определяющей каждый следующий член последовательности в зависимости от предыдущего:</wrap>

<WRAP>
<tex>A_{i}=f\left(A_{{i-1}}\right),\quad i=1,\,2,\,3,\,\dots ,\,n,</tex></WRAP>
<wrap>удовлетворяющей следующим условиям:</wrap>


  - при <tex>{\displaystyle x<m}</tex> значение <tex>f(x)</tex> не определено;
  - при <tex>x\geqslant m</tex> значение <tex>f(x)</tex> есть натуральное число;
  - если <tex>x\geqslant m,</tex> то <tex>{\displaystyle f(x)<x;}</tex>
  - если <tex>x\geqslant m,</tex> то <tex>f(x)</tex> и <tex>x</tex> равноделимы на <tex>m.</tex>
<wrap>Если требование равноделимости для всех членов последовательности заменить на более строгое требование равноостаточности, то последний член этой последовательности будет являться остатком от деления </wrap><tex>A</tex><wrap> на </wrap><tex>m,</tex><wrap> а способ (алгоритм) построения такой последовательности будет //признаком равноостаточности// на </wrap><tex>m.</tex><wrap> В силу того, что из равенства остатка при делении на </wrap><tex>m</tex><wrap> нулю следует делимость на </wrap><tex>m</tex><wrap>, любой признак равноостаточности может применяться как признак делимости. Математически признак равноостаточности тоже может быть описан с помощью функции </wrap><tex>f(x),</tex><wrap> определяющей каждый следующий член последовательности в зависимости от предыдущего:</wrap>

<WRAP>
<tex>A_{i}=f\left(A_{{i-1}}\right),\quad i=1,\,2,\,3,\,\dots ,\,n,</tex></WRAP>
<wrap>удовлетворяющей следующим условиям:</wrap>


  - при <tex>{\displaystyle x<m}</tex> значение <tex>f(x)</tex> не определено;
  - при <tex>x\geqslant m</tex> значение <tex>f(x)</tex> есть натуральное число;
  - если <tex>x\geqslant m,</tex> то <tex>{\displaystyle f(x)<x;}</tex>
  - если <tex>x\geqslant m,</tex> то <tex>f(x)</tex> и <tex>x</tex> равноостаточны при делении на <tex>m.</tex>
<wrap>Примером такой функции, определяющей признак равноостаточности (и, соответственно, признак делимости), может быть функция</wrap>

<WRAP>
<tex>f(x)=x-m,\quad x\geqslant m,</tex></WRAP>
<wrap>а последовательность, построенная с её помощью будет иметь вид:</wrap>

<WRAP>
<tex>A,\,A-m,\,A-2m,\,A-3m,\,\dots</tex></WRAP>
<wrap>По сути применение признака равноостаточности на базе этой функции эквивалентно делению при помощи вычитания.</wrap>

<wrap>Другим примером может служить общеизвестный признак делимости (а также равноостаточности) на 10.</wrap>

<WRAP>
    * ////Если последняя цифра в десятичной записи числа равна нулю, то это число делится на 10; кроме того, последняя цифра будет являться отстатком от деления исходного числа на 10.////
</WRAP>
<wrap>Математически этот признак равноостаточности может быть сформулирован следующим образом. Пусть надо выяснить остаток от деления на 10 натурального числа </wrap><tex>A,</tex><wrap> представленного в виде</wrap>

<WRAP>
<tex>A=10\,b+a,\quad 0\leqslant a<10,\quad b\geqslant 0.</tex></WRAP>
<wrap>Тогда остатком от деления </wrap><tex>A</tex><wrap> на 10 будет </wrap><tex>a</tex><wrap>. Функция, описывающая это признак равноостаточности будет выглядеть как</wrap>

<WRAP>
<tex>f(A)=a,\quad A\geqslant 10.</tex></WRAP>
<wrap>Легко доказать, что эта функция удовлетворяет всем перечисленным выше требованиям. Причём последовательность, построенная с её помощью, будет содержать всего один или два члена.</wrap>

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

<wrap>Для построения признаков равноостаточности и делимости чаще всего используется следующие теоремы:</wrap>


  - При любых целом <tex>q</tex> и натуральном <tex>m</tex> целые числа <tex>A</tex> и <tex>A+mq</tex> равноостаточны при делении на <tex>m.</tex>
  - При любых целом <tex>q</tex>, натуральном <tex>m</tex>, целые числа <tex>A</tex> и <tex>pA+mq</tex> равноделимы на <tex>m,</tex> если целое <tex>p</tex> является [[взаимно-простые-числа|взаимно простым]] с <tex>m.</tex>
<wrap>\\
</wrap>

<WRAP><WRAP>Пример построения признаков делимости и равноостаточности на 7  </WRAP><WRAP leftalign><wrap>Продемонстрируем применение этих теорем на примере признаков делимости и равноостаточности на </wrap><tex>m=7.</tex><wrap></wrap>

<wrap>Пусть дано целое число</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0.</tex></WRAP>
<wrap>Тогда из первой теоремы полагая </wrap><tex>q=-a_{1}</tex><wrap> будет следовать, что </wrap><tex>A</tex><wrap> будет равноостаточно при делении на 7 с числом</wrap>

<WRAP>
<tex>A'=A-7a_{1}=\left(10-7\right)a_{1}+a_{0}=3\,a_{1}+a_{0}.</tex></WRAP>
<wrap>Запишем функцию признака равноостаточности в виде:</wrap>

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

<WRAP>
<tex>f(A)={\begin{cases}3\,a_{1}+a_{0},&A\geqslant 10,\\A-7,&7\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>А из второй теоремы полагая </wrap><tex>q=3\,a_{1}</tex><wrap> и </wrap><tex>p=-2,</tex><wrap> взаимно простое с 7, будет следовать, что </wrap><tex>A</tex><wrap> будет равноделимы на 7 с числом</wrap>

<WRAP>
<tex>A'=7\cdot 3a_{1}-2A=\left(21-20\right)a_{1}-2\,a_{0}=a_{1}-2\,a_{0}.</tex></WRAP>
<wrap>Учитывая, что числа </wrap><tex>A'</tex><wrap> и </wrap><tex>\left|A'\right|</tex><wrap> равноделимы на 7, запишем функцию признака делимости в виде:</wrap>

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

<WRAP>
<tex>f(A)={\begin{cases}\left|a_{1}-2\,a_{0}\right|,&A\geqslant 10,\\A-7,&7\leqslant A<10.\end{cases}}</tex></WRAP>
</WRAP></WRAP>
=====Признаки делимости в десятичной системе счисления=====

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

<wrap>Соответствующая признаку функция (см. раздел [[#.D0.9E.D0.B1.D1.89.D0.B8.D0.B5_.D0.BF.D1.80.D0.B8.D0.BD.D1.86.D0.B8.D0.BF.D1.8B_.D0.BF.D0.BE.D1.81.D1.82.D1.80.D0.BE.D0.B5.D0.BD.D0.B8.D1.8F|«Общие принципы построения»]]):</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0},<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{0},&A\geqslant 10\\A-2,&2\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


====Признак делимости на 3====
<wrap>Число делится на [[3-число|3]], когда сумма его цифр делится на 3. Например, число 159 делится на 3, поскольку сумма его цифр 1 + 5 + 9 = 15 делится на 3.</wrap>

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}10^{i}a_{i},\quad 0\leqslant a_{i}<10,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)={\begin{cases}{\sum _{{i=0}}^{n}a_{i}},&A\geqslant 10,\\A-3,&3\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 154, </wrap><tex>1+5+4=10</tex><wrap> и </wrap><tex>1+0=1</tex><wrap> равноостаточны при делении на 3.</wrap>


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

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>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,</tex><tex>F(A)={\begin{cases}2\,a_{1}+a_{0},&A\geqslant 10,\\A-4,&4\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 87, </wrap><tex>8\cdot 2+7=23</tex><wrap> и </wrap><tex>2\cdot 2+3=7</tex><wrap> равноостаточны при делении на 4.</wrap>

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


====Признак делимости на 5====
<wrap>Число делится на [[5-число|5]] тогда и только тогда, когда оно оканчивается на 0 или на 5.</wrap>

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{0},&A\geqslant 10,\\A-5,&5\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


====Признак делимости на 6====
<wrap>Число делится на [[6-число|6]] тогда, когда оно делится и на 2, и на 3 (то есть если оно четное и сумма его цифр делится на 3).</wrap>

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

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}4\,a_{1}+a_{0},&A\geqslant 10,\\A-6,&6\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 73, </wrap><tex>7\cdot 4+3=31,</tex><wrap> </wrap><tex>3\cdot 4+1=13</tex><wrap> и </wrap><tex>1\cdot 4+3=7</tex><wrap> равноостаточны при делении на 6.</wrap>


====Признак делимости на 7====
<wrap>//Признак 1//: число делится на [[7-число|7]] тогда, когда утроенное число десятков, сложенное с цифрой в разряде единиц, делится на 7. Например, 154 делится на 7, так как на 7 делится </wrap><tex>15\cdot 3+4=49.</tex><wrap> 1001 делится на 7, так как на 7 делятся </wrap><tex>{\displaystyle 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.}</tex><wrap></wrap>

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}3\,a_{1}+a_{0},&A\geqslant 10,\\A-7,&7\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 87, </wrap><tex>8\cdot 3+7=31,</tex><wrap> </wrap><tex>3\cdot 3+1=10</tex><wrap> и </wrap><tex>1\cdot 3+0=3</tex><wrap> равноостаточны при делении на 7.</wrap>

<wrap>//Признак 2//: число делится на 7 тогда и только тогда, когда модуль алгебраической суммы чисел, образующих нечётные группы по три цифры (начиная с единиц), взятых со знаком «+», и чётных со знаком «-» делится на 7. Например, <wrap>138 689 257</wrap> делится на 7, так как на 7 делится </wrap><tex>\left|138-689+257\right|=294.</tex><wrap></wrap>

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}1000^{i}a_{i},\quad 0\leqslant a_{i}<1000,\quad i=0,1,\,\dots \,n,</tex><tex>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}}</tex></WRAP>
<wrap>//Признак 3//: зачеркнув в данном числе три последние цифры, вычитают из числа, образованного оставшимися цифрами, число, образованное зачёркнутыми цифрами (или наоборот, в зависимости от того, какое из них больше); если остаток равен нулю или делится на 7, то данное число разделится на 7</wrap>

<wrap>//Признак 4//: удвоение единицы числа отнять от оставшегося числа, то есть все кроме единиц и разница будет делиться на 7, то число кратно 7. Например: 784 делится на 7,так как 78-(2×4)=78-8=70</wrap>


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

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>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,</tex><tex>F(A)={\begin{cases}4\,a_{2}+2\,a_{1}+a_{0},&A\geqslant 10,\\A-8,&8\leqslant A<10.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 567, </wrap><tex>5\cdot 4+6\cdot 2+7=39,</tex><wrap> </wrap><tex>3\cdot 2+9=15</tex><wrap> и </wrap><tex>1\cdot 2+5=7</tex><wrap> равноостаточны при делении на 8.</wrap>


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

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}10^{i}a_{i},\quad 0\leqslant a_{i}<10,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)={\begin{cases}\sum _{{i=0}}^{n}a_{i},&A\geqslant 10,\\0,&A=9.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 345, </wrap><tex>3+4+5=12</tex><wrap> и </wrap><tex>1+2=3</tex><wrap> равноостаточны при делении на 9.</wrap>


====Признак делимости на 10====
<wrap>Число делится на [[10-число|10]] тогда и только тогда, когда оно оканчивается на [[ноль-цифра|ноль]].</wrap>

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)=a_{0},\quad A\geqslant 10.</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}10^{i}a_{i}\quad 0\leqslant a_{i}<10,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)=\left|\sum _{{i=0}}^{n}\left(-1\right)^{i}a_{i}\right|,\quad A\geqslant 11.</tex></WRAP>
<wrap>//Признак 2:// число делится на 11 тогда и только тогда, когда на 11 делится сумма чисел, образующих группы по две цифры (начиная с единиц). Например, 103785 делится на 11, так как на 11 делятся </wrap><tex>10+37+85=132</tex><wrap> и </wrap><tex>01+32=33.</tex><wrap></wrap>

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}100^{i}a_{i},\quad 0\leqslant a_{i}<100,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)={\begin{cases}\sum _{{i=0}}^{n}a_{i},&A\geqslant 100,\\A-11,&11\leqslant A<100.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 123456, </wrap><tex>12+34+56=102</tex><wrap> и </wrap><tex>1+2=3</tex><wrap> равноостаточны при делении на 11.</wrap>


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

<wrap>- когда разность числа десятков с девятикратным числом единиц делится на 13. Например 845 делится на 13, так как на 13 делятся </wrap><tex>84-9\cdot 5=39.</tex><wrap></wrap>

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{1}+4\,a_{0},&A\geqslant 40,\\A-13,&13\leqslant A<40.\end{cases}}</tex></WRAP>
<wrap>//Признак 2//: зачеркнув в данном числе три последние цифры, вычитают из числа, образованного оставшимися цифрами, число, образованное зачеркнутыми цифрами (или наоборот, в зависимости от того, какое из них больше); если остаток равен нулю или делится на 13, то данное число разделится.</wrap>


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

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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}\left|a_{1}-5\,a_{0}\right|,&A\geqslant 40,\\A-17,&17\leqslant A<40.\end{cases}}</tex></WRAP>

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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{1}+2\,a_{0},&A\geqslant 20,\\0,&A=19.\end{cases}}</tex></WRAP>

====Признак делимости на 20====
<wrap>Число делится на [[20-число|20]] тогда и только тогда, когда число, образованное двумя последними цифрами, делится на 20.</wrap>

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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=100\,a_{1}+a_{0},\quad 0\leqslant a_{0}<100,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{0},&A\geqslant 100,\\A-20,&20\leqslant A<100.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


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

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

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


====Признак делимости на 25====
<wrap>Число делится на [[25-число|25]] тогда и только тогда, когда две его последние цифры составляют число, которое делится на 25.</wrap>

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=100\,a_{1}+a_{0},\quad 0\leqslant a_{0}<100,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{0},&A\geqslant 100,\\A-25,&25\leqslant A<100.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


====Признак делимости на 27====
<wrap>Число делится на [[27-число|27]] тогда и только тогда, когда на 27 делится сумма чисел, образующих группы по три цифры (начиная с единиц).</wrap>

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}1000^{i}a_{i},\quad 0\leqslant a_{i}<1000,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)={\begin{cases}\sum _{{i=0}}^{n}a_{i},&A\geqslant 1000,\\A-27,&27\leqslant A<1000.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{1}+3\,a_{0},&A\geqslant 30,\\0,&A=29.\end{cases}}</tex></WRAP>

====Признак делимости на 30====
<wrap>Число делится на [[30-число|30]] тогда и только тогда, когда оно заканчивается на 0 и сумма всех цифр делится на 3. Например: 510 делится на 30, а 678 - нет.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)=\left|a_{1}-3\,a_{0}\right|,\quad A\geqslant 31.</tex></WRAP>

====Признак делимости на 37====
<wrap>//Признак 1:// число делится на [[37-число|37]] тогда и только тогда, когда при разбивании числа на группы по три цифры (начиная с единиц) сумма этих групп кратна 37.</wrap>

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}1000^{i}a_{i},\quad 0\leqslant a_{i}<1000,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)={\begin{cases}\sum _{{i=0}}^{n}a_{i},&A\geqslant 1000,\\A-37,&37\leqslant A<1000.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>

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

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>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,</tex><tex>F(A)=\left|3\,a_{2}+4\,a_{1}-7\,a_{0}\right|,\quad A\geqslant 37.</tex></WRAP>
<wrap>//Признак 3:// число делится на 37 тогда и только тогда, когда на 37 делится модуль суммы числа сотен с цифрой в разряде единиц, умноженной на десять, за вычетом цифры в разряде десятков, умноженной на 11. Например, число 481 делится на 37, так как на 37 делится </wrap><tex>\left|4-11\cdot 8+10\cdot 1\right|=74.</tex><wrap></wrap>

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>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,</tex><tex>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}}</tex></WRAP>

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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)=\left|a_{1}-4\,a_{0}\right|,\quad A\geqslant 41.</tex></WRAP>
<wrap>//Признак 2//: чтобы проверить, делится ли число на 41, его следует справа налево разбить на грани по 5 цифр в каждой. Затем в каждой грани первую справа цифру умножить на 1, вторую цифру умножить на 10, третью — на 18, четвёртую — на 16, пятую — на 37 и все полученные произведения сложить. Если результат будет делиться на 41, тогда и только тогда само число будет делиться на 41.</wrap>

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


====Признак делимости на 50====
<wrap>Число делится на [[50-число|50]] тогда и только тогда, когда число, образованное двумя его младшими десятичными цифрами, делится на 50.</wrap>

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=100\,a_{1}+a_{0},\quad 0\leqslant a_{0}<100,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{0},&A\geqslant 100,\\A-50,&50\leqslant A<100.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{1}+6\,a_{0},&A\geqslant 60,\\0,&A=59.\end{cases}}</tex></WRAP>

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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=10\,a_{1}+a_{0},\quad 0\leqslant a_{0}<10,\quad a_{1}\geqslant 0,</tex><tex>F(A)={\begin{cases}a_{1}+8\,a_{0},&A\geqslant 80,\\0,&A=79.\end{cases}}</tex></WRAP>

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

<wrap>Соответствующая признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}100^{i}a_{i},\quad 0\leqslant a_{i}<100,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)={\begin{cases}\sum _{{i=0}}^{n}a_{i},&A\geqslant 100,\\0,&A=99.\end{cases}}</tex></WRAP>
<wrap>Эта функция помимо признака делимости задаёт и признак равноостаточности. Например, числа 123456, </wrap><tex>12+34+56=102</tex><wrap> и </wrap><tex>1+2=3</tex><wrap> равноостаточны при делении на 99.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=\sum _{{i=0}}^{n}100^{i}a_{i},\quad 0\leqslant a_{i}<100,\quad i=0,1,\,\dots \,n,</tex><tex>F(A)=\left|\sum _{{i=0}}^{n}\left(-1\right)^{i}a_{i}\right|,\quad A\geqslant 101.</tex></WRAP>

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

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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>A=t^{n}a_{1}+a_{0},\quad 0\leqslant a_{0}<t^{n},\quad a_{1}\geqslant 0,\quad t^{n}\,\vdots \,m,</tex><tex>F(A)={\begin{cases}a_{0},&A\geqslant t^{n},\\A-m,&m\leqslant A<t^{n}.\end{cases}}</tex></WRAP>
<wrap>Например, в десятичной системе счисления это позволяет построить признаки делимости на 2, 4, 5, 8, 10, 16, 20, 25, 32, 40, 50 и т. д.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>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,</tex><tex>F(A)={\begin{cases}\sum _{{i=0}}^{n}a_{i},&A\geqslant t^{n},\\A-m,&m\leqslant A<t^{n}.\end{cases}}</tex></WRAP>
<wrap>Например, в десятичной системе счисления это позволяет построить признаки делимости на 3, 9, 11, 27, 33, 37, 99, 101, 111, 303, 333, 999, 1111, 3333, 9999 и т. д.</wrap>


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

<wrap>Соответствующая этому признаку функция:</wrap>

<WRAP>
<tex>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,</tex><tex>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}}</tex></WRAP>
<wrap>Например, в десятичной системе счисления это позволяет построить признаки делимости на 7, 11, 13, 73, 77, 91, 101, 137, 143, 1001, 10001 и т. д.</wrap>


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


  * число делится на 10<sup>//n//</sup>, если оно оканчивается на //n// нулей.
<wrap>Если основание системы счисления равно 1 [[сравнение-по-модулю|по модулю]] некоторого числа //k// (то есть остаток от деления основания на //k// равен 1), то любое число делится на //k// тогда и только тогда, когда сумма его цифр делится на //k// без остатка. В частности:</wrap>


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


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


  * если основание системы счисления чётное, то число делится на 2, если его последняя цифра делится на 2.

=====См. также=====

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

=====Литература=====

  * <wrap>//Воробьев Н. Н.// [[http://ilib.mccme.ru/plm/ann/a39.htm|Признаки делимости]]. — 4-е изд. — <wrap>М</wrap>.: Наука, 1988. — Т. 39. — 94 с. — ([[популярные-лекции-по-математике|Популярные лекции по математике]]). — [[служебная-источники-книг/5020137316|ISBN 5-02-013731-6]].</wrap>
</WRAP><WRAP></WRAP></WRAP></WRAP>
{{tag>"Теоретико-числовые алгоритмы" "Устный счёт" "Делимость и остатки"}}
Сайт патологического холостяка

Главное меню

Рекомендовать сайт

Навигация

Вход на сайт

Старая структура меню

Реклама

Сайт патологического холостяка

Инструменты пользователя

Инструменты сайта

Инструменты страницы

Главное меню

Рекомендовать сайт

Навигация

Вход на сайт

Старая структура меню

Реклама
