Наибольший общий делитель | это... Что такое Наибольший общий делитель? (original) (raw)
Наибольшим общим делителем (НОД) для двух целых чисел m и n называется наибольший из их общих делителей.[1] Пример: для чисел 70 и 105 наибольший общий делитель равен 35.
Наибольший общий делитель существует и однозначно определён, если хотя бы одно из чисел m или n не ноль.
Возможные обозначения наибольшего общего делителя чисел m и n:
- НОД(m, n)
- (m, n)
- gcd(m, n) (от англ. Greatest Common Divisor)
Понятие наибольшего общего делителя естественным образом обобщается на наборы из более чем двух целых чисел.
Содержание
- 1 Связанные определения
- 2 Способы вычисления
- 3 Свойства
- 4 Вариации и обобщения
- 5 См. также
- 6 Литература
- 7 Примечания
Связанные определения
Наименьшее общее кратное
Наименьшее общее кратное (НОК) двух целых чисел m и n — это наименьшее натуральное число, которое делится на m и n. Обозначается НОК(m,n) или , а в английской литературе lcm(m,n).
НОК для ненулевых чисел m, n всегда существует и связан с НОД следующим соотношением:
Это частный случай более общей теоремы: если — ненулевые числа, D — какое-либо их общее кратное, то имеет место формула:
Взаимно простые числа
Числа m и n называются взаимно-простыми, если у них нет общих делителей, кроме единицы. Для таких чисел НОД(m,n) = 1. Обратно, если НОД(m,n) = 1, то числа взаимно просты.
Аналогично, целые числа , где , называются взаимно простыми, если их наибольший общий делитель равен единице.
Следует различать понятия взаимной простоты, когда НОД набора чисел равен 1, и попарной взаимной простоты, когда НОД равен 1 для каждой пары чисел из набора. Из попарной простоты вытекает взаимная простота, но не наоборот. Например, НОД(6,10,15) = 1, но любые пары из этого набора не взаимно просты.
Способы вычисления
Эффективными способами вычисления НОД двух чисел являются алгоритм Евклида и бинарный алгоритм.
Кроме того, значение НОД(m,n) можно легко вычислить, если известно каноническое разложение чисел m, n на простые множители:
где — различные простые числа, а и — неотрицательные целые числа (они могут быть нулями, если соответствующее простое отсутствует в разложении). Тогда НОД(m,n) и НОК(m,n) выражаются формулами:
Если чисел более двух: , их НОД находится по следующему алгоритму:
………
— это и есть искомый НОД.
Свойства
- Основное свойство: наибольший общий делитель m и n делится на любой общий делитель этих чисел. Пример: для чисел 12 и 18 наибольший общий делитель равен 6; он делится на все общие делители этих чисел: 1, 2, 3, 6.
- Следствие 1: множество общих делителей m, n совпадает с множеством делителей НОД_(m, n)_.
- Следствие 2: множество общих кратных m, n совпадает с множеством кратных НОК_(m, n)_.
- Если m делится на n, то НОД_(m, n) = n_. В частности, НОД_(n, n) = n_.
- — общий множитель можно выносить за знак НОД.
- Если , то после деления на D числа становятся взаимно простыми, то есть, . Это означает, в частности, что для приведения дроби к несократимому виду надо разделить её числитель и знаменатель на их НОД.
- Мультипликативность: если взаимно просты, то:
- Наибольший общий делитель чисел m и n может быть определён как наименьший положительный элемент множества всех их линейных комбинаций:
и поэтому (m,n) представим в виде линейной комбинации чисел m и n:
.
Это соотношение называется соотношением Безу, а коэффициенты u и v — коэффициентами Безу. Коэффициенты Безу эффективно вычисляются расширенным алгоритмом Евклида. Это утверждение обобщается на наборы натуральных чисел — его смысл в том, что подгруппа группы , порождённая набором , — циклическая и порождается одним элементом: НОД.
Вариации и обобщения
Понятие делимости целых чисел естественно обобщается на произвольные коммутативные кольца, такие, как кольцо многочленов (англ.) или гауссовы целые числа. Однако, определить НОД(a, b) как наибольший из общих делителей a, b нельзя, так как в таких кольцах, вообще говоря, не определено отношение порядка. Поэтому в качестве определения НОД берётся его основное свойство:
наибольшим общим делителем НОД(a, b) называется тот общий делитель, который делится на все остальные общие делители a и b.
Для натуральных чисел новое определение эквивалентно старому. Для целых чисел НОД в новом смысле уже не однозначен: противоположное ему число тоже будет НОД. Для гауссовых чисел число НОД возрастает до 4.
НОД двух элементов коммутативного кольца, вообще говоря, не обязан существовать. Например, для нижеследующих элементов a, b кольца не существует наибольшего общего делителя:
В евклидовых кольцах наибольший общий делитель всегда существует и определён с точностью до делителей единицы, то есть количество НОД равно числу делителей единицы в кольце.
См. также
Литература
- Виноградов И. М. Основы теории чисел. М.-Л.: Гос. изд. технико-теоретической литературы, 1952, 180 с.
Примечания
- ↑ Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3.