Общий делитель
Общее кратное
Наименьшее общее кратное
Если каждое из натуральных чисел $a, b, \cdots, f$ делится нацело на натуральное число $k$, то говорят, что число $k$ является их общим делителем.
Так, числа 108 и 144 имеют общие делители 1, 2, 3, 6, 9, 12, 18, 36. Если два или несколько чисел не имеют общих делителей, отличных от единицы, то эти числа называются взаимно простыми. Так, числа 49 и 121 взаимно простые.
Так как данные числа $a, b, \cdots , f$ могут иметь лишь конечное число общих делителей, то среди их общих делителей имеется наибольший; в случае взаимно простых чисел он равен единице.
Для наибольшего общего делителя (н.о.д.) применяется обозначение
$(a, b, \cdots, f) = d$.
Например:
(108, 144) = 36; (49, 121) = 1; (60, 36, 42) = 6.
Наибольший общий делитель двух чисел можно находить, пользуясь их разложением на простые множители. Пусть требуется, например, найти н.о.д. чисел 504 и 540. Разложим каждое из них на простые множители:
$504 = 2^{3} \cdot 3^{2} \cdot 7$,
$540 = 2^{2} \cdot 3^{3} \cdot 5$.
Мы видим, что, кроме единицы, общими делителями данных чисел являются
$2, 2^{2}, 3, 3^{2}, 2 \cdot 3, 2^{2} \cdot 3, 2 \cdot 3^{2}, 2^{2} \cdot 3^{2}$.
Таким образом,
$(504, 540) = 2^{2} \cdot 3^{2} = 36$.
В общей форме процесс отыскания н.о.д. можно описать на примере двух чисел следующим образом. Запишем разложение данных чисел $a$ и $b$ на попарно различные простые множители:
$a = p^{k_{1}}_{1} p^{k_{2}}_{2} \cdots p^{k_{n}}_{n}$,
$b = q^{l_{1}}_{1} q^{l_{2}}_{2} \cdots q^{l_{m}}_{m}$.
Может случиться, что среди чисел $p_{1}, p_{2}, \cdots , p_{n}$ нет ни одного, равного кому-либо из чисел $q_{1},q_{2}, \cdots, q_{m}$. Тогда $a$ и $b$ - взаимно простые, $(a, b)=1$. Если, например, $p_{1}$ совпадает с одним из чисел $q_{1}, q_{2}, \cdots , q_{n}$, то оба числа $a$ и $b$ делятся на $p_{1}$, взятое в степени, меньшей из двух степеней, с которыми это число $p_{1}$ входит в разложение каждого из чисел $a$ и $b$. Поэтому для получения н.о.д. чисел $a$ и $b$ следует: 1) выбрать все одинаковые простые множители, входящие в разложения $a$ и $b$; 2) каждый из них взять в степени, меньшей из двух степеней, с которыми этот множитель входит в указанные разложения; 3) взять произведение найденных таким путем общих множителей - оно и будет н.о.д. чисел $a$ и $b$.
Подобным же образом находится и н.о.д. нескольких чисел.
Если число $m$ является кратным для каждого из чисел $a,b, \cdots f$ (т. е. делится на любое из этих чисел нацело), то $m$ называется общим кратным чисел $a, b, \cdots ,f$.
В частности, произведение нескольких натуральных чисел всегда является их общим кратным.
Среди всех общих кратных данных чисел $a, b, \cdots ,f$ имеется наименьшее; оно называется наименьшим общим кратным (н.о.к.) данных чисел и обозначается так: $[a, b, \cdots f] = m$.
Н.о.к. двух или нескольких чисел также удобно находить, используя разложение этих чисел на простые множители. Так, для чисел
$504 = 2^{3} \cdot 3^{2} \cdot 7, 540 = 2^{2} \cdot 3^{3} \cdot 5$
мы найдем н.о.к., взяв каждый из простых множителей в их разложениях в большей из двух степеней, в которых он входит в эти разложения:
$[504, 540] = 2^{3} \cdot 3^{3} \cdot 5 \cdot 7 = 7560$.
Аналогично,
$[150, 180, 240] = 2^{4} \cdot 3^{2} \cdot 5^{2} = 3600$.
Итак, для отыскания н.о.к. нескольких чисел следует: 1) выписать все простые множители, входящие в разложение хотя бы одного из этих чисел; 2) взять каждый из этих простых множителей в наибольшей из степеней, в которых он входит в разложения данных чисел; 3) взять произведение найденных степеней простых сомножителей - оно и будет н.о.к. данных чисел.
Нетрудно заметить, что для двух взаимно простых чисел $a$ и $b$
$[a, b] = ab$
- н.о.к. двух взаимно простых чисел равно произведению этих чисел. Отметим, без доказательства, более общее соотношение (оно сводится к предыдущему в случае, если $(a, b)=1$):
$[a, b] (a, b) = ab$,
имеющее место для любых двух чисел: произведение наибольшего общего делителя на наименьшее общее кратное двух чисел равно произведению этих чисел.