Пьер Ферма (1601-1665) — французский математик, один из создателей аналитической геометрии и теории чисел (теоремы Ферма). Труды по теории вероятностей, исчислению бесконечно малых и оптике (принцип Ферма).
В одном из некрологов Пьеру Ферма говорилось — «Это был один из наиболее замечательных умов нашего века, такой универсальный гений и такой разносторонний, что если бы все ученые не воздали должное его необыкновенным заслугам, то трудно было бы поверить всем вещам, которые нужно о нем сказать, чтобы ничего не упустить в нашем похвальном слове».
К сожалению, о жизни великого ученого известно не так много. Пьер Ферма родился на юге Франции в небольшом городке Бомон-де-Ломань, где его отец — Доминик Ферма — был «вторым консулом», т. е. чем-то вроде помощника мэра. Метрическая запись о его крещении от 20 августа 1601 года гласит: «Пьер, сын Доминика Ферма, буржуа и второго консула города Бомона». Мать Пьера, Клер де-Лонг, происходила из семьи юристов.
Доминик Ферма дал своему сыну Пьеру очень солидное образование. В колледже родного города Пьер приобрел хорошее знание языков — латинского, греческого, испанского, итальянского. Впоследствии он писал стихи на латинском, французском и испанском языках «с таким изяществом, как если бы он жил во времена Августа и провел большую часть своей жизни при дворе Франции или Мадрида».
Пьер Ферма славился как тонкий знаток античности, к нему обращались за консультацией по поводу трудных мест при изданиях греческих классиков. Из древних писателей он комментировал Атенея, Полюнуса, Синезугa, Теона Смирнского и Фронтина, исправил текст Секста Эмпирика По общему мнению, он мог бы составить себе имя в области греческой филологии.
Но Ферма направил всю силу своего гения на математические исследования. И все же математика не стала его профессией. Ученые его времени не имели возможности посвятить себя целиком любимой науке.
Ферма избирает юриспруденцию. Степень бакалавра была ему присуждена в Орлеане. С 1630 года Ферма переселяется в Тулузу, где получает место советника в Парламенте (т. е. суде). О его юридической деятельности говорится в «похвальном слове», что он выполнял ее «с большой добросовестностью и таким умением, что он славился как один из лучших юристов своего времени».
В 1631 году Пьер Ферма женился на своей дальней родственнице с материнской стороны — Луизе де-Лонг. У Пьера и Луизы было пятеро детей, из которых старший, Самюэль, стал поэтом и ученым. Ему мы обязаны первым собранием сочинений Пьера Ферма, вышедшим в 1679 году. К сожалению, Самюэль Ферма не оставил никаких воспоминаний об отце.
При жизни П. Ферма о его математических работах стало известно главным образом через посредство обширной переписки, которую он вел с другими учеными. Собрание сочинений, которое он неоднократно пытался написать, так и не было им создано. Да это и неудивительно при той напряженной работе в суде, которую ему пришлось выполнять. Ни одно из его сочинений не было опубликовано при жизни. Однако нескольким трактатам он придал вполне законченный вид, и они стали известны в рукописи большинству современных ему ученых. Кроме этих трактатов осталась еще обширная и чрезвычайно интересная его переписка. В XVII веке, когда еще не было специальных научных журналов, переписка между учеными играла особую роль. В ней ставились задачи, сообщалось о методах их решения, обсуждались острые научные вопросы.
Корреспондентами Пьера Ферма были крупнейшие ученые его времени Декарт, Этьен и Паскаль, де-Бееси, Христиан Гюйгенс, Торричелли Валлис. Письма посылались либо непосредственно корреспонденту, либо в Париж аббату Мерсенну (соученику Декарта по колледжу); последний размножал их и посылал тем математикам, которые занимались аналогичными вопросами. Но письма ведь почти никогда не бывают только короткими математическими мемуарами. В них проскальзывают живые чувства авторов, которые помогают воссоздать их образы, узнать об их характере и темпераменте. Обычно письма Ферма были проникнуты дружелюбием.
Одной из первых математических работ Пьера Ферма было восстановление двух утерянных книг Аполлония «О плоских местах». Крупную заслугу Ферма перед наукой видят, обыкновенно, во введении им бесконечно малой величины в аналитическую геометрию, подобно тому, как это, несколько ранее, было сделано Кеплером в отношении геометрии древних. Он совершил этот важный шаг в своих относящихся к 1629 году работах о наибольших и наименьших величинах, — работах, открывших собою тот ряд исследований Ферма, который является одним из самых крупных звеньев в истории развития не только высшего анализа вообще, но и анализа бесконечно малых в частности.
В конце двадцатых годов Пьер Ферма открыл методы нахождения экстремумов и касательных, которые, с современной точки зрения, сводятся к отысканию производной. В 1636 году законченное изложение метода было передано Мерсенну и с ним могли познакомиться все желающие.
В 1637—1638 годах по поводу «Метода отыскания максимумов и минимумов» у Ферма возникла бурная полемика с Декартом. Последний не понял метода и подверг его резкой и несправедливой критике. В одном из писем Декарт утверждал даже, что метод Пьера Ферма «содержит в себе паралогизм». В июне 1638 года Ферма послал Мерсенну для пересылки Декарту новое, более подробное изложение своего метода. Письмо его сдержанно, но не без внутренней иронии. Он пишет: «Таким образом, обнаруживается, что либо я плохо объяснил, либо г. Декарт плохо понял мое латинское сочинение. Я все же пошлю ему то, что уже написал, и он, несомненно, найдет там вещи, которые помогут ему отказаться от мнения, будто я нашел этот метод случайно и его подлинные основания мне неизвестны». Пьер ни разу не изменяет своему спокойному тону. Он чувствует свое глубокое превосходство как математика, поэтому не входит в мелочную полемику, а терпеливо старается растолковать свой метод, как это сделал бы учитель ученику.
До Ферма систематические методы вычисления площадей разработал итальянский ученый Кавальери. Но уже в 1642 году Ферма открыл метод вычисления площадей, ограниченных любыми «параболами» и любыми «гиперболами». Им было показано, что площадь неограниченной фигуры может быть конечной.
Пьер Ферма одним из первых занялся задачей спрямления кривых, т. е. вычислением длины их дуг. Он сумел свести эту задачу к вычислению некоторых площадей. Таким образом, понятие «площади» у Ферма приобретало уже весьма абстрактный характер. К определению площадей сводились задачи на спрямление кривых, вычисление сложных площадей он сводил с помощью подстановок к вычислению более простых площадей. Оставался только шаг, чтобы перейти от площади к еще более абстрактному понятию «интеграл».
Дальнейший успех методов определения «площадей», с одной стороны, и «методов касательных и экстремумов» — с другой, состоял в установлении взаимной связи этих методов. Есть указания на то, что Пьер Ферма уже видел эту связь, знал, что «задачи на площади» и «задачи на касательные» являются взаимно обратными. Но он нигде не развил свое открытие сколько-нибудь подробно. Поэтому честь его по праву приписывается Барроу, Исааку Ньютону и Готфриду Лейбницу, которым это открытие и позволило создать Дифференциальное и интегральное исчисления.
Несмотря на отсутствие доказательств (из них дошло только одно), трудно переоценить значение творчества Пьера Ферма в области теории чисел. Ему одному удалось выделить из хаоса задач и частных вопросов, сразу же возникающих перед исследователем при изучении свойств целых чисел, основные проблемы, которые стали центральными для всей классической теории чисел. Ему же принадлежит открытие мощного общего метода для доказательства теоретико-числовых предложений — так называемого метода неопределенного или бесконечного спуска, о котором будет сказано ниже. Поэтому Ферма по праву может считаться основоположником теории чисел.
Я более свободен и дистанцирован, чем любой человек в мире.
Ферма Пьер
В письме к де-Бесси от 18 октября 1640 года Пьер Ферма высказал следующее утверждение: если число а не делится на простое число р, то существует такой показатель к, что а—7 делится на р, причем к является делителем р—1. Это утверждение получило название малой теоремы Ферма. Оно является основным во всей элементарной теории чисел. Леонард Эйлер дал этой теореме несколько различных доказательств.
В задаче второй книги своей «Арифметики» Диофант поставил задачу представить данный квадрат в виде суммы двух рациональных квадратов. На полях, против этой задачи, Ферма написал:
«Наоборот, невозможно разложить ни куб на два куба, ни биквадрат на два биквадрата и вообще ни в какую степень, большую квадрата, на две степени с тем же показателем. Я открыл этому поистине чудесное доказательство, но эти поля для него слишком узки». Это и есть знаменитая Великая теорема.
Теорема эта имела удивительную судьбу. В прошлом веке ее исследования привели к построению наиболее тонких и прекрасных теорий, относящихся к арифметике алгебраических чисел. Без преувеличения можно сказать, что она сыграла в развитии теории чисел не меньшую роль, чем задача решения уравнений в радикалах. С той только разницей, что последняя уже решена Галуа, а Великая теорема до сих пор побуждает математиков к исследованиям. С другой стороны, простота формулировки этой теоремы и загадочные слова о «чудесном доказательстве» ее привели к широкой популярности теоремы среди не математиков и к образованию целой корпорации «ферматистов», у которых, по словам Дэвенпорта, «смелость значительно превосходит их математические способности». Поэтому Великая теорема стоит на первом месте по числу данных ей неверных доказательств.
Сам Пьер Ферма оставил доказательство Великой теоремы для четвертых степеней. Здесь он применил «метод неопределенного или бесконечного спуска», который он описывал в своем письме к Каркави (август 1659 года) следующим образом:
«Если бы существовал некоторый прямоугольный треугольник в целых числах, который имел бы площадь, равную квадрату, то существовал бы другой треугольник, меньший этого, который обладал бы тем же свойством. Если бы существовал второй, меньший первого, который имел бы то же свойство, то существовал бы в силу подобного рассуждения третий, меньший второго, который имел бы то же свойство, и, наконец, четвертый, пятый, спускаясь до бесконечности. Но если задано число, то не существует бесконечности по спуску меньших его (я все время подразумеваю целые числа). Откуда заключают, что не существует никакого прямоугольного треугольника с квадратной площадью». Именно этим методом были доказаны многие предложения теории чисел, и, в частности, с его помощью Эйлер доказал Великую теорему для п=4 (способом, несколько отличным от способа Ферма), а спустя 20 лет и для п=3.
В прошлом веке Куммер, занимаясь Великой теоремой Ферма, построил арифметику для целых алгебраических чисел определенного вида. Это позволило ему доказать Великую теорему для некоторого класса простых показателей п. В настоящее время справедливость Великой теоремы проверена для всех показателей п меньше 5500.
Отметим также, что Великая теорема связана не только с алгебраической теорией чисел, но и с алгебраической геометрией, которая сейчас интенсивно развивается.
У Пьера Ферма есть много других достижений Он первым пришел к идее координат и создал аналитическую геометрию. Он занимался также задачами теории вероятностей. Но Ферма не ограничивался одной только математикой, он занимался и физикой, где ему принадлежит открытие закона распространения света в средах. Пьер исходил из предположения, что свет пробегает путь от какой-либо точки в одной среде до некоторой точки в другой среде в наикратчайшее время. Применив свой метод максимумов и минимумов, он нашел путь света и установил, в частности, закон преломления света. При этом Ферма высказал следующий общий принцип: «Природа всегда действует наиболее короткими путями», который может считать предвосхищением принципа наименьшего действия Мопертюи — Эйлера.
Одно из последних писем ученого к Каркави получило название «завещание Ферма». Вот его заключительные строки:
«Быть может, потомство будет признательно мне за то, что я показал ему, что древние не все знали, и это может проникнуть в сознание тех, которые придут после меня для передачи факела сыновьям, как говорит великий канцлер Англии, следуя чувствам которого, я добавлю: «Многие будут приходить и уходить, а наука обогащается».
Пьер Ферма скончался 12 января 1665 года во время одной из деловых поездок.
Еще про Пьера Ферма:
Ферма (Пьер Fеrma) — знаменитый французский математик 1601 — 65). Сын торговца; изучил законоведение и с 1631 г. до конца жизни был советником Тулузского парламента.
Научные сведения Пьера Ферма, и притом не только в области наук математических, поражали его соотечественников разносторонностью. Владея южноевропейскими языками и глубоко изучив латинский и греческий, Ферма был гуманистом и поэтом, писавшим французские и латинские стихи. Из древних писателей он комментировал Атенея, Полиенуса, Синезиуса, Теона Смирнского и Фронтина, исправил текст Секста Эмпирика.
Изучив творения Бэкона Веруламского, Пьер Ферма не только проник в их смысл глубже Декарта, но в отношении экспериментального метода он пошел даже далее самого их автора, так как не ограничился одним теоретическим знакомством с методом, но в ряде опытов по предмету экспериментальной механики дал ему непосредственное приложение к действительности.
При жизни Пьера об его математических работах стало известно главным образом через посредство обширной переписки, которую он вел с другими учеными, преимущественно с Мерсеннем, Робервалем, Паскалями: Этьенном и Блезом, Декартом, Френиклем, Каркави, Пьер Гассенди, Сенье, Булльо, Дигби, Клерселье, Лалувером и Гюйгенсом.
Сам Пьер Ферма напечатал только два свои произведения: геометрическую диссертацию «De linearum curvarum cum lineis rectis comparatione» (Тулуза, 1660), вместе с приложением к ней и анонимную статью без заглавия, вошедшую в качестве «первой части второго прибавления» в состав книги иезуита Лалувера: «Veterum Greometria promota in septem de Cycloide libris, et in duabus adjectis Appendicibus» (Тулуза, 1660).
Из переписки Пьера Ферма при его жизни в печать проникли, кроме нескольких отрывков, письмо к Гассенди, помешенное в VI томе «Собрания сочинений» последнего (Лион, 1658), и девять писем, напечатанных английским математиком Валлисом в его издании «Commtrcium epistolicum de Quaestionibus quibusdam Mathematicis nuper habitum inter nobilissimos Viros etc.» (Оксфорд, 1658). Этих работ для Ферма оказалось, однако же, вполне достаточным для единогласного его признания современниками одним из выдающихся математиков.
Крупную заслугу Пьера Ферма перед наукой видят, обыкновенно, во введении им бесконечно малой величины в аналитическую геометрию, подобно тому, как это несколько ранее, было сделано Кеплером в отношении геометрии древних. Он совершил этот важный шаг в своих относящихся к 1629 г. работах о наибольших и наименьших величинах, — работах, открывших собою тот из важнейших рядов исследований Ферма, который является одним из самых крупных звеньев в истории развития не только высшего анализа вообще, но и анализа бесконечно малых в частности. Метод Пьера Ферма нахождения наибольших и наименьших величин состоял в следующем.
В выражение, переходящее в свое наибольшее или наименьшее значение, вместо неизвестного х вставляется сумма двух неизвестных х+е. Полученная через эту подстановку новая форма выражения приравнивается его первоначальной форме, чем и порождается взгляд на неизвестное е, как на величину крайне малую. В найденном, таким образом, уравнении опускаются содержащиеся в обеих его частях одинаковые члены, оставшиеся делятся на е и те из них, в которых е удержалось и после деления, опускаются совсем. В результате получается уравнение, доставляющее наибольшее или наименьшее значение неизвестного х. Этот метод лег в основание и двух следовавших за ним, также очень важных работ Ферма в той же области, именно способа проведения касательных к кривым и приема определения центра тяжести параболоида вращения.
Из них первый сделался известным в 1642 г. из «Дополнения» к «Cursus mathematici» Геригона, а второй — из статьи «Centrum gravitatis parabolici conoidis, ex eadem methodo», пересланной в 1638 г. через Мерсення Робервалю. В ряде исследований Пьер Ферма по предмету высшего анализа все указанные до сих пор могут быть обозначены, следуя новейшей терминологии, одним общим названием приложений дифференциального исчисления. Что касается остальных исследований из принадлежащих тому же ряду, то они также могут быть соединены в одну группу, общая характеристика которой вполне исчерпывается термином приложения интегрального исчисления. Членами этой группы были квадратуры, кубатуры и ректификации.
Первое сделавшееся известным изложение результатов работ Пьер Ферма по предмету квадратур и кубатур представляет упомянутая уже выше статья («Ad Bon. Cavalierii quaestiones responsa»), посланная автором в 1644 г. Кавальери через посредство Мерсення. Предмет ее состоит в несопровождаемом доказательствами изложении данных автором решений вопросов Кавальери. Она содержит в себе квадратуры парабол различных порядков, кубатуры происходящих от них тел вращения и определения центров тяжести последних. В гораздо более подробном виде знакомит с теми же работами Ферма другое, по-видимому, более позднее сочинение, напечатанное после смерти автора: «De aequationum localium transmutatione et emendatione ad multimodam curvilineorum inter se vel cum rectilineis comparationern, cui annectitur proportionis geometricae in quadrandis infinitis parabolis et hyperbolis usus».
Что касается найденного Пьером Ферма способа ректификации или выпрямления кривых, то он изложен в его уже упомянутой выше диссертации «De linearum curvarum cum lineis rectis comparatione». Не менее важными по своим последствиям, чем работы по высшему анализу, и едва ли не более блестящими по своей глубине и остроумию были результаты исследований Ферма в области теории чисел. Особого, посвященного им сочинения автор не оставил, но сохранились заметки, рассеянные и, по большей части, без доказательств в письмах Ферма, и в особенности на полях принадлежащего автору экземпляра сочинений Диофанта в издании Баше де Мезириака.
В числе заметок на экземпляре сочинений Диофанта находилось важнейшее из открытий Пьера Ферма в области теории чисел, — теорема о невозможности разложения какой-нибудь степени, за единственным исключением квадрата, на две такие же степени. Знаменитое предложение, известное под именем "теоремы Ферма" и выражаемое сравнением (mod p), в котором р есть первоначальное число, а а есть число, не делящееся на р, было дано Фермом в письме к неизвестному лицу от 18 октября 1640 г. Доказательство первой из этих двух теорем было найдено позднейшими математиками (Эйлером, Дирикле, Куммером) только с большим трудом, и притом в формах, которыми сам П. Ферма никак не мог пользоваться.
Из других работ Пьера Ферма остается упомянуть:
1) об его занятиях решением некоторых вопросов теории вероятностей, вызванных или поставленных перепискою с Блезом Паскалем;
2) о попытках восстановления некоторых из утраченных произведений древних греческих математиков и, наконец,
3) об его спорах с Декартом по поводу метода определения наибольших и наименьших величин и по вопросам диоптрики.
Сочинениями, которые Пьер Ферма намеревался восстановить, были «Поризмы» Эвклида и «Плоские места» Аполлония Пергейского. Поводом ко второму из вышеупомянутых споров Ферма с Декартом был найденный последним закон преломления. Пьер Ферма находил сомнительным утверждение противника, что свет при прохождении через тело встречает тем менее сопротивления, чем это тело плотнее. Также спорил он и против утверждения, что отражение света может быть объяснено отскакиванием неупругих световых частиц. Позднее, после смерти Декарта, спор по тем же предметам Пьер Ферма продолжал с его учеником Kлepселье.
Собрание математических сочинений и писем Пьером Ферма было издано в, первый раз его сыном Самюелем в 1679 г.: «Varia opera mathematica D. Petri de Fermat, Senatoris tolosani. Accesserunt selectae quaedam ejusdem Epistolae, vel ad ipsum a plerisque doctissimis viris Gallice, Latine, vel Italice, de rebus ad Mathematicis disciplinas aut Physicam pertinentibus scriptae» (Тулуза). В 1861 г. в Берлине появилась перепечатка этого издания, сделанная Фридлендером.
Новое, более полное и совершенное собрание сочинений Пьера Ферма было издано в Париже в трех томах, под заглавием «Oeuvres de Fermat, publiees par les soins de P. Tannery et Ch. Henry» (1896).