Частные случаи больших теорем На мой вкус великая теорема Ферма демонстрирует наибольшую дистанцию между простотой формулировки и сложностью доказательства. Ближайший конкурент – гипотеза о простых числах-близнецах, но она ещё открыта. Не удержусь от исторической справки. Сама проблема появилась на полях Арифметики Диофанта в 1637. Ферма писал, что нашёл demonstratio sane mirabilis, но поля для выкладок слишком узкие. В 1670 году или спустя пять лет после смерти учёного его сын переиздал Арифметику с маргиналиями отца. Один из экземпляров этого тиража выставлялся недавно на Кристис с оценкой $15-25k. Глядя на его фото, могу лишь сказать, что язык математики в те годы – латынь. Эндрю Уайлс заявил об окончательном доказательстве и опубликовал его в 1995 году, за что был удостоен абелевской премии в 2016 году ($735k). В научно-популярном жанре 350-летняя история проблемы излагается в этой книге. Доказательство нашего варинта великой теоремы доступно школьникам и уж точно поместится на полях. • Страсти по теореме Ферма (#151) • Дивертисмент • Решение