Самая сложная задача в мире. Ферма. Великая теорема Ферма

Аристотель утверждал, что невозможно найти прямую линию, равную по длине кривой линии. Его авторитет был так велик, что даже в XVII веке большинство математиков были согласны с ним, несмотря на то что уже удалось сделать некоторые спрямления, в частности Архимеду. Следуя за этим выдающимся математиком, Ферма был убежден в возможности спрямления кривых. Его работа на данную тему — единственный случай, когда трактат Ферма был опубликован в печатном виде при жизни автора, в качестве приложения к работе его друга, тулузского иезуита Антуана де Лалувера (1600-1664), в 1660 году. Однако ее опубликовали анонимно. Ее автора можно было определить только по инициалам, которые не соответствовали инициалам Ферма. Последователи Декарта, подражая учителю, пребывали в уверенности, что Аристотель был прав. Ферма в своем трактате решил доказать, что картезианцы ошибаются.

МЕТОДИКА ДВУХ ПОЗДНИХ ТРАКТАТОВ ФЕРМА

В ·Трактате о квадратурах" используется значительная часть прежних открытий Ферма: его метод максимумов и минимумов, который помогает разделить кривую на отрезки, монотонно возрастающие или убывающие; аналитическая геометрия, позволяющая осуществлять действия с этими отрезками; и, конечно же, прием приравнивания. Как и можно было ожидать, у него получился аналитический трактат. Наоборот, ‘Трактат о спрямлении" методически очень отличается от всего, что Ферма написал к тому времени. Действительно, тулузец отдалился от своего аналитического метода и применил греческий синтетический метод, которым пользовались такие классики, как Евклид. При этом его аналитическое рассуждение оказалось скрыто. Почему он так сделал — загадка, но, возможно, это было связано с традициями. Трудоемкость, которую предполагало написание подобной работы, сравнимая с работой Ньютона в ‘Началах", в свою очередь, могла бы объяснить, почему он не пользовался этим подходом ни в каком другом своем труде.

В "Трактате о спрямлении" Ферма в ясном виде приравнивает заданный касательный к кривой отрезок DE к дуге FE (см. рисунок). Для приравнивания данный отрезок обязательно должен быть произвольно малым. Говоря в общих чертах, Ферма думал о кривой как о линии, образованной огромным числом очень маленьких прямолинейных отрезков, каждый из которых является касательным к кривой. Сумма длин этих бесконечно малых отрезков дает длину кривой (спрямление).

Следующим шагом было нахождение суммы длин таких отрезков, и здесь Ферма использовал прием, именуемый сегодня "изменением переменной". Это был гениальный скачок: изменение переменной определяло обычную параболу (второй степени), квадратура которой равна значению разыскиваемой нами суммы. Другими словами, Ферма превратил проблему спрямления в проблему квадратуры, уже известную и решенную им самим. Не довольствуясь достигнутым, он определил бесконечное семейство кривых, основанных на обобщенной параболе, и доказал, что если она спрямляема, то и все остальные тоже. Он сделал это, доказав, что всегда можно построить обычную параболу, которую мы только что упомянули. Ему не только удалось спрямить кривую; он доказал, что число спрямляемых кривых бесконечно.

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