Отношение делимости и его свойства кратко

Обновлено: 05.07.2024

Натуральные числа – это числа, возникающие естественным образом при счете предметов.

Целые числа – это расширение множества натуральных чисел, получаемое добавлением к нему нуля и отрицательных чисел.

Число n – делитель числа m, делимое m – кратное числа n, а число q – частное от деления m на n.

Простое число – это натуральное число, у которого есть лишь два различающихся натуральных делителя – самого число и единица.

Взаимно простые числа – два натуральных числа, у которых есть лишь один общий делитель, единица.

Наибольший общий делитель (НОД) чисел n и m – самое большое из натуральных чисел, которые являются одновременно делителями натуральных чисел n и m.

Алгоритм Евклида – алгоритм для нахождения наибольшего общего делителя пары чисел.

Знакочередующаяся сумма – это сумма чисел, в которой каждый второй член помножен на –1.

Трехзначные грани числа – это числа, которые получены разбиением исходного числа на трехзначные числа, начиная с его конца.

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

Основная литература:

Колягин Ю.М., Ткачева М.В., Федорова Н.Е., Шабунин М.И., под ред. Жижченко А.Б. Алгебра и начала математического анализа (базовый и профильный уровни) 10 кл. – М.: Просвещение, 2011.

Дополнительная литература:

Баданин А. С., Сизова М. Ю. Применение метода математической индукции к решению задач на делимость натуральных чисел // Юный ученый. — 2015. — №2. — С. 84-86.

Открытые электронные ресурсы:

Теоретический материал для самостоятельного изучения

Целое число

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

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

Натуральные числа – это числа, возникающие естественным образом при счете предметов.

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

Поставим в соответствие каждой из точек, отмеченной на прямой, свой порядковый номер. Эти номера являются натуральными числами, возникающими при счете числа точек на луче (рис. 1).


Рисунок 1 – числовой луч

Число точек на луче бесконечно и каждой ставится в соответствие свое натуральное число.

Целые числа – это расширение множества натуральных чисел, получаемое добавлением к нему нуля и отрицательных чисел.

Дополним нашу числовую ось ненатуральными целыми числами. Отложим второй луч в противоположном первому направлении от точки начала первого луча. И также отложим на нем единичные отрезки (рис. 2)


Рисунок 2 – числовой луч

Добавим на ноль и отрицательные числа, чтобы получить иллюстрацию множества целых чисел (рис. 3).


Рисунок 3 – числовой луч

Делимость. Делитель и частное.

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

Целое число m делится на натуральное число n (или n делит m), если для числа m и числа n существует такое целое число q, что m = n · q.

Число n – делитель числа m, делимое m – кратное числа n, а число q – частное от деления m на n.

Например, целое число – 10 делится на натуральное число 5, так как для этих двух чисел существует целое число –2, такое, что –10 = 5 · –2. При этом –10 – кратное числа 5, 5 – делитель 10, а –2 является частным от деления 10 на 5.

Заметим, что делимость можно определить по-разному. Вместо натурального числа n в определении выше, можно было бы задать n как целое число. Однако мы будем придерживаться определения, введенного в данном уроке.

Часто рассматривают лишь делимость натуральных чисел, хотя по определению кратное в общем случае является целым числом.

Свойства делимости.

Перечислим некоторые свойства делимости:

1. Все целые числа делятся на единицу.

2. Каждое целое число, неравное нулю делится на натуральное число равное модулю от данного целого.

3. Все натуральные числа являются делителями нуля.

4. Если целое число a делится на натуральное число b и модуль числа a меньше b, то a равно нулю.

5. Если целое число a отлично от нуля и делится на натуральное число b, то модуль числа a не меньше числа b.

6. Единственный делитель единицы – сама единица.

7. Чтобы целое число a делилось на натуральное число b необходимо и достаточно, чтобы модуль числа a делился на b.

8. Пусть целое число a делится на натуральное число m, а число m в свою очередь делится на натуральное число k, тогда a делится на k (свойство транзитивности деления).

9. Если натуральные числа делятся друг на друга без остатка, то они равны.

Свойства делимости удобно использовать при доказательстве теорем и решении задач.

Взаимно простые числа.

Простое число – это натуральное число, у которого есть лишь два различающихся натуральных делителя – самого число и единица.

Перечислим некоторые первые простые числа в порядке их возрастания: 2, 3, 5, 7, 11, 13. Любое натуральное число можно представить в виде произведения простых чисел. Это называется факторизацией натурального числа.

Взаимно простые числа – два натуральных числа, у которых есть лишь один общий делитель, единица.

Наибольший общий делитель.

Наибольший общий делитель (НОД) чисел n и m – самое большое из натуральных чисел, которые являются одновременно делителями натуральных чисел n и m.

Например, для чисел 77 и 14 наибольший общий делитель равен 7: НОД (77, 14) = 7.

НОД чисел n и m равен 1 тогда и только тогда, когда числа n и m взаимно просты.

Делимость суммы и произведения.

Рассмотрим свойства делимости суммы разности и произведения чисел. Пусть a и b – целые числа, а m, n и k – натуральные числа.

1) Пусть оба числа a и b делятся на m, тогда числа a + b и a – b также делятся на m.

2) Пусть оба числа a и b делятся на m, тогда при любых k и n число k · a + n · b делится на m.

3) Пусть число a делится на m, а число b не делится на m, тогда числа a + b и a – b не делятся на m.

4) Пусть число a делится на m, а число b делится на n, тогда ab делится на mn.

5) Пусть число a делится на m и n, и при этом m и n – взаимно простые числа, тогда a делится на mn.

6) Пусть число a делится на m, тогда a k делится на m k .

Деление с остатком.

Натуральное число n можно представить в виде:

n = q · m + r ИЛИ n / m = q (остаток r)

где q – целое неотрицательное число (0, 1, 2, …), m – натуральное число, r – целое неотрицательное число, меньшее m (0, 1, 2, …, m – 1).

Число n называют делимым, m – делителем, q – (неполным) частным, r – остатком (от деления).

Например, число 23 представимо в виде: 23 = 2 · 10 + 3, где 23 – делимое, 10 – делитель, 3 – остаток.

Алгоритм Евклида.

Нахождение наибольшего общего делителя пары чисел может стать весьма сложной задачей. Для упрощения решения подобных примеров существует алгоритм Евклида.

Пусть a и b– натуральные числа, не равные одновременно нулю, и верна последовательность чисел


ИЛИ (остаток )

ИЛИ (остаток )

ИЛИ (остаток )

ИЛИ (остаток )

ИЛИ (остаток rk)

ИЛИ(остаток rn)

ИЛИ (остаток 0)

То есть после первых двух шагов мы получаем последовательность остатков, делящихся друг на друга. При этом предпоследнее число делится на последнее нацело.


НОД(a, b), равен , то есть последнему ненулевому члену этой последовательности.

Признаки делимости.

Зачастую в задаче требуется ответить, делится ли число на определенное целое число.

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

Знакочередующаяся сумма – это сумма чисел, в которой каждый второй член помножен на –1.

Например, знакочередующаяся сумма всех цифр, записанных от нуля до девяти равна:

0 – 1 + 2 – 3 + 4 – 5 + 6 – 7 + 8 – 9 = – 5.

Трехзначные грани числа – это числа, которые получены разбиением исходного числа на трехзначные числа, начиная с его конца.

Например, трехзначные грани числа 6579813 это 6, 579, 813.

Таблица 1 – Признаки делимости

Число a делится на число n тогда и только тогда, когда

последняя цифра числа a делится на 2

сумма всех цифр числа a делится на 3

число, составленное из двух последних цифр числа a, делится на 4

число a оканчивается цифрой 0 или 5

знакочередующаяся сумма трехзначных граней числа a делится на 7

число, составленное из трех последних цифр числа a, делится на 8

сумма всех цифр числа a делится на 9

число a оканчивается цифрой 0

знакочередующаяся сумма цифр числа a делится на 11

знакочередующаяся сумма трехзначных граней числа a делится на 13

число, составленное из двух последних цифр числа a, делится на 25

Метод математической индукции для доказательства делимости.

1. Базис индукции.

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

2. Индукционное предположение.

Предполагаем, что утверждение верно для некоторого натурального значения k.

3. Шаг индукции (индукционный переход).

Доказываем, что утверждение справедливо для значения k+1.

Если утверждение оказалось справедливым при каждом доказательстве в предыдущих шагах, то утверждение верно для любого натурального числа n.

Примеры и разбор решения заданий тренировочного модуля

Найдите среди чисел пары взаимно простых.

65, 30, 110, 1001, 273, 35, 14, 26

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

По признаку делимости на 2, число делится на 2 тогда и только тогда, когда его последняя цифра является четной. Значит, можно выделить первую группу чисел: 30, 110, 14, 26. Каждое из них делится на 2.

По признаку делимости на 5, число делится на 5 тогда и только тогда, когда его последняя цифра равна 5 или 0. Значит, можно выделить вторую группу чисел: 65, 30, 110, 35. Каждое из них делится на 5.

По признаку делимости на 7, число делится на 7 тогда и только тогда, когда знакочередующаяся сумма трехзначных граней этого числа делится на 7. Значит, можно выделить третью группу чисел: 1001, 273, 35, 14. Каждое из них делится на 7.

По признаку делимости на 13, число делится на 13 тогда и только тогда, когда знакочередующаяся сумма трехзначных граней этого числа делится на 13. Значит, можно выделить четвертую группу чисел: 65, 1001, 273, 26. Каждое из них делится на 13.

Очевидно, что внутри одной группы не могут находиться пары взаимно простых чисел. Поэтому искать такие пары нужно среди чисел, не принадлежащих одной группе. Начнем с 65. Единственным числом, которое остается после исключения из данных чисел всех, кто находится с ним в одной из групп, является 14.

Проведем аналогичные действия со всеми остальными данными числами, исключая найденные взаимно простые пары.

Получим возможные пары:

(30; 273) или (30; 1001)

(110; 1001) или (110; 273)

Чтобы быть уверенными в найденной паре, необходимо удостоверится, что НОД пары равен 1.

Проверим, действительно ли 65 и 14 являются взаимно простыми. Разложим каждое из них на простые множители. 65 = 5 · 13, 14 = 7 · 2. НОД(65, 14) = 1, они действительно взаимно простые.

Проверим, действительно ли 35 и 26 являются взаимно простыми. Разложим каждое из них на простые множители. 35 = 5 · 7, 26 = 13 · 2. НОД(35, 26) = 1, они действительно взаимно простые.

Проверим пару (30; 273). По признаку делимости на 3 они оба делятся на это число. Значит, они не взаимно простые.

Проверим, действительно ли 30 и 1001 являются взаимно простыми. Разложим каждое из них на простые множители. 30 = 3 · 2 · 5, 1001 = 13 · 11· 7. НОД(30, 1001) = 1, они действительно взаимно простые.

Осталось проверить пару (110; 273). Разложим каждое из них на простые множители. 110 = 2 · 5 · 11, 273 = 3 · 91 = 3 · 7 · 13. НОД(110, 273) = 1, они действительно взаимно простые.

Ответ: (65; 14), (30; 1001), (110; 273), (35; 26).

Найдите НОД(2457, 1473).

Решим задачу с помощью алгоритма Евклида.

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

2457 = 1 · 1473 + 984

1473 = 1 · 984 + 489

Последний ненулевой член этой последовательности оказался равен 3. Следовательно, НОД(2457, 1473) = 3.

Ответ: НОД(2457, 1473) = 3.

Определите, делится ли число 17943646 на 7.

Для начала разобьем это число на грани: 17|943|646. Получили числа 17, 943, 646. Найдем их знакочередующуюся сумму: 17 – 943 + 646 = –280. Число –280 делится на 7 нацело. Следовательно, по признаку делимости числа на 7 число 17943646 также делится на 7 нацело.

Ответ: число 17943646 делится на 7 без остатка.


Докажите делимость + 6n – 10 на 18 при любом натуральном n.

Воспользуемся методом математической индукции для решения задачи.

1. Проверим справедливость утверждения при n = 1:


+ 6 – 10 = 10 – 10 = 0

Ноль делится на любое натуральное число, значит на 18 тоже. Утверждение справедливо при n = 1.

2. Предположим, что утверждение верно для некоторого натурального значения k. Тогда + 6k – 10 делится на 18. То есть, по определению: + 6k – 10 = 18 · m, где m – целое число.

3. Рассмотрим выражение при n = k +1.

+ 6(k + 1) – 10 = 4 ⋅ + 6k + 6 – 10 = 4 ·+ 6k – 4

Воспользуемся нашим предположением о верности рассматриваемого утверждения для значения k:

+ 6k – 10 = 18m, следовательно = –6k + 10 + 18m.


Подставим полученное значение для в выражение при n = k + 1:

4. Утверждение оказалось справедливым при наименьшем натуральном числе n = 1 и при n = k + 1 с условием его верности при n = k. По методу математической индукции следует, утверждение справедливо при любом натуральном n. Что и требовалось доказать.

В этом случае число b называют делителем числа а, а число а – кратным числа b.

Например, 24 делится на 8, так как существует такое q = 3, что 24 = 8*3. Можно сказать иначе: 8 – это делитель числа 24, а 24 есть кратное числа 8.

Из определения отношения делимости и равенства а = 1*а, справедливого для любого натурального а, вытекает, 1 является делителем любого натурального числа.

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

Теорема. Делитель b данного числа а не превышает этого числа. Если , то .

Доказательство. Так как , то существует такое , что a = bq, значит, a – b = bq – b = b*(q – 1). Поскольку , то . Тогда и, следовательно, .

Из данной теоремы следует, что множество делителей данного числа конечно. Назовем, например, все делители числа 36. Они образуют конечное множество .

Свойства делимости

Нам известно, что отношение делимости на множестве N обладает рядом свойств, в частности, оно рефлексивно, антисимметрично и транзитивно. Теперь, имея определение отношения делимости, мы можем доказать эти и другие его свойства.

Теорема. Отношение делимости рефлексивно, т.е. любое нату­ральное число делится само на себя.

Доказательство. Для любого натурального а справедливо ра­венство . Так как 1 е N, то, по определению отношения дели­мости, .

Теорема. Отношение делимости антисимметрично, т.е. если и , то .

Доказательство. Предположим противное, т. е. что . Но тог­да , согласно теореме, рассмотренной выше.

По условию и . Тогда, по той же теореме,.

Неравенства и будут справедливы лишь тогда, когда , что противоречит условию теоремы. Следовательно, наше предпо­ложение неверное и теорема доказана.

Теорема. Отношение делимости транзитивно, т.е. если и , то .

Доказательство. Так как, то существует такое натуральное число q, что а = bq, а так как , то существует такое натуральное число p, что . Но тогда имеем: . Число pq – натуральное. Значит, по определению отношения делимости,.

Теорема (признак делимости суммы). Если каждое из натураль­ных чисел а1, а2 . ап делится на натуральное число b, то и их сумма а1 + а2 + . + ап делится на это число.

Доказательство. Так как , то существует такое натураль­ное число что . Так как , то существует такое нату­ральное число ,что . Продолжая рассуждения, получим, что если , то существует такое натуральное число , что . Эти равенства позволяют преобразовать сумму а1 + а2 + . + ап в сумму вида bq1 + bq2 + . + bqn. Вынесем за скобки общий множитель b, а получившееся в скобках натуральное число q1 + q2 + . + qn обозначим буквой q. Тогда а1 + а2 + . + ап = b(q1 + q2 + . + qn) = bq , т.е. сумма а1 + а2 + . + ап оказалась представленной в виде произведения числа b и некоторого натурального числа q. А это значит, что сумма а1 + а2 + . + ап делится на b, что и требовалось доказать.

Например, не производя вычислений, можно сказать, что сумма 175 + 360 + 915 делится на 5, так как на 5 делится каждое слагаемое этой суммы.

Теорема (признак делимости разности). Если числа а1 и а2 делятся на b и , то их разность делится на b.

Доказательство этой теоремы аналогично доказательству призна­ка делимости суммы.

Теорема (признак делимости произведения). Если число а де­лится на b, то произведение вида ах, где N, делится на b.

Доказательство. Так как , то существует такое натураль­ное число q, что . Умножим обе части этого равенства на нату­ральное число х. Тогда ах = (bq)x, откуда на основании свойства ассоциативности умножения (bq)x = b(qx) и, значит, ах = b(qx), где qx – натуральное число. Согласно определению отношения делимости, , что и требовалось доказать.

Из доказанной теоремы следует, что если один из множителей произведения делится на натуральное число b, то и все произведение делится на b.

Читайте также: