2. Применение к основной теореме арифметики

Тот факт, что всегда может быть записано в форме позволит нам привести доказательство основной теоремы арифметики, отличное от того, которое было изложено на стр. 50. Сначала, в качестве леммы, мы докажем следствие, приведенное на стр. 51, а затем уже из него выведем некоторую теорему. Таким образом, ход мыслей будет теперь противоположен прежнему.

Лемма. Если произведение делится на простое число то или а, или b делится на

Предположим, что а не делится на тогда так как имеет лишь два делителя: и 1. В таком случае можно найти такие целые числа к и что

Умножая обе части равенства на получим:

Так как делится на то можно написать

так что

и отсюда ясно, что делится на Таким образом, мы установили, что если делится на но а не делится, то b непременно делится на значит, во всяком случае или а, или делится на раз делится на

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

по меньшей мере один из трех множителей и с делится на В самом деле, если не делит ни а, ни , ни с, то не делит и, следовательно, не делит

Упражнение. Обобщение этого рассуждения на случай произведения из произвольного числа множителей требует явного или неявного применения принципа математической индукции. Воспроизведите все детали соответствующей аргументации.

Из полученного результата немедленно получается основная теорема арифметики. Предположим, что имеется два разложения целого числа на простые множители:

Так как делит левую часть равенства, то должно делить и правую и, значит (см. предыдущее упражнение), должно делить один из множителей Но простое число; значит, должно равняться Сократив равенство на общий множитель обратимся к множителю и установим таким же образом, что он равен некоторому Сократив на переходим, далее, к множителю и т. д. В конце концов сократятся все множители и слева останется 1. Так как целые положительные числа, то и справа не может остаться ничего, кроме 1. Итак, числа и числа будут попарно равны, независимо от порядка; значит, оба разложения тождественны.