112  

Ферма избирает юриспруденцию. Степень бакалавра была ему присуждена в Орлеане. С 1630 года Ферма переселяется в Тулузу, где получает место советника в Парламенте (т. е. суде). О его юридической деятельности говорится в «похвальном слове», что он выполнял ее «с большой добросовестностью и таким умением, что он славился как один из лучших юристов своего времени».

При жизни Ферма об его математических работах стало известно главным образом через посредство обширной переписки, которую он вел с другими учеными. Собрание сочинений, которое он неоднократно пытался написать, так и не было им создано. Да это и неудивительно при той напряженной работе в суде, которую ему пришлось выполнять. Ни одно из его сочинений не было опубликовано при жизни Однако нескольким трактатам он придал вполне законченный вид, и они стали известны в рукописи большинству современных ему ученых. Кроме этих трактатов осталась еще обширная и чрезвычайно интересная его переписка. В XVII веке, когда еще не было специальных научных журналов, переписка между учеными играла особую роль. В ней ставились задачи, сообщалось о методах их решения, обсуждались острые научные вопросы.

Корреспондентами Ферма были крупнейшие ученые его времени: Декарт, Этьен и Блез Паскали, де-Бееси, Гюйгенс, Торричелли, Валлис. Письма посылались либо непосредственно корреспонденту, либо в Париж аббату Мерсенну (соученику Декарта по колледжу); последний размножал их и посылал тем математикам, которые занимались аналогичными вопросами.

Одной из первых математических работ Ферма было восстановление двух утерянных книг Аполлония «О плоских местах».

Крупную заслугу Ферма перед наукой видят обыкновенно во введении им бесконечно малой величины в аналитическую геометрию, подобно тому, как это несколько ранее было сделано Кеплером в отношении геометрии древних. Он совершил этот важный шаг в своих, относящихся к 1629 году, работах о наибольших и наименьших величинах, — работах, открывших собою тот из важнейших рядов исследований Ферма, которые являются одним из самых крупных звеньев в истории развития не только высшего анализа вообще, но и анализа бесконечно малых в частности.

В конце двадцатых годов Ферма открыл методы нахождения экстремумов и касательных, которые, с современной точки зрения, сводятся к отысканию производной В 1636 году законченное изложение метода было передано Мерсенну, и с ним могли познакомиться все желающие.

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

Ферма одним из первых занялся задачей спрямления кривых, т. е. вычислением длины их дуг. Он сумел свести эту задачу к вычислению некоторых площадей.

Таким образом, понятие «площади» у Ферма приобретало уже весьма абстрактный характер. К определению площадей сводились задачи на спрямление кривых, вычисление сложных площадей он сводил с помощью подстановок к вычислению более простых площадей. Оставался только шаг, чтобы перейти от площади к еще более абстрактному понятию «интеграл».

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

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

В письме к де-Бесси от 18 октября 1640 года Ферма высказал следующее утверждение: если число а не делится на простое число р, то существует такой показатель к, что а — делится на р, причем к является делителем р-1. Это утверждение получило название малой теоремы Ферма. Оно является основным во всей элементарной теории чисел. Эйлер дал этой теореме несколько различных доказательств.

  112  
×
×