Вторая часть доказательства опирается на следующий результат.

Если р — простое число, на которое делится произведение множителей, то на р обязательно должен делиться один из этих множителей. (Этот результат может быть доказан с помощью соотношения Безу.) Предположим, что натуральное число, большее 1, может быть разложено на простые множители двумя способами, тогда мы возьмем простое число р из первого разложения. На это число должно обязательно делиться второе разложение и, следовательно, один из его множителей.

А так как этот множитель — тоже простое число, он должен быть равен р. Таким образом, мы нашли два одинаковых множителя в разных разложениях. Повторяя процесс для любого другого простого числа из первого разложения, мы докажем, что оба разложения содержат одинаковый набор простых множителей.

В терминах теории сравнений, как в пятой главе, теорема формулируется так: «Если р — простое число, то для любого натурального числа а, а^р 

a (mod р)». Это равносильно тому, что а^р  — а делится на р.

Докажем теорему с помощью метода индукции. Другими словами, мы предположим, что это верно для некоторого натурального числа а, и затем покажем, что это также верно для числа а + 1.

Начнем с предположения, что а^р — а делится на р. Согласно биномиальному разложению Ньютона,

Перенося члены а^р и 1 налево, мы получим:

Множитель р содержится во всех слагаемых в правой части, поэтому правая часть уравнения делится на р и, следовательно, левая часть (а + 1)^р  — а^р — 1 тоже делится на р.

Так как по индукции а^р — а делится на р, то и следующая сумма также делится на р:

Эту сумму можно переписать в виде:

Следовательно, делимость на р верна и в случае а + 1, то есть теорема доказана.

Список литературы

Bentley, Р. J., The Book of Numbers, Ontario, Firefly Books, 2008.

Hardy, G. H., A Mathematician’s Apology, Cambridge University Press, 1940.

Hardy, G. H., Ramanujan, London, Cambridge University Press, 1940.

Ifrah, G., The Universal History of Numbers, London, The Harvill Press, 1987.

Kanigel, R., The Man who knew Infinity, New York, Washington Square Press, 1991.

Kline, M., Mathematical Thought (3 Volumes), USA, Oxford University Press, 1990.

Pickover, C. A., Wonders of Numbers, USA, Oxford University Press, 2002.

Sautoy, M. du, The Music of the Primes, London, Harper Perennial, 2004.

Stewart, I., From Here to Infinity, Oxford Paperbacks, 1996.

Szpiro, G., Poincare’s Prize, USA, E. P. Dutton & Co.Inc., 2007.

* * *

_{Научно-популярное издание}

_{Выходит в свет отдельными томами с 2014 года}

_{Мир математики}

_{Том 3}

_{Энрике Грасиан}

_{Простые числа. Долгая дорога к бесконечности}

_РОССИЯ

_{Издатель, учредитель, редакция:}

_{ООО «Де Агостини», Россия Юридический адрес: Россия, 105066,}

_{г. Москва, ул. Александра Лукьянова, д. 3, стр. 1}

_{Письма читателей по данному адресу не принимаются.}

_{Генеральный директор: Николаос Скилакис}

_{Главный редактор: Анастасия Жаркова}

_{Старший редактор: Дарья Клинг}

_{Финансовый директор: Наталия Василенко}

_{Коммерческий директор: Александр Якутов}

_{Менеджер по маркетингу: Михаил Ткачук}

_{Менеджер по продукту: Яна Чухиль}

_{Для заказа пропущенных книг и по всем вопросам, касающимся информации о коллекции, заходите на сайт www.deagostini.ru, по остальным вопросам обращайтесь по телефону бесплатной горячей линии в России: 8-800-200-02-01}

_{Телефон горячей линии для читателей Москвы: 8-495-660-02-02}

_{Адрес для писем читателей:}

_{Россия, 170100, г. Тверь, Почтамт, а/я 245, «Де Агостини», «Мир математики»}

_{Пожалуйста, указывайте в письмах свои контактные данные для обратной связи (телефон или e-mail).}

_{Распространение: ООО «Бурда Дистрибьюшен Сервисиз»}

_{УКРАИНА}

_{Издатель и учредитель:}

_{ООО «Де Агостини Паблишинг» Украина}

_{Юридический адрес: 01032, Украина, г. Киев, ул. Саксаганского, 119}

_{Генеральный директор: Екатерина Клименко}

_{Для заказа пропущенных книг и по всем вопросам, касающимся информации о коллекции, заходите на сайт www.deagostini.ua, по остальным вопросам обращайтесь по телефону бесплатной горячей линии в Украине: 0-800-500-8-40}

_{Адрес для писем читателей:}

_{Украина, 01033, г. Киев, a/я «Де Агостини», «Мир математики»}

_{Украïnа, 01033, м. Киïв, а/с «Де Агостiнi»}

_{БЕЛАРУСЬ}

_{Импортер и дистрибьютор в РБ:}

_{ООО «Росчерк», 220037, г. Минск, ул. Авангардная, 48а, литер 8/к,}

_{тел./факс: +375 17 331 94 27}

_{Телефон «горячей линии» в РБ: + 375 17 279-87-87 (пн-пт, 9.00–21.00)}

_{Адрес для писем читателей:}

_{Республика Беларусь, 220040, г. Минск, а/я 224, ООО «Росчерк», «Де Агостини», «Мир математики»}

_{КАЗАХСТАН}

_{Распространение:}

_{ТОО «КГП «Бурда-Алатау Пресс»}

_{Издатель оставляет за собой право увеличить рекомендуемую розничную цену книг. Издатель оставляет за собой право изменять последовательность заявленных тем томов издания и их содержание.}

_{Отпечатано в соответствии с предоставленными материалами в типографии:}

_{Grafica Veneta S.p.A Via Malcanton 2 35010 Trebaseleghe (PD) Italy}

_{Подписано в печать: 01.08.2013}

_{Дата поступления в продажу на территории России: 04.02.2014}

_{Формат 70 х 100 / 16. Гарнитура «Academy».}

_{Печать офсетная. Бумага офсетная. Печ. л. 4,5.}

_{Усл. печ. л. 5,832.}

_{Тираж: 200 000 экз.}

_{© Enrique Gracian, 2010 (текст)}

_{© RBA Collecionables S.A., 2010}

_{© ООО «Де Агостини», 2014}