Теорема 2.
Пусть
.
Тогда
существуют
такие целые
числа
и
,
что
Доказательство.
Зафиксируем
целые числа
и
и рассмотрим
множество
всех целых
чисел,
представимых
в виде
,
где
и
- целые. Ясно,
что
и
принадлежат
множеству
(например,
).
Далее, если
и
принадлежат
,
а
и
- целые, то
число
принадлежит
,
поскольку
если
,
,
где
,
,
,
- целые числа,
то
,
а числа
и
- целые.
Рассмотрим
теперь
цепочку
остатков из
алгоритма
Евклида.
Пусть
.
Делим
на
:
,
.
Так как
и
принадлежат
,
то
тоже
принадлежит
.
Далее, если
,
то надо
делить
на
:
.
Поскольку
и
принадлежат
,
то
тоже
принадлежит
.
Рассуждая
аналогично,
мы видим, что
все
возникающие
остатки
принадлежат
,
то есть
представимы
в виде
,
где
и
- целые.
Поэтому
последний
ненулевой
остаток,
равный
,
тоже
принадлежит
,
то есть
представим в
виде
,
что и
требовалось
доказать.
Следствие.
Если
и
,
то
.
Теорема 3.
Пусть
,
и
- целые числа,
причем числа
и
не равны
одновременно
нулю. Пусть
.
Уравнение
разрешимо в
целых числах
тогда и
только
тогда, когда
.
Доказательство.
Если
уравнение
имеет
целочисленное
решение
,
,
то из
,
вытекает,
что
в силу
самого
уравнения.
Обратно,
если
,
то
,
где
- целое, и
записав
в виде
,
где
и
- целые числа,
мы получим,
что
,
то есть
уравнение
имеет
решение
,
.
Теорема
доказана.
Определение.
Целые числа
и
называются
взаимно
простыми,
если
.
Теорема 4.
Если
,
и
- целые числа,
и
,
то
.
Доказательство.
Найдем такие
целые числа
и
,
что
.
Отсюда
.
Но
и
,
так как
.
Поэтому
,
что и
требовалось
доказать.
Следствие
1. Если
и
- целые числа,
- простое
число и
,
то
или
.
Доказательство.
Ясно, что
может быть
равен либо
,
либо
.
Если
,
то
,
если же
,
то
по теореме 4.
Следствие
2. Если
- простое,
,
где каждое
простое, то
совпадает с
одним из
.
Доказательство.
Имеем:
.
Поэтому либо
(а тогда
),
либо
.
Далее, в
последнем
случае либо
,
либо
и т. д. В конце
концов
получаем,
что
совпадает с
одним из
.
Теорема 5
(Основная
теорема
арифметики).
Любое
натуральное
число,
большее
,
единственным
образом
разлагается
на простые
множители.
Доказательство.
1. Докажем
существование
разложения,
то есть
представления
числа
в виде
,
где
- простые
числа.
Возьмем
наименьший
отличный от
натуральный
делитель
числа
.
Ясно, что
- простое
число, так
как если бы
имело
натуральные
делители, не
равные
и
,
то эти
делители
были бы еще
меньшими
делителями
.
Если
,
то
разложение
закончено.
Если
,
то
,
где
.
Возьмем
теперь в
качестве
наименьший
отличный от
натуральный
делитель
числа
и т. д.
2. Докажем
единственность
разложения.
Пусть
- два
разложения
числа
на простые
множители. В
силу
следствия 2
из
предыдущей
теоремы
совпадает с
одним из
.
Сократим на
и проведем
то же самое
рассуждение.
В результате
получается,
что
выписанные
разложения
числа
отличаются
лишь
порядком
сомножителей.
Теорема
доказана.