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