Ключевые слова: теория чисел, лекции, взаємно прості числа.
Определение. Целые числа a и b называются взаимно простыми, если (a , b) = 1.
Два числа a и b являются взаимно простыми тогда и только тогда, когда найдутся целые числа u и v такие, что au + bv = 1.
Пусть X = { x n | n = 1, 2,...} - произвольная строго возрастающая последовательность натуральных чисел (или, если угодно, X - произвольное подмножество натуральных чисел, упорядоченное естественным образом). Обозначим через ξ(N; X) число членов последовательности X, не превосходящих N .
Определение. Число называется (верхней асимптотической) плотностью последовательности X = { x n | n = 1, 2,...} в множестве N .
Пример 1.
Пусть x n = 2n , где n пробегает N , - последовательность всех четных чисел. Очевидно, что
Между прочим, это хорошо согласуется с нашими интуитивными представлениями о том, что четных чисел - половина.
Пример 2.
Пусть x n =2 n , где n пробегает N , - геометрическая прогрессия. Интуитивно ясно, что таких чисел в натуральном ряду мало, ибо чем "дальше в лес" по натуральному ряду, тем реже встречается степень двойки. Понятие плотности подтверждает это ощущение: ξ (2 k ; { x n }) = k , и, легко проверить, что
Плотность - это вероятность наугад вытащить из натурального ряда число, принадлежащее заданной последовательности.
Аналогично определению плотности последовательности, можно дать определение плотности множества пар натуральных чисел. Пусть имеется произвольное множество Х упорядоченных пар натуральных чисел. Обозначим через ξ (N ; X) число пар из множества Х, каждая компонента которых не превосходит N . Полезно представить себе пары чисел из множества Х как координаты точек на координатной плоскости, тогда ξ (N ; X) есть просто число точек множества Х, попавших в квадрат {(x , y) | 0 < x ≤ N ; 0 < y ≤ N }.
Определение.
Число
называется (верхней асимптотической) плотностью множества пар Х в множестве N 2 .
Пример 3.
Пусть Х - множество всех пар натуральных чисел, у которых первая компонента строго больше второй. Множеству Х соответствуют точки первой четверти координатной плоскости, лежащие под биссектрисой y = x . Плотность такого множества легко подсчитать:
Пусть X - множество всех упорядоченных пар (u , v) натуральных чисел таких, что (u , v) = 1, т.е. множество всех пар взаимно простых чисел.
Теорема (Чезаро). Вероятность выбрать из N пару взаимно простых чисел равна 6/π 2 , точнее Доказательство. Предположим сразу, что существует вероятность p того, что случайно выбранные натуральные числа а и b взаимно просты. Пусть d ∈ N . Через P { S } обозначим, как обычно, вероятность события S . Рассуждаем: Р
$p$ называется простым числом, если у него только $2$ делителя: $1$ и оно само.
Делителем натурального числа $a$ называют натуральное число, на которое исходное число $a$ делится без остатка.
Пример 1
Найти делители числа $6$.
Решение: Нам надо найти все числа, на которые заданное число $6$ делится без остатка. Это будут числа: $1,2,3, 6$. Значит делителем числа $6$ будут числа $1,2,3,6.$
Ответ: $1,2,3,6$.
Значит, для того, чтобы найти делители числа надо найти все натуральные числа, на которые данное делится без остатка. Нетрудно заметить, что число $1$ будет являться делителем любого натурального числа.
Определение 2
Составным называют число, у которого кроме единицы и самого себя есть другие делители.
Примером простого числа может являться число $13$, примером составного число $14.$
Замечание 1
Число $1$ имеет только один делитель-само это число, поэтому его не относят ни к простым, ни к составным.
Взаимно простые числа
Определение 3
Взаимно простыми числами называются те, у которых НОД равен $1$.Значит для выяснения будут ли являться числа взаимно простыми необходимо найти их НОД и сравнить его с $1$.
Попарно взаимно простые
Определение 4
Если в наборе чисел любые два взаимно просты, то такие числа называются попарно взаимно простыми . Для двух чисел понятия «взаимно простые» и «попарно взаимно простые» совпадают.
Пример 2
$8, 15$ - не простые, но взаимно простые.
$6, 8, 9$ - взаимно простые числа, но не попарно взаимно простые.
$8, 15, 49$ - попарно взаимно простые.
Как мы видим, для того, чтобы определить являются ли числа взаимно простыми, необходимо сначала разложить их на простые множители. Обратим внимание на то, как правильно это сделать.
Разложение на простые множители
Например, разложим на простые множители число $180$:
$180=2\cdot 2\cdot 3\cdot 3\cdot 5$
Воспользуемся свойством степеней, тогда получим,
$180=2^2\cdot 3^2\cdot 5$
Такая запись разложения на простые множители называется канонической, т.е. для того чтобы разложить в канонической форме число на множители необходимо воспользоваться свойством степеней и представить число в виде произведения степеней с разными основаниями
Каноническое разложение натурального числа в общем виде
Каноническое разложение натурального числа в общем виде имеет вид:
$m=p^{n1}_1\cdot p^{n2}_2\cdot \dots \dots ..\cdot p^{nk}_k$
где $p_1,p_2\dots \dots .p_k$- простые числа, а показатели степеней- натуральные числа.
Представление числа в виде канонического разложения на простые множества облегчает нахождение наибольшего общего делителя чисел, и выступает как следствие доказательства или определения взаимно простых чисел.
Пример 3
Найти наибольший общий делитель чисел $180$ и $240$.
Решение: Разложим числа на простые множества с помощью канонического разложения
$180=2\cdot 2\cdot 3\cdot 3\cdot 5$, тогда $180=2^2\cdot 3^2\cdot 5$
$240=2\cdot 2\cdot 2\cdot 2\cdot 3\cdot 5$, тогда $240=2^4\cdot 3\cdot 5$
Теперь найдем НОД этих чисел, для этого выберем степени с одинаковым основанием и с наименьшим показателем степени, тогда
$НОД \ (180;240)= 2^2\cdot 3\cdot 5=60$
Составим алгоритм нахождения НОД с учетом канонического разложения на простые множители .
Чтобы найти наибольший общий делитель двух чисел с помощью канонического разложения, необходимо:
- разложить числа на простые множители в каноническом виде
- выбрать степени с одинаковым основанием и с наименьшим показателем степени входящих в состав разложения этих чисел
- Найти произведение чисел, найденных на шаге 2.Полученное число и будет искомым наибольшим общим делителем.
Пример 4
Определить, будут ли простыми, взаимно простыми числами числа $195$ и $336$.
$195=3\cdot 5\cdot 13$
$336=2\cdot 2\cdot 2\cdot 2\cdot 3\cdot 7=2^4\cdot 3\cdot 5$
$НОД \ (195;336) =3\cdot 5=15$
Мы видим, что НОД этих чисел отличен от $1$, значит числа не взаимно простые. Также мы видим, что в состав каждого из чисел входят множители, помимо $1$ и самого числа, значит простыми числа так же являться не будут, а будут являться составными.
Пример 5
Определить, будут ли простыми, взаимно простыми числами числа $39$ и $112$.
Решение: Воспользуемся для разложения на множители каноническим разложением:
$112=2\cdot 2\cdot 2\cdot 2\cdot 7=2^4\cdot 7$
$НОД \ (39;112)=1$
Мы видим, что НОД этих чисел равен $1$, значит числа взаимно простые. Также мы видим, что в состав каждого из чисел входят множители, помимо $1$ и самого числа, значит простыми числа так же являться не будут, а будут являться составными.
Пример 6
Определить будут ли простыми, взаимно простыми числами числа $883$ и $997$.
Решение: Воспользуемся для разложения на множители каноническим разложением:
$883=1\cdot 883$
$997=1\cdot 997$
$НОД \ (883;997)=1$
Мы видим, что НОД этих чисел равен $1$, значит числа взаимно простые. Также мы видим, что в состав каждого из чисел входят только множители, равные $1$ и самому числу, значит числа будут являться простыми.
Натуральные числа a и b называют взаимно простыми , если их наибольший общий делитель равен 1 (НОД(a ; b ) = 1). Другими словами, если числа a и b не имеют никаких общих делителей, кроме 1, то они взаимно просты.
Примеры пар взаимно простых чисел: 2 и 5, 13 и 16, 35 и 88 и т. п. Можно указать несколько взаимно простых чисел, например, числа 7, 9, 16 – взаимно просты.
Часто взаимно простые числа обозначают так: (a , b ) = 1. Например, (23, 30) = 1. Эта запись как бы является сокращенной записью обозначения наибольшего общего делителя двух чисел (НОД(23, 30) = 1), и говорит о том, что их наибольший общий делитель равен 1.
Два соседних натуральных числа всегда будут взаимно просты. Например, 15 и 16 - пара взаимно простых чисел, также как 16 и 17. Это легко понять, если принять во внимание «правило» о том, что если два натуральных числа a и b делятся на одно и то же натуральное число большее 1 (n > 1), то и их разница также должна делится на это число n (здесь имеется в виду, что a , b и их разность делятся нацело, т. е. кратны числу n ). Но если a и b два соседних числа (пусть a < b ), то b – a = 1; но 1 делится только на 1 (из ряда натуральных чисел). Следовательно, a и b не имеют других общих делителей, кроме 1.
Из определения взаимно простых чисел и простых чисел также следует, что разные простые числа всегда оказываются взаимно простыми . Ведь делителями любого простого числа являются лишь оно само и 1.
Свойства взаимно простых чисел
- Наименьшее общее кратное (НОК) пары взаимно простых чисел равно их произведению. Например, (3, 8) = 1 (это значит взаимно просты), следовательно, их НОК равен 3 × 8 = 24 (НОК(3, 8) = 24). Действительно, вы не найдете меньшее число, чем 24, которое было бы кратно и 3 и 8.
- Если числа a и b взаимно просты и число c кратно как a , так и b , то это число будет кратно и произведению ab . Это можно записать так: если с a и c b , то c ab . Например, (3, 10) = 1, число 60 кратно как 3, так и 10, а также кратно 30 (3 × 10).
- Если числа a и b взаимно просты и взято число c кратное b (c b ), то произведение ac также будет также кратно b (ac b ). Например, (2, 17) = 1, пусть c = 34. Число 34 кратно b = 17, тогда ac = 2 × 34 = 68. Проверяем: 68 ÷ 17 = 4, т. е. делится нацело, а значит 68 кратно 17.
Обычно выделяют больше свойств, чем приведено здесь. Кроме того, свойства взаимно простых чисел формулируются по разному. Также бывает требуется доказать эти свойства (в данном случае доказательства не приводятся).
Информация этой статьи покрывает тему «взаимно простые числа ». Сначала дано определение двух взаимно простых чисел, а также определение трех и большего количества взаимно простых чисел. После этого приведены примеры взаимно простых чисел, и показано, как доказать, что данные числа являются взаимно простыми. Дальше перечислены и доказаны основные свойства взаимно простых чисел. В заключение упомянуты попарно простые числа, так как они тесно связаны со взаимно простыми числами.
Навигация по странице.
Часто встречаются задания, в которых требуется доказать, что данные целые числа являются взаимно простыми. Доказательство сводится к вычислению наибольшего общего делителя данных чисел и проверке НОД на его равенство единице. Полезно также перед вычислением НОД заглянуть в таблицу простых чисел : вдруг исходные целые числа являются простыми, а мы знаем, что наибольший общий делитель простых чисел равен единице. Рассмотрим решение примера.
Пример.
Докажите, что числа 84 и 275 являются взаимно простыми.
Решение.
Очевидно, что данные числа не являются простыми, поэтому мы не можем сразу говорить о взаимной простоте чисел 84 и 275 , и нам придется вычислять НОД. Используем алгоритм Евклида для нахождения НОД : 275=84·3+23 , 84=23·3+15 , 23=15·1+8 , 15=8·1+7 , 8=7·1+1 , 7=7·1 , следовательно, НОД(84, 275)=1 . Этим доказано, что числа 84 и 275 взаимно простые.
Определение взаимно простых чисел можно расширить для трех и большего количества чисел.
Определение.
Целые числа a 1 , a 2 , …, a k , k>2 называются взаимно простыми , если наибольший общий делитель этих чисел равен единице.
Из озвученного определения следует, что если некоторый набор целых чисел имеет положительный общий делитель, отличный от единицы, то данные целые числа не являются взаимно простыми.
Приведем примеры. Три целых числа −99 , 17 и −27 являются взаимно простыми. Любая совокупность простых чисел составляет набор взаимно простых чисел, к примеру, 2 , 3 , 11 , 19 , 151 , 293 и 677 – взаимно простые числа. А четыре числа 12 , −9 , 900 и −72 не являются взаимно простыми, так как они имеют положительный общий делитель 3 , отличный от 1 . Числа 17 , 85 и 187 тоже не взаимно простые, так как каждое из них делится на 17 .
Обычно далеко не очевидно, что некоторые числа являются взаимно простыми, и этот факт приходится доказывать. Для выяснения, являются ли данные числа взаимно простыми, приходится находить наибольший общий делитель этих чисел, и на основании определения взаимно простых чисел делать вывод.
Пример.
Являются ли числа 331 , 463 и 733 взаимно простыми?
Решение.
Заглянув в таблицу простых чисел, мы обнаружим, что каждое из чисел 331 , 463 и 733 – простое. Следовательно, они имеют единственный положительный общий делитель – единицу. Таким образом, три числа 331 , 463 и 733 есть взаимно простые числа.
Ответ:
Да.
Пример.
Докажите, что числа −14 , 105 , −2 107 и −91 не являются взаимно простыми.
Решение.
Чтобы доказать, что данные числа не взаимно простые, можно найти их НОД и убедиться, что он не равен единице. Так и поступим.
Так как делители целых отрицательных чисел совпадают с делителями соответствующих , то НОД(−14, 105, 2 107, −91)= НОД(14, 105, 2 107, 91) . Обратившись к материалу статьи нахождение наибольшего общего делителя трех и большего количества чисел , выясняем, что НОД(14, 105, 2 107, 91)=7 . Следовательно, наибольший общий делитель исходных чисел равен семи, поэтому эти числа не являются взаимно простыми.
Свойства взаимно простых чисел
Взаимно простые числа обладают рядом свойств. Рассмотрим основные свойства взаимно простых чисел .
Числа, полученные при делении целых чисел a и b на их наибольший общий делитель, являются взаимно простыми, то есть, a:НОД(a, b) и b:НОД(a, b) – взаимно простые.
Это свойство мы доказали, когда разбирали свойства НОД .
Рассмотренное свойство взаимно простых чисел позволяет находить пары взаимно простых чисел. Для этого достаточно взять два любых целых числа и разделить их на наибольший общий делитель, полученные числа будут взаимно простыми.
Для того чтобы целые числа a и b были взаимно простыми необходимо и достаточно, чтобы существовали такие целые числа u 0 и v 0 , что a·u 0 +b·v 0 =1 .
Докажем сначала необходимость.
Пусть числа a и b взаимно простые. Тогда по определению взаимно простых чисел НОД(a, b)=1 . А из свойств НОД мы знаем, что для целых чисел a и b верно соотношение Безу a·u 0 +b·v 0 =НОД(a, b) . Следовательно, a·u 0 +b·v 0 =1 .
Осталось доказать достаточность.
Пусть верно равенство a·u 0 +b·v 0 =1 . Так как НОД(a, b) делит и a и b , то НОД(a, b) в силу свойств делимости должен делить сумму a·u 0 +b·v 0 , а значит, и единицу. А это возможно только когда НОД(a, b)=1 . Следовательно, a и b – взаимно простые числа.
Следующее свойство взаимно простых чисел таково: если числа a и b взаимно простые, и произведение a·c делится на b , то c делится на b .
Действительно, так как a и b взаимно простые, то из предыдущего свойства мы имеем равенство a·u 0 +b·v 0 =1 . Умножив обе части этого равенства на c , имеем a·c·u 0 +b·c·v 0 =c . Первое слагаемое суммы a·c·u 0 +b·c·v 0 делится на b , так как a·c делится на b по условию, второе слагаемое этой суммы также делится на b , так как один из множителей равен b , следовательно, вся сумма делится на b . А так как сумма a·c·u 0 +b·c·v 0 равна c , то и c делится на b .
Если числа a и b взаимно простые, то НОД(a·c, b)=НОД(c, b) .
Покажем, во-первых, что НОД(a·c, b) делит НОД(c, b) , а во-вторых, что НОД(c, b) делит НОД(a·c, b) , это и будет доказывать равенство НОД(a·c, b)=НОД(c, b) .
НОД(a·c, b) делит и a·c и b , а так как НОД(a·c, b) делит b , то он также делит и b·c . То есть, НОД(a·c, b) делит и a·c и b·c , следовательно, в силу свойств наибольшего общего делителя он делит и НОД(a·c, b·c) , который по свойствам НОД равен c·НОД(a, b)=c . Таким образом, НОД(a·c, b) делит и b и c , следовательно, делит и НОД(c, b) .
С другой стороны, НОД(c, b) делит и c и b , а так как он делит с , то также делит и a·c . Таким образом, НОД(c, b) делит и a·c и b , следовательно, делит и НОД(a·c, b) .
Так мы показали, что НОД(a·c, b) и НОД(c, b) взаимно делят друг друга, значит, они равны.
Если каждое из чисел a 1 , a 2 , …, a k взаимно просто с каждым из чисел b 1 , b 2 , …, b m (где k и m – некоторые натуральные числа), то произведения a 1 ·a 2 ·…·a k и b 1 ·b 2 ·…·b m есть взаимно простые числа, в частности, если a 1 =a 2 =…=a k =a и b 1 =b 2 =…=b m =b , то a k и b m – взаимно простые числа.
Предыдущее свойство взаимно простых чисел позволяет нам записать ряд равенств вида НОД(a 1 ·a 2 ·…·a k , b m)= НОД(a 2 ·…·a k , b m)=…=НОД(a k , b m)=1 , где последний переход возможен, так как a k и b m взаимно простые числа по условию. Итак, НОД(a 1 ·a 2 ·…·a k , b m)=1 .
Теперь, обозначив a 1 ·a 2 ·…·a k =A
, имеем
НОД(b 1 ·b 2 ·…·b m , a 1 ·a 2 ·…·a k)=
НОД(b 1 ·b 2 ·…·b m , A)=
=НОД(b 2 ·…·b m , A)=… =НОД(b m , A)=1
(последний переход справедлив, в силу последнего равенства из предыдущего абзаца). Так мы получили равенство НОД(b 1 ·b 2 ·…·b m , a 1 ·a 2 ·…·a k)=1
, которое доказывает, что произведения a 1 ·a 2 ·…·a k
и b 1 ·b 2 ·…·b m
являются взаимно простыми числами.
На этом закончим обзор основных свойств взаимно простых чисел.
Попарно простые числа – определения и примеры
Через взаимно простые числа дается определение попарно простых чисел .
Определение.
Целые числа a 1 , a 2 , …, a k , каждое из которых взаимно просто со всеми остальными, называют попарно простыми числами .
Приведем пример попарно простых чисел. Числа 14 , 9 , 17 , и −25 – попарно простые, так как пары чисел 14 и 9 , 14 и 17 , 14 и −25 , 9 и 17 , 9 и −25 , 17 и −25 представляют собой взаимно простые числа. Здесь же заметим, что попарно простые числа всегда являются взаимно простыми.
С другой стороны, взаимно простые числа далеко не всегда являются попарно простыми, это подтверждает следующий пример. Числа 8 , 16 , 5 и 15 не являются попарно простыми, так как числа 8 и 16 не взаимно простые. Однако, числа 8 , 16 , 5 и 15 – взаимно простые. Таким образом, 8 , 16 , 5 и 15 – взаимно простые числа, но не попарно простые.
Следует особо выделить совокупность некоторого количества простых чисел. Эти числа всегда являются и взаимно простыми и попарно простыми. Например, 71 , 443 , 857 , 991 – и попарно простые, и взаимно простые числа.
Также понятно, что когда речь идет о двух целых числах, то для них понятия «попарно простые» и «взаимно простые» совпадают.
Список литературы.
- Виленкин Н.Я. и др. Математика. 6 класс: учебник для общеобразовательных учреждений.
- Виноградов И.М. Основы теории чисел.
- Михелович Ш.Х. Теория чисел.
- Куликов Л.Я. и др. Сборник задач по алгебре и теории чисел: Учебное пособие для студентов физ.-мат. специальностей педагогических институтов.
В этом статье мы расскажем о том, что такое взаимно простые числа. В первом пункте сформулируем определения для двух, трех и более взаимно простых чисел, приведем несколько примеров и покажем, в каких случаях два числа можно считать простыми по отношению друг к другу. После этого перейдем к формулировке основных свойств и их доказательствам. В последнем пункте мы поговорим о связанном понятии – попарно простых числах.
Что такое взаимно простые числа
Взаимно простыми могут быть как два целых числа, так и их большее количество. Для начала введем определение для двух чисел, для чего нам понадобится понятие их наибольшего общего делителя. Если нужно, повторите материал, посвященный ему.
Определение 1
Взаимно простыми будут два таких числа a и b , наибольший общий делитель которых равен 1 , т.е. НОД (a , b) = 1 .
Из данного определения можно сделать вывод, что единственный положительный общий делитель у двух взаимно простых чисел будет равен 1 . Всего два таких числа имеют два общих делителя – единицу и минус единицу.
Какие можно привести примеры взаимно простых чисел? Например, такой парой будут 5 и 11 . Они имеют только один общий положительный делитель, равный 1 , что является подтверждением их взаимной простоты.
Если мы возьмем два простых числа, то по отношению друг к другу они будут взаимно простыми во всех случаях, однако такие взаимные отношения образуются также и между составными числами. Возможны случаи, когда одно число в паре взаимно простых является составным, а второе простым, или же составными являются они оба.
Это утверждение иллюстрирует следующий пример: составные числа - 9 и 8 образуют взаимно простую пару. Докажем это, вычислив их наибольший общий делитель. Для этого запишем все их делители (рекомендуем перечитать статью о нахождении делителей числа). У 8 это будут числа ± 1 , ± 2 , ± 4 , ± 8 , а у 9 – ± 1 , ± 3 , ± 9 . Выбираем из всех делителей тот, что будет общим и наибольшим – это единица. Следовательно, если НОД (8 , − 9) = 1 , то 8 и - 9 будут взаимно простыми по отношению друг к другу.
Взаимно простыми числами не являются 500 и 45 , поскольку у них есть еще один общий делитель – 5 (см. статью о признаках делимости на 5). Пять больше единицы и является положительным числом. Другой подобной парой могут быть - 201 и 3 , поскольку их оба можно разделить на 3 , на что указывает соответствующий признак делимости.
На практике довольно часто приходится определять взаимную простоту двух целых чисел. Выяснение этого можно свести к поиску наибольшего общего делителя и сравнению его с единицей. Также удобно пользоваться таблицей простых чисел, чтобы не производить лишних вычислений: если одно из заданных чисел есть в этой таблице, значит, оно делится только на единицу и само на себя. Разберем решение подобной задачи.
Пример 1
Условие: выясните, являются ли взаимно простыми числа 275 и 84 .
Решение
Оба числа явно имеют больше одного делителя, поэтому сразу назвать их взаимно простыми мы не можем.
Вычисляем наибольший общий делитель, используя алгоритм Евклида: 275 = 84 · 3 + 23 , 84 = 23 · 3 + 15 , 23 = 15 · 1 + 8 , 15 = 8 · 1 + 7 , 8 = 7 · 1 + 1 , 7 = 7 · 1 .
Ответ: поскольку НОД (84 , 275) = 1 , то данные числа будут взаимно простыми.
Как мы уже говорили раньше, определение таких чисел можно распространить и на случаи, когда у нас есть не два числа, а больше.
Определение 2
Взаимно простыми целые числа a 1 , a 2 , … , a k , k > 2 будут тогда, когда они имеют наибольший общий делитель, равный 1 .
Иными словами, если у нас есть набор некоторых чисел с наибольшим положительным делителем, большим 1 , то все эти числа не являются по отношению друг к другу взаимно обратными.
Возьмем несколько примеров. Так, целые числа − 99 , 17 и − 27 – взаимно простые. Любое количество простых чисел будет взаимно простым по отношению ко всем членам совокупности, как, например, в последовательности 2 , 3 , 11 , 19 , 151 , 293 и 667 . А вот числа 12 , − 9 , 900 и − 72 взаимно простыми не будут, потому что кроме единицы у них будет еще один положительный делитель, равный 3 . То же самое относится к числам 17 , 85 и 187: кроме единицы, их все можно разделить на 17 .
Обычно взаимная простота чисел не является очевидной с первого взгляда, этот факт нуждается в доказательстве. Чтобы выяснить, будут ли некоторые числа взаимно простыми, нужно найти их наибольший общий делитель и сделать вывод на основании его сравнения с единицей.
Пример 2
Условие: определите, являются ли числа 331 , 463 и 733 взаимно простыми.
Решение
Сверимся с таблицей простых чисел и определим, что все три этих числа в ней есть. Тогда их общим делителем может быть только единица.
Ответ: все эти числа будут взаимно простыми по отношению друг к другу.
Пример 3
Условие: приведите доказательство того, что числа − 14 , 105 , − 2 107 и − 91 не являются взаимно простыми.
Решение
Начнем с выявления их наибольшего общего делителя, после чего убедимся, что он не равен 1 . Поскольку у отрицательных чисел те же делители, что и у соответствующих положительных, то НОД (− 14 , 105 , 2 107 , − 91) = НОД (14 , 105 , 2 107 , 91) . Согласно правилам, которые мы привели в статье о нахождении наибольшего общего делителя, в данном случае НОД будет равен семи.
Ответ: семь больше единицы, значит, взаимно простыми эти числа не являются.
Основные свойства взаимно простых чисел
Такие числа имеют некоторые практически важные свойства. Перечислим их по порядку и докажем.
Определение 3
Если разделить целые числа a и b на число, соответствующее их наибольшему общему делителю, мы получим взаимно простые числа. Иначе говоря, a: НОД (a , b) и b: НОД (a , b) будут взаимно простыми.
Это свойство мы уже доказывали. Доказательство можно посмотреть в статье о свойствах наибольшего общего делителя. Благодаря ему мы можем определять пары взаимно простых чисел: достаточно лишь взять два любых целых числа и выполнить деление на НОД. В итоге мы должны получить взаимно простые числа.
Определение 4
Необходимым и достаточным условием взаимной простоты чисел a и b является существование таких целых чисел u 0 и v 0 , при которых равенство a · u 0 + b · v 0 = 1 будет верным.
Доказательство 1
Начнем с доказательства необходимости этого условия. Допустим, у нас есть два взаимно простых числа, обозначенных a и b . Тогда по определению этого понятия их наибольший общий делитель будет равен единице. Из свойств НОД нам известно, что для целых a и b существует соотношение Безу a · u 0 + b · v 0 = НОД (a , b) . Из него получим, что a · u 0 + b · v 0 = 1 . После этого нам надо доказать достаточность условия. Пусть равенство a · u 0 + b · v 0 = 1 будет верным, в таком случае, если НОД (a , b) делит и a , и b , то он будет делить и сумму a · u 0 + b · v 0 , и единицу соответственно (это можно утверждать, исходя из свойств делимости). А такое возможно только в том случае, если НОД (a , b) = 1 , что доказывает взаимную простоту a и b .
В самом деле, если a и b являются взаимно простыми, то согласно предыдущему свойству, будет верным равенство a · u 0 + b · v 0 = 1 . Умножаем обе его части на c и получаем, что a · c · u 0 + b · c · v 0 = c . Мы можем разделить первое слагаемое a · c · u 0 + b · c · v 0 на b , потому что это возможно для a · c , и второе слагаемое также делится на b , ведь один из множителей у нас равен b . Из этого заключаем, что всю сумму можно разделить на b , а поскольку эта сумма равна c , то c можно разделить на b .
Определение 5
Если два целых числа a и b являются взаимно простыми, то НОД (a · c , b) = НОД (c , b) .
Доказательство 2
Докажем, что НОД (a · c , b) будет делить НОД (c , b) , а после этого – что НОД (c , b) делит НОД (a · c , b) , что и будет доказательством верности равенства НОД (a · c , b) = НОД (c , b) .
Поскольку НОД (a · c , b) делит и a · c и b , а НОД (a · c , b) делит b , то он также будет делить и b · c . Значит, НОД (a · c , b) делит и a · c и b · c , следовательно, в силу свойств НОД он делит и НОД (a · c , b · c) , который будет равен c · НОД (a , b) = c . Следовательно, НОД (a · c , b) делит и b и c , следовательно, делит и НОД (c , b) .
Также можно сказать, что поскольку НОД (c , b) делит и c , и b , то он будет делить и c , и a · c . Значит, НОД (c , b) делит и a · c и b , следовательно, делит и НОД (a · c , b) .
Таким образом, НОД (a · c , b) и НОД (c , b) взаимно делят друг друга, значит, они являются равными.
Определение 6
Если числа из последовательности a 1 , a 2 , … , a k будут взаимно простыми по отношению к числам последовательности b 1 , b 2 , … , b m (при натуральных значениях k и m), то их произведения a 1 · a 2 · … · a k и b 1 · b 2 · … · b m также являются взаимно простыми, в частности, a 1 = a 2 = … = a k = a и b 1 = b 2 = … = b m = b , то a k и b m – взаимно простые.
Доказательство 3
Согласно предыдущему свойству, мы можем записать равенства следующего вида: НОД (a 1 · a 2 · … · a k , b m) = НОД (a 2 · … · a k , b m) = … = НОД (a k , b m) = 1 . Возможность последнего перехода обеспечивается тем, что a k и b m взаимно просты по условию. Значит, НОД (a 1 · a 2 · … · a k , b m) = 1 .
Обозначим a 1 · a 2 · … · a k = A и получим, что НОД (b 1 · b 2 · … · b m , a 1 · a 2 · … · a k) = НОД (b 1 · b 2 · … · b m , A) = НОД (b 2 · … · b · b m , A) = … = НОД (b m , A) = 1 . Это будет справедливым в силу последнего равенства из цепочки, построенной выше. Таким образом, у нас получилось равенство НОД (b 1 · b 2 · … · b m , a 1 · a 2 · … · a k) = 1 , с помощью которого можно доказать взаимную простоту произведений a 1 · a 2 · … · a k и b 1 · b 2 · … · b m
Это все свойства взаимно простых чисел, о которых бы мы хотели вам рассказать.
Понятие попарно простых чисел
Зная, что из себя представляют взаимно простые числа, мы можем сформулировать определение попарно простых чисел.
Определение 7
Попарно простые числа – это последовательность целых чисел a 1 , a 2 , … , a k , где каждое число будет взаимно простым по отношению к остальным.
Примером последовательности попарно простых чисел может быть 14 , 9 , 17 , и − 25 . Здесь все пары (14 и 9 , 14 и 17 , 14 и − 25 , 9 и 17 , 9 и − 25 , 17 и − 25) взаимно просты. Отметим, что условие взаимной простоты является обязательным для попарно простых чисел, но взаимно простые числа будут попарно простыми далеко не во всех случаях. Например, в последовательности 8 , 16 , 5 и 15 числа не являются таковыми, поскольку 8 и 16 не будут взаимно простыми.
Также следует остановиться на понятии совокупности некоторого количества простых чисел. Они всегда будут и взаимно, и попарно простыми. Примером может быть последовательность 71 , 443 , 857 , 991 . В случае с простыми числами понятия взаимной и попарной простоты будут совпадать.
Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter
