Частные случаи больших теорем

На мой вкус великая теорема Ферма демонстрирует наибольшую дистанцию между простотой формулировки и сложностью доказательства. Ближайший конкурент – гипотеза о простых числах-близнецах, но она ещё открыта.

Не удержусь от исторической справки. Сама проблема появилась на полях Арифметики Диофанта в 1637. Ферма писал, что нашёл demonstratio sane mirabilis, но поля для выкладок слишком узкие. В 1670 году или спустя пять лет после смерти учёного его сын переиздал Арифметику с маргиналиями отца. Один из экземпляров этого тиража выставлялся недавно на Кристис с оценкой $15-25k. Глядя на его фото, могу лишь сказать, что язык математики в те годы – латынь.

Эндрю Уайлс заявил об окончательном доказательстве и опубликовал его в 1995 году, за что был удостоен абелевской премии в 2016 году ($735k).

В научно-популярном жанре 350-летняя история проблемы излагается в этой книге.

Доказательство нашего варинта великой теоремы доступно школьникам и уж точно поместится на полях.

• Страсти по теореме Ферма (#151)
• Дивертисмент
• Решение