Пьер де Ферма

ПЬЕР ДЕ ФЕРМА

Аналитик, будь честен!

Иначе ночью Эквидомид-мститель

Сожмет твое горло смертельной тоской..

Луи Феррон, тАЬОпыт мюидальной геометриитАЭ

Ва

тАЬПьер, сын Доминика Ферма, буржуа и второго консулата города Бомона, крещен 20 августа 1601 г. Крестный отец - Пьер Ферма, купец и брат названного Доминика, крестная мать - Жанна Казнюв и ятАЭ . Подпись отсутствует, но предыдущая запись подписана: тАЬДюма, викарийтАЭ . Этот документ искали полтора века и обнаружили лишь в 1846 г. благодаря усилиям адвоката Топиака. До этого считалось, что Ферма родился и умер в Тулузе, где 34 (!) года исправно служил чиновником кассационной палаты Тулузского парламента. Маленький городок Бомон на левом берегу Гаронны вблизи Монтабане-на-Тарне (во Франции более 30 Бомонов) и все его пять тысяч жителей по сей день не в силах осознать значимость находки дотошного адвоката. Здесь родился великий Ферма, последний математик-алхимик, решавший праздные задачи грядущих столетий, тишайший судейский крючок, лукавый сфинкс, замучивший человечество своими загадками, осторожный и благонравный чинуша, подтасовщик, интриган, домосед, завистник, гениальный компилятор, один из четырех титанов математики нового времени

Этот современник ДтАЩАртаньяна почти не выезжал из Тулузы, где осел после женитьбы на кузине своей матери Луизе де Лон, дочери советника того-самого парламента. Благодаря тестю он дослужился до звания советника и приобрел вожделенную приставку тАЬдетАЭ . Сын третьего сословия, практичный отпрыск богатых кожевников, нашпигованный латынью и францисканским благочестием, он не ставил перед собой грандиозных задач в реальной жизни. Он имел пятерых чад, в последствии ставших судейскими чиновниками и священниками. Две дочери Ферма приняли монашество

В свой бурный век он прожил основательно и тихо. Он не писал философских трактатов, как Декарт, не был наперсником французских королей, как Виет, не воевал, не путешествовал, не создавал и не посещал математические кружки, не имел учеников и почти не печатался при жизни. Чиновникам провинциальных судов предписывалось вести замкнутую жизнь, избегая любых проявлений публичности. Вероятно Ферма, считая себя солидным человеком, стеснялся своей страсти к досужим формальным играм. На склоне лет наш герой пишет: тАЬТак как, говоря откровенно, я считаю геометрию самым высоким упражнением для ума, но одновременно столь бесполезным, что я делаю мало различия между человеком, который занимается только геометрией, и искусным ремесленником. Я называю геометрию самой прекрасной профессией в мире, но все же только профессией, и я часто говорю, что она хороша для пробы сил, но не для того, чтобы вкладывать в нее все силы..тАЭ . Он изменил себе лишь перед смертью, опубликовав в Тулузе далеко не самые блестящие из своих находок в небольшом трактате тАЬО сравнении кривых линий прямымитАЭ . Не обнаружив никаких сознательных претензий на место в истории, Ферма неожиданно умирает в возрасте 64 лет во время поездки по делам службы

Его прижизненная известность основана на обильной переписке, в которой он донимал друзей и недругов необычными задачами. Его посмертная слава разрослась благодаря скромным пометкам на полях тАЬАрифметикитАЭ Диофанта. Обычно человечеству необходимо несколько десятков лет, чтобы разобраться с наследием очередного неуемного гения. Даже такой загадочный тАЬизбранник боговтАЭ как Эварист Галуа опередил свое время максимум на 60 лет. На окончательное осмысление загадок Ферма понадобилось без малого четыре века. Ах, Ваша честь, добрейший господин Пьер, почему от Вас так пахнет серой?

Интерес к математике обозначился у Ферма как-то неожиданно и в достаточно зрелом возрасте. В 1629 г. в его руки попадает латинский перевод работы Паппа, содержащий краткую сводку результатов Аполлония о свойствах конических сечений. Ферма, полиглот, знаток права и античной филологии, вдруг задается целью полностью восстановить ход рассуждений знаменитого ученого. С таким же успехом современный адвокат может попытаться самостоятельно воспроизвести все доказательства в монографии по алгебраической топологии. Однако, немыслимое предприятие увенчивается успехом. Более того, вникая в геометрические построения древних, он совершает удивительное открытие: для нахождения максимумов и минимумов площадей фигур не нужны хитроумные чертежи. Всегда можно составить и решить некое простое алгебраическое уравнение, корни которого определяют экстремум. Он придумал алгоритм, который станет основой дифференциального исчисления. В обрывках писем, в незавершенных рукописях сквозь громоздкие вербальные обозначения на латыни отчетливо проступает нечто мучительно знакомое:

Он быстро продвинулся дальше. Он нашел достаточные условия существования максимумов, научился определять точки перегиба, провел касательные ко всем известным кривым второго и третьего порядка. Еще несколько лет, и он находит новый чисто алгебраический метод нахождения квадратур для парабол и гипербол произвольного порядка (то есть интегралов от функций вида y p = Cx q и y p x q = С ) , вычисляет площади, объемы, моменты инерции тел вращения. Это был настоящий прорыв. Чувствуя это, Ферма начинает искать общения с математическими авторитетами того времени. Он уверен в себе и жаждет признания

В 1636 г. он пишет первое письмо Его преподобию Марену Мерсенну:тАЭ Святой отец! Я Вам чрезвычайно признателен за честь, которую Вы мне оказали, подав надежду на то, что мы сможем беседовать письменно;.. Я буду очень рад узнать от Вас о всех новых трактатах и книгах по Математике, которые появилась за последние пять-шесть лет.. Я нашел также много аналитических методов для различных проблем, как числовых, так и геометрических, для решения которых анализ Виета недостаточен. Всем этим я поделюсь с Вами, когда Вы захотите, и притом без всякого высокомерия, от которого я более свободен и более далек, чем любой другой человек на свете.тАЭ Кто такой отец Мерсенн? Это францисканский монах, ученый скромных дарований и замечательный организатор, в течении 30 лет возглавлявший парижский математический кружок, который стал подлинным центром французской науки. В последствии кружок Мерсенна указом Людовика XIV будет преобразован в Парижскую академию наук. Мерсенн неустанно вел огромную переписку, и его келья в монастыре ордена минимов на Королевской площади была своего рода тАЬпочтамтом для всех ученых Европы, начиная от Галилея и кончая ГоббсомтАЭ . Переписка заменяла тогда научные журналы, которые появились значительно позже. Сборища у Мерсенна происходили еженедельно. Ядро кружка составляли самые блестящие естествоиспытатели того времен: Робервиль, Паскаль-отец, Дезарг, Мидорж, Арди и конечно же знаменитый и повсеместно признанный Декарт. Рене дю Перрон Декарт (Картезий) , дворянская мантия, два родовых поместья, основоположник картезианства, тАЬотецтАЭ аналитической геометрии, один из основателей новой математики, а так же друг и товарищ Мерсенна по иезуитскому колледжу. Этот замечательный человек станет кошмаром для Ферма

Мерсенн счел результаты Ферма достаточно интересными, чтобы ввести провинциала в свой элитный клуб. Ферма тут же завязывает переписку со многими членами кружка и буквально засыпает письмами самого Мерсенна. Кроме того он отсылает на суд ученых мужей законченные рукописи: тАЬВведение к плоским и телесным местамтАЭ , а год спустя - тАЬСпособ отыскания максимумов и минимумовтАЭ и тАЬОтветы на вопросы Б. КавальеритАЭ . То, что излагал Ферма была абсолютная новь, однако сенсация не состоялась. Современники не содрогнулись. Они мало, что поняли, но зато нашли однозначные указание на то, что идея алгоритма максимизации Ферма заимствовал из трактата Иоханнеса Кеплера с забавным названием тАЬНовая стереометрия винных бочектАЭ . Действительно, в рассуждения Кеплера встречаются фразы типа тАЬОбъем фигуры наибольший, если по обе стороны от места наибольшего значения убывание сначала нечувствительнотАЭ . Но идея малости приращения функции вблизи экстремума вовсе не носилась в воздухе. Лучшие аналитические умы того времени были не готовы к манипуляциям с малыми величинами. Дело в том, что в то время алгебра считалась разновидностью арифметики, то есть математикой второго сорта, примитивным подручным средством, разработанным для нужд низменной практики (тАЬхорошо считают только торговцытАЭ ) . Традиция предписывала придерживаться сугубо геометрических методов доказательств, восходящих к античной математике. Ферма первый понял, что бесконечно малые величины можно складывать и сокращать, но довольно затруднительно изображать в виде отрезков

Понадобилось почти столетие, чтобы Жан дтАЩАламбер в знаменитой тАЬЭнциклопедиитАЭ признал: тАЬФерма был изобретателем новых исчислений. Именно у него мы встречаем первое приложение дифференциалов для нахождения касательныхтАЭ . В конце XVIII века еще более определенно выскажется Жозеф Луи граф де Лагранж: тАЬНо геометры - современники Ферма - не поняли этого нового рода исчисления. Они усмотрели лишь частные случаи. И это изобретение, которое появилось незадолго перед тАЬГеометриейтАЭ Декарта, оставалось бесплодным в течении сорока леттАЭ . Лагранж имеет в виду 1674 г., когда вышли в свет тАЬЛекциитАЭ Исаака Барроу, подробно освещавшие метод Ферма

Кроме всего прочего быстро обнаружилось, что Ферма более склонен формулировать новые проблемы, нежели, чем смиренно решать задачи, предложенные метрами. В эпоху дуэлей обмен задачами между учеными мужами был общепринят, как форма выяснения проблем, связанных с субординацией. Однако Ферма явно не знает меры. Каждое его письмо - это вызов, содержащий десятки сложных нерешенных задач, причем на самые неожиданные темы. Вот образчик его стиля (адресовано Френиклю де Бесси) : тАЬItem, каков наименьший квадрат, который при уменьшении на 109 и прибавлении единицы даст квадрат? Если Вы не пришлете мне общего решения, то пришлите частное для этих двух чисел, которые я выбрал небольшими, чтобы Вас не очень затруднить. После того как Я получу от Вас ответ, я предложу Вам некоторые другие вещи. Ясно без особых оговорок, что в моем предложении требуется найти целые числа, поскольку в случае дробных чисел самый незначительный арифметик смог бы прийти к цели.тАЭ Ферма часто повторялся, формулируя одни и те же вопросы по несколько раз, и откровенно блефовал, утверждая, что располагает необыкновенно изящным решением предложенной задачи. Не обходилось и без прямых ошибок. Некоторые из них были замечены современниками, а кое какие коварные утверждения вводили в заблуждение читателей в течении столетий

Кружок Мерсенна прореагировал адекватно. Лишь Робервиль, единственный член кружка, имевший проблемы с происхождением, сохраняет дружеский тон писем. Добрый пастырь отец Мерсенн пытался вразумить тАЬтулузского нахалатАЭ . Но Ферма не намерен оправдываться:тАЭ Преподобный отец! Вы мне пишете, что постановка моих невозможных проблем рассердила и охладила господ Сен-Мартена и Френикля и что это послужило причиной прекращения их писем. Однако я хочу возразить им, что то, что кажется сначала невозможным, на самом деле не является таковым и что есть много проблем, о которых, как сказал Архимед..тАЭ и т.д

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

Самую враждебную позицию по отношению к Ферма занял Декарт. В его письме Мерсенну от 1938 г. читаем: тАЬтак как я узнал, что это тот самый человек который перед тем пытался опровергнуть мою тАЬДиоптрикутАЭ , и так как Вы сообщили мне, что он послал это после того, как прочел мою тАЬГеометриютАЭ и в удивлении, что я не нашел ту же вещь, т.е. (как имею основание его истолковать) послал это с целью вступить в соперничество и показать, что в этом он знает больше, чем я, и так как еще из ваших писем я узнал, что за ним числится репутация весьма сведущего геометра, то я считаю себя обязанным ему ответить.тАЭ Свой ответ Декарт в последствии торжественно обозначит как тАЬмалый процесс Математики против г. ФерматАЭ

Легко понять, что привело в ярость именитого ученого. Во-первых, в рассуждениях Ферма постоянно фигурируют координатные оси и представление чисел отрезками - прием, который Декарт всесторонне развивает в своей только что изданной тАЬГеометриитАЭ . Ферма приходит к идее замены чертежа вычислениями совершенно самостоятельно, в чем-то он даже более последователен, чем Декарт. Во-вторых, Ферма блестяще демонстрирует эффективность своего метода нахождения минимумов на примере задачи о кратчайшем пути светового луча, уточняя и дополняя Декарта с его тАЬДиоптрикойтАЭ

Заслуги Декарта как мыслителя и новатора огромны, но откроем современную тАЬМатематическую энциклопедиютАЭ и просмотрим список терминов связанных с его именем: тАЬДекартовы координатытАЭ (Лейбниц, 1692) , тАЬДекартов листтАЭ , тАЬДекарта овалытАЭ . Ни одно из его рассуждений не вошло в историю как тАЬТеорема ДекартатАЭ . Декарт в первую очередь идеолог: он основатель философской школы, он формирует понятия, совершенствует систему буквенных обозначений, но в его творческом наследии мало новых конкретных приемов. В противоположность ему Пьер Ферма мало пишет, но по любому поводу может придумать массу остроумных математических трюков (см. там же тАЬТеорема ФерматАЭ ,тАЭ Принцип ФерматАЭ ,тАЭ Метод бесконечного спуска ФерматАЭ ) . Вероятно, они вполне справедливо завидовали друг другу. Столкновение было неизбежно. При иезуитском посредничестве Мерсенна разгорается война, длившаяся два года. Впрочем, Мерсенн и здесь оказался прав перед историей: яростная схватка двух титанов, их напряженная, мягко говоря, полемика способствовала осмыслению ключевых понятий математического анализа

Первым теряет интерес к дискуссии Ферма. По-видимому, он напрямую объяснился с Декартом и больше никогда не задевал соперника. В одной из своих последних работ тАЬСинтез для рефракциитАЭ , рукопись которой он послал де ла Шамбру, Ферма через слово поминает тАЬученейшего ДекартатАЭ и всячески подчеркивает его приоритет в вопросах оптики. Между тем именно эта рукопись содержала описание знаменитого тАЬпринципа ФерматАЭ , который обеспечивает исчерпывающее объяснение законов отражения и преломления света. Реверансы в сторону Декарта в работе такого уровня были совершенно излишни

Что же произошло? Почему Ферма, отложив в сторону самолюбие, пошел на примирение? Читая письма Ферма тех лет (1638 - 1640 гг.) , можно предположить самое простое: в этот период его научные интересы резко изменились. Он забрасывает модную циклоиду, перестает интересоваться касательными и площадями, и на долгие 20 лет забывает о своем методе нахождения максимума. Имея огромные заслуги в математике непрерывного, Ферма целиком погружается в математику дискретного, оставив опостылевшие геометрические чертежи своим оппонентам. Его новой страстью становятся числа. Собственно говоря, вся тАЬТеория чиселтАЭ , как самостоятельная математическая дисциплина, своим появлением на свет целиком обязана жизни и творчеству Ферма

В трудах древних, с их культом чертежа, мы находим удивительно мало исследований по теории чисел. Евклид отмечает кое-какие правила делимости и доказывает бесконечность множества простых чисел. Можно также припомнить cribrum Eratosthenis (решето Эратосфена) - метод выделения простых чисел из натурального ряда. Вот, пожалуй, и все. Особняком стоят сочинения Диофанта (III век до н.э.) , который рассматривал задачи о представлении чисел и решал неопределенные уравнения в целых числах. Из тринадцати книг его тАЬАрифметикитАЭ до наших дней дошло лишь шесть. В Европе переводы сочинений Диофанта на латинский и французский языки появились лишь в начале XVII в. Баше де Мезириак в 1621 г. издал перевод тАЬАрифметикитАЭ с собственными подробными комментариями и дополнениями. Именно это издание, попавшись в руки Ферма, сыграет выдающуюся роль в истории математики

Ферма внимательнейшим образом штудирует тАЬАрифметикутАЭ и помещает на полях книги 46 замечаний к тексту. Кроме этих пометок, положения из теории чисел (в основном без доказательств) рассеяны в письмах Ферма. Этого вполне хватило для возникновения нового направления в математике. После смерти Ферма его сын Самюэль издал в 1670 г. принадлежащий отцу экземпляр тАЬАрифметикитАЭ под названием тАЬШесть книг арифметики александрийца Диофанта с комментариями Л. Г. Баше и замечаниями П. де Ферма, тулузского сенаторатАЭ . В книгу были включены также некоторые письма Декарта и полный текст сочинения Жака де Бильи тАЬНовое открытие в искусстве анализатАЭ , написанное на основе писем Ферма. Издание имело невероятный успех. Перед изумленными специалистами открылся невиданный яркий мир. Неожиданность, а главное доступность, демократичность теоретико-числовых результатов Ферма породили массу подражаний. В то время мало кто понимал как вычисляется площадь параболы, но каждый школяр мог осознать формулировку Великой теоремы Ферма. Началась настоящая охота за неизвестными и утерянными письмами ученого. До конца XVII в. было издано и переиздано каждое найденное его слово. Но бурная история развития идей Ферма только начиналась

В последствии Ферма объяснит свое увлечение числами в письме английским математикам Дигби и Броункеру. Это письмо имеет специальный подзаголовок: тАЬВторой вызов Ферма математикамтАЭ . Ферма пишет: тАЬЕдва ли кто-нибудь может предложить или даже понять чисто арифметические задачи. Ибо разве Арифметика не толковалась скорее геометрически, чем арифметически. Это подтверждает большинство трудов древних и новых авторов; подтверждают это и труды самого Диофанта. Он несколько более других отдалился от геометрии, когда начал излагать Аналитику в рациональных числах; однако и эта часть не совсем лишена геометрии, что вполне доказали книги Виета тАЬЗететикатАЭ , где метод Диофанта переносится на непрерывные величины, а значит, и на геометрию.. Лишь я, словно идущий впереди факелоносец, предлагаю вам для доказательства или построения следующую теорему или задачу. Если вы ее решите, то поймете, что задачи такого рода ни тонкостью, ни трудностью, ни способом доказательства не уступают знаменитейшим проблемам геометриитАЭ

Что же искал и что открыл Пьер Ферма, занимаясь числами? Рискнем предположить, что более всего Ферма интересовали способы построения простых чисел. Он мечтал найти явную формулу, которая позволяет быстро вычислять сколь угодно большие простые числа. На полях тАЬАрифметикитАЭ он высказал предположение, что таким тАЬгенераторомтАЭ простых чисел будет формула , n = 0,1,2,..

Действительно, при n = 0,1,2,3,4 получаем простые числа 3,5,17,257,65537. Ферма полагал, что при всех прочих n числа F (n) - простые, и неоднократно предлагал своим корреспондентам доказать этот результат

Понадобилось сто лет, чтобы Леонард Эйлер в 1733 г. опроверг утверждение Ферма. Это произошло с подачи Христиана Гольдбаха, который в 1729 г. писал находившемуся в Петербурге Эйлеру: тАЬИзвестно ли тебе замечание Ферма о том, что все числа вида именно 3,5,17 и т.д. суть простые, причем сам он, по его признанию, не смог этого доказать и, насколько я знаю, после него никто не доказалтАЭ . Эйлер пару лет подумал и показал, что уже при n = 5 число F (5) делится на 641:

Для получения этого результата Эйлеру пришлось испытать 160 делителей. Составными оказались и многие другие числа Ферма (при n =6,7,8,9,10,11,12,15,16,18,23,36,38,73) . Наибольшее из известных в настоящий момент составных чисел Ферма F (452) состоит из 10 135 цифр и делится на 27Ч 2 455 +1 (показано с помощью ЭВМ) . Справедливости ради следует подчеркнуть, что Ферма, считая числа F ( n ) простыми, никогда не утверждал, что располагает доказательством этого факта. С другой стороны к настоящему времени известно столько же простых чисел Ферма, сколько из знали во времена Ферма, а именно: 3,5,17,257,65537

Итак, Ферма ошибался. Его формула производила в основном составные, а не простые числа. Однако, идея тАЬгенерированиятАЭ простых чисел была воспринята с энтузиазмом. Все тот же отнюдь не легкомысленный Эйлер предложил многочлен x 2 - x +41, который при всех целых x от 0 до 40 дает только простые числа. Эйлер не поленился проделать эти вычисления, хотя прекрасно знал, что многочлен с целыми коэффициентами не может при всех натуральных значениях аргумента принимать только простые значения. Сегодня, несмотря на усилия сотен профессионалов и тысяч дилетантов, мы по-прежнему не умеем вычислять сколь угодно большие простые числа, хотя знаем массу нюансов об их распределении. Один из самых ярких результатов этой области принадлежит академику Пафнутию Львовичу Чебышеву (1850) : число простых чисел не превосходящих n приблизительно равно при n Во ТР

Ферма ошибся, но Ферма был бы не Ферма, если бы позволил хоть одной своей теореме бесславно кануть в лету. тАЬПроклятые числа как оборотнитАЭ вылезали в самых далеких от теории чисел исследованиях. В 1796 г. 19-летний студент Геттингенского университета Карл Фридрих Гаусс произвел сенсацию, доказав теорему: правильный многоугольник может быть построен с помощью циркуля и линейки тогда и только тогда, когда число его сторон равно 2 a p 1 p 2 .. p b , где все простые числа p i являются числами Ферма, т.е. имеют вид. То была месть Ферма спесивым геометрам. Теорема Гаусса подвела черту под многовековыми спорами относительно возможности построения правильных многоугольников и сэкономила массу времени любителям математики. Из этой теоремы следует, что можно построить правильные 3-, 5-, 17-, 257-, 65537- и другие многоугольники и нельзя построить, например, правильные 7-, 11-, 13- угольники. Для неверующих Гаусс не поленился построить правильный 17-угольник

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

1. Формой x 2 + y 2 представимы все простые числа, которые лежат в прогрессии 4 n +1, причем каждое из них представимо этой формой единственным образом. Ни одно простое число из прогрессии 4 n +3 не представимо суммою двух квадратов

2. Формой x 2 +2y 2 представимы все простые числа, лежащие в прогрессиях 8 n +1 и 8 n +3. Ни одно простое число из прогрессий 8 n +5 и 8 n +7 не представимо в виде x 2 +2 y 2

3. Формой x 2 -2y 2 представимы все простые числа, лежащие в прогрессиях 8 n +1 и 8 n +7. Ни одно простое число из прогрессий 8 n +5 и 8 n +3 не представимо в виде x 2 -2 y 2

4. Формами x 2 +3y 2 и x 2 + xy + y 2 представимы все простые числа, лежащие в прогрессии 3 n +1. Ни одно простое число из прогрессии 3 n +2 не представимо указанными формами

Ферма оставил крайне мало пояснений, дающих возможность установить, как ему удалось получить эти в высшей степени общие результаты. Лишь перед смертью в письме к де Каркави Ферма частично обосновал положение (1) с помощью своего метода бесконечного спуска. Можно лишь пожалеть современников Ферма, которые регулярно получали вариации на тему утверждений (1) - (4) в качестве задач. Первые полные доказательства этих утверждений удалось получить лишь Эйлеру. Попутно он сформулировал очень важную теорему о делимости - так называемой квадратичный закон взаимности, доказательство которого дал Гаусс. Через увлечение квадратичными формами прошли Лагранж, Лежандр, Чебышев, а в наше век - Вейль, Артин и многие другие блестящие математики. Как всегда идеи Ферма оказались чрезвычайно плодотворны в смысле построения далеко идущих обобщений и формирования новых понятий. Добрая половина терминов современной абстрактной алгебры возникла из попыток доказать утверждения Ферма

Один из важнейших результатов Ферма получил специальное название тАЬМалая теорема ФерматАЭ . Это фундаментальный факт теории делимости на простые числа: для любого простого p и любого ai 1, которое не делится на p , разность a p -1 -1 делится на p . Например, пусть a=5, p=2,3,7,11. Тогда 5 2-1 -1=2Ч 2,5 3-1 -1=3Ч 8,5 7-1 -1=7Ч 2232,5 11-1 -1=11Ч 8878. Ферма высказал эту теорему в письме Френиклю де Бесси в 1640 г. с обычным для него замечанием: тАЬ.. я бы Вам прислал доказательство, если бы не опасался быть слишком длиннымтАЭ

Первое доказательство тАЬМалой теоремы ФерматАЭ дал Лейбниц. Затем Эйлер, начиная с 1736 г., публикует сразу три различных доказательства, которые показывают, что Ферма вполне мог уметь доказывать свою теорему. Потомки часто искали элементарные доказательства утверждений Ферма, пытаясь понять насколько лукавил великий тулузец. Проблемы Ферма волновали Эйлера на протяжении всей жизни. В 1760 г. он получил существенное обобщение его тАЬМалой теоремытАЭ : пусть j ( m ) - число натуральных чисел, не превосходящих m и взаимно простых с m . Тогда для любого m и любого ai 1, взаимно простого с m , разность aj ( m ) -1 делится на m . Эту терему Эйлер скромно опубликовал в качестве четвертого доказательства тАЬМалой теоремы ФерматАЭ Наконец, мы переходим к изложению самой знаменитой теоремы в истории математики. Эта теорема получила известность как тАЬВеликая теорема ФерматАЭ (она же тАЬБольшаятАЭ , она же тАЬПоследняятАЭ ) . На современном это языке звучит так: не существует отличных от нуля целых чисел x , y и z , для которых имеет место равенство при n> 2

Разумеется, никакого уравнения у Ферма не было. Он вообще не знал знака равенства, а использовал латинское eq. Приводим утверждение Ферма в оригинальном виде: тАЬКуб, однако, на два куба или квадроквадрат на два квадроквадрата и вообще никакую до бесконечности сверх квадрата степень в две того же названия невозможно разделитьтАЭ . И не поставив точку, Ферма приписал:тАЭ я открыл поистине удивительное доказательство этого предложения. Но оно не умещается на узких полях. тАЬЭтой фразой Ферма прокомментировал задачу из Диофанта: тАЬЗаданный квадрат разложить на два квадрататАЭ . Данное замечание является вторым по счету из сделанных им на полях тАЬАрифметикитАЭ . Первое касалось житейских тем

Неопределенные уравнения (т.е. уравнениями с двумя неизвестными) вида интересовали древних греков в связи с теоремой Пифагора. Они искали (и находили) тройки целых чисел, образующие стороны прямоугольного треугольника. Это означает, что при n =1,2 уравнение в рамке имеет бесчисленное множество решений. Догадка Ферма заключалась в том, что при всех прочих n таких троек не существует

Вряд ли Ферма был первым, кто пришел к подобному выводу. Например, около тысячи лет назад узбекский математик Хамид ал-Хадженди (что означает Хамид из Ленинабада) утверждал, что уравнение x 3 + y 3 = z 3 не имеет решений в целых числах. Сегодня ясно, что Хамид не имел никаких шансов доказать это утверждение

В отношении Ферма достоверно известно, что он доказал тАЬВеликую теоремутАЭ при n =4 на полях все той же тАЬАрифметикитАЭ . И это единственное теоретико-числовое доказательство Ферма дошедшее до наших дней. На протяжении 20 лет Ферма упорно старается привлечь внимание математиков к тАЬВеликой теореметАЭ , предлагая частные случаи в качестве задач. Случай n =3 он формулирует в пяти письмах, причем в последнем письме (от августа 1659 г.) пишет, что доказал теорему для n =3 методом спуска. Между тем тАЬВеликую теоремутАЭ для общего случая n > 2 Ферма сформулировал только один раз в упомянутом замечании на полях тАЬАрифметикитАЭ . Он не формулирует ее ни разу ни в одном из писем. Он предлагает только частные случаи ( n =3,4) , в отношении которых уверенно говорит, что располагает доказательством. Даже в письме к де Каркави от 1659 г., в котором Ферма перечисляет свои основные достижения, о тАЬВеликой теореметАЭ в общем виде нет ни слова. Это может означать только одно: Ферма обнаружил пробелы в своем тАЬпоистине удивительном доказательстветАЭ , которые так и не смог устранить

Разумеется, это не охладило потомков. Начиная с конца XVII в. началась невиданная по своей напряженности гонка за доказательством тАЬВеликой теоремы ФерматАЭ . Обманчивая простота формулировки теоремы обрекла тысячи поклонников математики на бесплодные поиски доказательства или опровержения теоремы. Более ста лет никому из ученых не удавалось продвинуться вперед даже при рассмотрении частных случаев конкретных значений показателя n

Первый серьезный результат был получен конечно же Эйлером (1768) . Он показал, что случай n =4 уникален. Это единственный частный вариант тАЬВеликой теоремытАЭ , когда доказательство имеет вполне элементарный характер. Уже при n =3 возникают значительные осложнения. Настолько существенные, что появляется повод в очередной раз сомневаться в честности Ферма. Эйлер доказал теорему для случая n =3, рассматривая комплексные числа вида, где a, b - целые числа. В XVII в. подобная ересь не могла придти в голову даже Ферма

Строго говоря, доказательство Эйлера было дефектным, поскольку он необоснованно перенес ряд свойств обычных чисел на числа вида . В частности он предполагал единственность разложения таких чисел на простые множители. Для устранения пробелов в доказательстве Эйлера понадобились принципиально новые алгебраические абстракции: числовые кольца и поля. Реализацию этой программы начал Гаусс, которому принадлежит первое абсолютно строгое доказательство тАЬВеликой теоремы ФерматАЭ для n =3

Доказательство для случая n =5 предложили почти одновременно в атмосфере острого соперничества два француза: Лежен-Дирихле и Лежандр (1825) . Оба доказательства были очень сложными. В 1839 г. теорема Ферма была доказана для следующего простого показателя n =7. Это удалось благодаря титаническим усилиям Ламе. Он же в 1847 г. объявил, что доказал теорему для всех простых показателей n >3. Однако бдительный Лиувиль сразу же обнаружил в рассуждениях Ламе ошибку сходную с той, которую допустил Эйлер. Ламе был вынужден признать свое поражение

Пока во Франции происходили эти события, в Германии молодой математик Куммер упорно занимается теоремой Ферма. Повторив все ошибки Ламе, он пришел к понятию тАЬидеальных чиселтАЭ , для которых разложение на простые множители единственно. Обобщение этого понятия привело к созданию головокружительных абстрактных конструкций, которые сегодня изучаются в специальном разделе алгебре под названием тАЬТеория идеаловтАЭ . Куммер, посвятивший теореме несколько десятков лет, к концу жизни умел доказывать тАЬВеликую теорему ФерматАЭ для всех простых показателей n <100. В 1857 г. ему была вручена премия Французской академии наук в размере 3 тыс. франков. Работы Куммера окончательно похоронили надежды на возможность доказательства теоремы Ферма элементарными средствами. Стало ясно, что Ферма никогда не имел и не мог иметь доказательства теоремы в общем виде

После Куммера серьезных сдвигов в доказательстве теоремы Ферма не происходило вплоть до 1929 г., когда Вандивер, используя метод Куммера, получил в явном виде некие условия, позволяющие проверять истинность теоремы для любого простого показателя. С этого момента доказательство теоремы для конкретного n свелось к чисто вычислительным проблемам, с которыми легко справляются современные ЭВМ. В результате к концу семидесятых годов нашего столетия тАЬВеликая теорема ФерматАЭ была доказана для всех n <100000. Это очень большое число, но это еще не все n , а значит тАЬВеликая теорема ФерматАЭ не доказана и не опровергнута

тАЬВерна или не верна?тАЭ - так назывался чудесный научно-популярный игровой фильм, промелькнувший на экранах телевизоров в начале семидесятых. Современный яйцеголовый математик, разложив на пульте ЭВМ старинные фолианты, колдует над кипящей ретортой. Он решил обратиться к последнему средству. Произнесена магическая формула, раздается взрыв, и в облаке дыма появляется интеллигентного вида дьявол (его блестяще играет молодой Кайдановский) . Помахивая хвостом, нечистый вежливо спрашивает, что угодно клиенту в обмен на бессмертную душу. тАЬЯ хочу знать, верна или не верна теорема ФерматАЭ - устало ответствует математик. тАЬПростите, кто кому не верна?тАЭ - переспрашивает ошарашенный дьявол. тАЬВеликая или Последняя теорема Ферма. Это математическое утверждение. Оно либо справедливо, либо ошибочно. Я должен это узнать любой ценойтАЭ . Дьявол осторожно интересуется насчет более традиционных пожеланий - земные блага, вечная молодость и все такое. Но математик упрямо требует ответа на проклятый вопрос. Дьявол, обреченно вздыхая, соглашается вникнуть в суть проблемы. Математик пускается в объяснения: тАЬУравнение Ферма может быть решено в целых числах, если показатель равен двум. Например, три в квадрате плюс четыре в квадрате равно пяти в квадрате. Но если показатель равен трем..тАЭ тАЬПодождите, - перебивает его дьявол. - Как Вы сказали? Три в квадрате плюс четыре в квадрате..тАЭ , и дьявол рисует кончиком хвоста: + Математик с изумлением взирает на посланника ада. Дьявол безнадежно отстал и не знает элементарной алгебры! Придется начинать с самого начала. Через несколько минут дьявол (а заодно и зритель) уясняет формулировку теоремы и проникается ее интригующей историей. Он полон оптимизма, ему не терпится приступить к решению загадки: тАЬЯ всего лишь должен найти три числа? Три обычных числа, которые удовлетворяют уравнению г-на Ферма для некоторого показателя, например, для трехтАЭ . тАЬДа, этого достаточно, чтобы отвергнуть теоремутАЭ - отвечает математик, но дьявол уже исчез. Через несколько минут он вновь сидит в кресле: тАЬЯ перебрал биллионы чисел для тысячи показателей, но нужных цифр среди них не былотАЭ - заявляет он обиженно. Математик улыбается: тАЬЗря старались. Известно, что теорема Ферма верна для всех показателей не превосходящих 100000. Попытайтесь доказать теорему, используя знания, накопленные людьмитАЭ . Час спустя дьявол появляется вновь. Вид у него самый озабоченный. Он в очках, на нем модная водолазка. тАЬДа, Вы правы. Эта штучка жжет почище адского пламени. - говорит он задумчиво - Я полностью овладел математическим анализом, я изучил теорию квадратичных вычетов, ряды Дирихле, диофантовы уравнения, дзета-функции, поля классов и многое другое. И я знаю, что близок к цели. Я пришел просить отсрочки еще на частАЭ . Он возвращается лишь поздно ночью, разбудив задремавшего математика. тАЬПослушайте, - шепчет возбужденно дьявол, - а Вы пробовали рассматривать алгебраические кривые в проективной плоскости инвариантные относительно бирациональных преобразований в хаусдорфовой топологии. Шансов немного, но..тАЭ . тАЬПозвольте, прерывает его математик, - разве это возможно в случае произвольных полейтАЭ . Дьявол в ответ раскрывает научный журнал: тАЬТак Вы не видели свежей работы Серра по когомологиям Вейля? Вот, взглянитетАЭ . И они, забыв о сделке, углубляются в формулы, обмениваясь репликами на жутковатом профессиональном жаргоне

Забавный фильм вполне точно подмечает инфернальный характер наследия Ферма. тАЬВеликая теорематАЭ обернулась проклятием для десятков, может быть сотен тысяч людей, имевших несчастье вникнуть в ее формулировку и заразиться желанием испытать свои силы. Вступившие на эту стезю уже не внимали никаким доводам рассудка. Иллюстрацией может служить анекдотичная телеграмма, пришедшая в Президиум АН СССР: тАЬДоказал теорему Ферма. Основная идея перенести игрек энной в правую часть. Подробности письмомтАЭ

Ведущие математики всех времен и народов неоднократно объясняли, что элементарное доказательство теоремы Ферма во-первых не существует, а во-вторых не будет иметь никакого значения для науки. Оно всего лишь закроет проблему. Подлинное значение тАЬВеликой теоремытАЭ в том, что при попытках ее доказательства были выкованы мощные средства, приведшие к созданию новых обширных разделов математики

Движение тАЬферматистовтАЭ приняло невероятный размах, после того, как в 1908 г. немецкий любитель математики Вольфскель завещал 100000 марок тому, кто докажет теорему Ферма. Право присуждения премии предоставлялось Гетингенской академии Германии. Немедленно тысячи людей стали бомбардировать научные общества и редакции журналов рукописями, якобы содержащими доказательство тАЬВеликой теоремытАЭ . Только в Геттингенское математическое общество за первые три года после объявления завещания Вольфскеля пришло более тысячи тАЬдоказательствтАЭ . Педантичные немцы даже заготовили бланки: тАЬВаше доказательство содержит ошибку на стр. ____, которая заключатся в том, что ____________тАЭ После первой мировой войны во время инфляции премия Вольфскеля обесценилась, но поток тАЬферматистских доказательствтАЭ не прекратился

Финал этой истории банален. В 1993 г. все ведущие информационные агентства передали сообщение о том, что двум американским математикам удалось доказать теорему Ферма в общем виде. Через полгода в нашей прессе выступил крупнейший алгебраист акад. Фадеев, который подтвердил факт доказательства. XX век покончил с тАЬВеликой теоремой ФерматАЭ тихо и буднично. При помощи обычной теории идеалов

Литература

1. П. Ферма. Исследования по теории чисел и диофантову анализу. М., тАЬНаукатАЭ , 1992

2. М. М. Постников. Теорема Ферма. М., тАЬНаукатАЭ , 1978

3. В. А. Никифоровский, Л. С. Фрейман. Рождение новой математики. М., тАЬНаукатАЭ , 1976

4. Р. Тиле. Леонард Эйлер. Киев, тАЬВища школатАЭ , 1983

5. В. Ф. Асмус. Декарт. М., Госполитиздат, 1956

6. И. Г. Башмакова, Е. И. Славутин. История диофантова анализа от Диофанта до Ферма. М., тАЬНаукатАЭ , 1984

Вместе с этим смотрят:

Развитие математики в России в XVIII-XIX-ом столетиях
Развитие продуктивного мышления на уроках математики
Разработка электронного учебника по математике для студентов 1-го курса
Расчет площади сложной фигуры