d₀ = 2¹ 5¹ = 10.

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

Любой общий делитель d делит наибольший общий делитель d₀.

Наибольший общий делитель двух чисел настолько важен, что для него существует специальное обозначение:

d₀ = D(a, b). (4.1.4)

Число 1 является общим делителем для любой пары чисел а и b. Может случиться, что единица будет единственным их общим делителем, т. е.

d₀ = D(a, b) = 1. (4.2.1)

В этом случае мы говорим, что числа а и b взаимно простые.

Пример. (39, 22) = 1.

Если числа имеют общий делитель, больший единицы, то они также имеют общий простой делитель.

Итак, два числа могут быть взаимно простыми только тогда, когда они не имеют общих простых множителей, поэтому условие (4.2.1) означает, что числа а и b не имеют общих простых множителей, т. е. все их простые множители различны.

Вернемся к началу этой главы, где мы приводили дробь а/b к простейшему виду. Если d₀ есть наибольший общий делитель чисел а и b, то мы можем написать

a = a₀d₀, b = b₀d₀. (4.2.2)

Тогда

a/b = a₀d₀/b ₀d₀ = a₀/b₀. (4.2.3)

В формуле (4.2.2) числа а₀ и b₀ не могут иметь простых общих множителей, в противном случае числа а и b имели бы общин множитель, больший, чём d₀. Следовательно,

D(a₀, b₀) = 1. (4.2.4)

Это означает, что для второй дроби в формуле (4.2.3) дальнейшее сокращение невозможно.

Одним из часто применяемых свойств взаимно простых чисел является следующее.

Если произведение ab делится на число с, которое взаимно просто с числом b, то число а делится на с.

Доказательство. Так как число с делит произведение ab, то простые множители числа с содержатся среди простых множителей чисел а и b. Но так как D(b, c) = 1, то их не может быть среди множителей числа b. Таким образом, все простые множители числа с делят число а, но не делят число b, и они появляются в числе а в степенях, не меньших, чем в числе с, так как число с делит ab.

Позже мы используем другой факт.

Если произведение двух взаимно простых чисел является квадратом,

ab = c², D(a, b) = 1, (4.2.5)

то числа а и b являются квадратами:

а = а₁², b = b₁². (4.2.6)

Доказательство. Для того чтобы некоторое число было квадратом, необходимо и достаточно, чтобы все степени в разложении его на простые множители были четными. Так как числа а и b — взаимно простые (4.2.5), то любой простой множитель из с² содержится либо в а, либо в b, но не в обоих; отсюда простые множители чисел а и b должны иметь четные степени.

Вновь вернемся к нашим дробям а/b. Если а > b, то дробь является числом, большим 1, и мы часто разделяем ее на целую часть и правильную дробь, меньшую единицы.

Примеры. Мы пишем

32/5 = 6 + 2/5 = 6 2/5, 63/7 = 9 + 0/7 = 9.

В общем случае мы используем деление с остатком

чисел а и b (a ≥ b), а именно: