Истина в пределе

Для создания математического анализа обязательно (и неизбежно) требовалось признать, что задачи о касательной и о квадратуре являются обратными друг другу. Говоря современным языком, необходимо было показать, что дифференцирование и интегрирование — взаимно обратные операции. Именно в этом заключается основная теорема анализа, которая неспроста носит это название. Этот факт был известен Ферма, Торричелли и прежде всего Барроу, однако по причинам, о которых мы расскажем позднее, они не поняли всю его важность для решения задач, его значимость как связующего элемента двух классов задач — о касательных и квадратурах. Основная теорема анализа указала математикам путь, которым нужно следовать: выделять общее и наиболее значимое из множества частных случаев.

^{Исаак Барроу был учителем Ньютона. Его работы лежат в основе анализа бесконечно малых.} 

Исаак Барроу (1630—1677) был одним их тех гигантов, о которых говорил Ньютон в письме Роберту Гуку в феврале 1676 года: «Если я видел дальше других, то потому, что стоял на плечах гигантов» (из главы 3 вы узнаете, что эта фраза допускает еще одно, достаточно нелицеприятное толкование). Барроу был учителем Ньютона в Кембридже и первым лукасовским профессором математики. Он оставил этот пост в 1669 году (его заменил Ньютон), занялся богословием (он был англиканским пастором с 1660 года) и стал духовником короля Англии Карла II. Возможно, он подошел ближе всех к открытию математического анализа, за исключением Ньютона и Лейбница. Ему не хватало самой малости — знаний аналитической геометрии. Барроу создал метод нахождения касательных, очень похожий на вычисление производной. Кроме того, он добился важных результатов при решении задач по расчету площадей, а также доказал, что задачи нахождения касательной и задачи на вычисление площади являются обратными. Возможно, он руководствовался идеями Торричелли, с которым познакомился во время путешествия во Францию, Италию, Германию, Голландию и Константинополь, когда ему пришлось по религиозным мотивам покинуть Англию, где в то время правил Оливер Кромвель. Его доказательство приводится в лекции X его книги Lectiones geometricae. Оно является чисто геометрическим и выполняется для монотонных кривых. В нем также используется старое определение касательной как прямой, которая касается кривой в единственной точке.

Чего же не хватило Барроу, чтобы открыть анализ бесконечно малых? Ему требовалось перейти от частной задачи нахождения касательной к общей задаче определения изменения функции, то есть ввести понятие, эквивалентное понятию флюксии у Ньютона или, с небольшими отличиями, понятию дифференциала у Лейбница, а также разработать алгоритм расчетов (правила нахождения производной). Однако для этого Барроу требовалась аналитическая геометрия: она позволила бы описать кривые (геометрические объекты) с помощью формул (алгебраических объектов) и перейти от задачи нахождения касательной к задаче определения производной функции. Алгебраические методы были также обязательными для создания правил вычисления производных. С другой стороны, без сведения процесса нахождения кривой (вычисления производной) к простому алгоритмическому методу с возможностью инвертирования (то, что мы называем вычислением первообразной) тот факт, что задачи нахождения касательной и определения квадратуры являются взаимно обратными, был бы не слишком полезен. По этой причине Барроу не осознал всю значимость доказанного им утверждения. Барроу не нравилась алгебраизация геометрии, выполненная Ферма и Декартом, что в итоге стоило ему авторства математического анализа. Он оставил этот почетный титул Лейбницу и Ньютону.

Математический анализ появился во время научной революции, продолжавшейся весь XVII век, и решающую роль в этом сыграли два ученых первой величины: Исаак Ньютон и Готфрид Лейбниц. О математическом анализе можно говорить тогда, когда обобщены два базовых понятия (прообразы современной производной и интеграла), разработаны алгоритмы их вычисления (правила вычисления производной) и показано, что эти понятия являются взаимно обратными (это утверждение сегодня известно как основная теорема анализа). Для решения задач нахождения касательной, максимумов и минимумов, квадратуры, центра тяжести и других, которыми занимались предшественники Лейбница и Ньютона, достаточно использовать эти базовые понятия, должным образом интерпретированные, и применять алгоритм их вычисления, основанный на правилах, о которых мы рассказали в главе 1.

Глава 3. Ньютон, последний из волшебников