Нок целых чисел
3) Покажем, что делится на любой общий делитель чисел
. Для этого рассмотрим равенства алгоритма, начиная с первого. Пусть
— произвольный общий делитель чисел
, то есть
и
, то есть
то есть и т. д. И, наконец,
.
Число удовлетворяет всем условиям определения НОД чисел
. ▲.
Следующая теорема даёт способ отыскания НОД нескольких целых чисел.
Теорема 4. Если ,
, …,
, то
.
НОК целых чисел
Опр.2. Общим кратным целых, отличных от нуля чисел называется целое число с, которое делится на каждое из чисел
, то есть
.
Опр.3. Целое число т называется наименьшим общим кратным целых, отличных от нуля чисел , если: 1)
;
2) т есть общее кратное чисел ;
3) любое общее кратное чисел делится на число т.
Обозначается НОК чисел так:
.
Теорема 5. Если НОК целых чисел существует, то оно единственно.
Теорема 6. НОК целых чисел равно НОК их модулей.
Доказательства теорем 5 и 6 аналогичны доказательствам теорем 1 и 2.
Теорема 6 позволяет рассматривать НОК только натуральных чисел. Следующая теорема даёт способ отыскания НОК двух натуральных чисел:
Теорема 7. .
Доказательство: покажем, что число удовлетворяет всем трём условиям определения НОК целых чисел.
1) Во-первых, , так как
.
2) Покажем, что число есть общее кратное чисел
.
Обозначим , причем числа
взаимно просты, то есть
.
Теперь имеем:
.
3) Покажем, что любое общее кратное чисел делится на число
.
Пусть т – произвольное общее кратное чисел
, то есть
.
. Но
, тогда
. Теперь имеем:
.
Следовательно, . ▲.
Следующая теорема позволяет находить НОК нескольких чисел:
Теорема 8. Если ,
,
, …,
, то
.