Теорема 2.
Пусть
![]()
.
Тогда
существуют
такие целые
числа
![]()
и
![]()
,
что

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