Пьер Ферма родился на юге Франции в городке Бомон-де-Ломань, где его
отец - Доминик Ферма - был "вторым консулом", т. е. чем-то вроде помощника мэра.
Метрическая запись о его крещении от 20 августа 1601 года гласит: "Пьер, сын
Доминика Ферма, буржуа и второго консула города Бомона".
В колледже Пьер приобрел хорошее знание языков: латинского, греческого,
испанского, итальянского. Ферма славился как тонкий знаток античности, к нему
обращались за консультацией по поводу трудных мест при изданиях греческих
классиков.
Но Ферма направил всю силу своего гения на математические исследования. И все же
математика не стала его профессией. Ферма избирает юриспруденцию. Степень
бакалавра была ему присуждена в Орлеане. С 1630 года Ферма переселяется в
Тулузу, где получает место советника в Парламенте (т. е. в суде). В 1631 году
Ферма женился на своей дальней родственнице с материнской стороны - Луизе
де-Лонг. У Пьера и Луизы было пятеро детей, из которых старший, Самюэль, стал
поэтом и ученым. Ему мы обязаны первым собранием сочинений Пьера Ферма,
вышедшим в 1679 году. Ни одно из его сочинений не было опубликовано при жизни.
Однако нескольким трактатам он придал вполне законченный вид, и они стали
известны в рукописи большинству современных ему ученых. Одной из первых
математических работ Ферма было восстановление двух утерянных книг Аполлония
"О плоских местах".
Крупную заслугу Ферма перед наукой видят, обыкновенно, во введении им
бесконечно малой величины в аналитическую геометрию, подобно тому, как это,
несколько ранее, было сделано Кеплером в отношении геометрии древних. Он
совершил этот важный шаг в своих относящихся к 1629 году работах о наибольших и
наименьших величинах, - работах, открывших собою тот ряд исследований Ферма,
который является одним из самых крупных звеньев в истории развития не только
высшего анализа вообще, но и анализа бесконечно малых в частности.
До Ферма систематические методы вычисления площадей разработал итальянский
ученый Кавальери. Но уже в 1642 году Ферма открыл метод вычисления площадей,
ограниченных любыми "параболами" и любыми "гиперболами". Им было показано, что
площадь неограниченной фигуры может быть конечной.
Ферма одним из первых занялся задачей спрямления кривых, т. е. вычислением
длины их дуг. Он сумел свести эту задачу к вычислению некоторых площадей.
Дальнейший успех методов определения "площадей", с одной стороны, и
"методов касательных и экстремумов" - с другой, состоял в установлении взаимной
связи этих методов.
18 октября 1640 года Ферма высказал следующее утверждение: если число а
не делится на простое число р, то существует такой показатель к,
что а-1 делится на р, причем к является делителем
р-1. Это утверждение получило название малой теоремы Ферма. Оно
является основным во всей элементарной теории чисел.
В задаче второй книги своей "Арифметики" Диофант поставил задачу представить
данный квадрат в виде суммы двух рациональных квадратов. На полях, против этой
задачи, Ферма написал: "Наоборот, невозможно разложить ни куб на два куба, ни
биквадрат на два биквадрата и вообще ни в какую степень, большую квадрата, на
две степени с тем же показателем. Я открыл этому поистине чудесное
доказательство, но эти поля для него слишком узки". Это и есть знаменитая
Великая теорема.
Великая теорема стоит на первом месте по числу данных ей неверных доказательств.
Сам Ферма оставил доказательство Великой теоремы для четвертых степеней.
В прошлом веке Куммер, занимаясь Великой теоремой Ферма, построил арифметику
для целых алгебраических чисел определенного вида. Это позволило ему доказать
Великую теорему для некоторого класса простых показателей n. В настоящее
время справедливость Великой теоремы проверена для всех показателей n
меньше 5500.
Ферма первым пришел к идее координат и создал аналитическую геометрию. Он
занимался также задачами теории вероятностей. Ферма принадлежит открытие закона
распространения света в средах. Применив свой метод максимумов и минимумов, он
нашел путь света и установил, в частности, закон преломления света.
Пьер Ферма скончался 12 января 1665 года во время одной из деловых поездок.
Учителю математики.