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

Целые числа называются взаимно простыми, если они не имеют никаких общих делителей, кроме ±1. Примеры: 14 и 25 взаимно просты, а 15 и 25 не взаимно просты (у них имеется общий делитель 5).

Наглядное представление: если на плоскости построить «лес», установив на точки с целыми координатами «деревья» нулевой толщины, то из начала координат видны только деревья, координаты которых взаимно просты.

Обозначения

Для указания взаимной простоты чисел $~m$ и $n \,$ используется обозначение:

$m \perp n.$

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

Однако не все математики признают и используют это обозначение. Чаще всего используется словесная формулировка или эквивалентная запись $(a, b)=1$, что означает: «наибольший общий делитель чисел a и b равен 1».

Связанные определения

• Если в наборе чисел любые два взаимно просты, то такие числа называются попарно взаимно простыми. Для двух чисел понятия «взаимно простые» и «попарно взаимно простые» совпадают.

Примеры

• 8, 15 — не простые, но взаимно простые.
• 6, 8, 9 — взаимно простые числа, но не попарно взаимно просты.
• 8, 15, 49 — попарно взаимно простые.

Свойства

• Числа a и b взаимно просты тогда и только тогда, когда выполняется одно из эквивалентных условий.
  • Наибольший общий делитель a, b равен единице.
  • Существуют целые x и y такие, что $a\,x + b\,y = 1$ (соотношение Безу).
• Любые два (различных) простых числа взаимно просты.
• Если $a$ — делитель произведения $bc$, и $a$ взаимно просто с $b$, то $a$ — делитель $c$.
• Если числа a₁,…, a_n — попарно взаимно простые числа, то НОК(a₁,…, a_n) = |a₁·…·a_n|. Например, НОК$(9, 11) = 9 \cdot 11 = 99.$

Обобщения

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

См. также

• Простое число
• Наибольший общий делитель
• Наименьшее общее кратное
• Неприводимый элемент
• Распределённые вычисления

Ссылки

• Как часто встречаются пары взаимно простых чисел?