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

Для ученого была характерна несколько хаотичная манера работы. Однажды Декарт с презрением сказал, что Ферма просто решает задачи (как реисты), а не систематизирует. Возможно, в чем-то он был прав. Гению из Тулузы было достаточно убедиться в том, что метод работает, чтобы увериться в его обобщенности, и он забывал про его доказательство. Исследование максимумов и минимумов не стало исключением.

В 1636 году в Париже начала распространяться рукопись Ферма под названием "Метод определения максимумов и минимумов и касательных к кривым линиям" (которую мы будем далее именовать Methodus, по ее латинскому названию). Methodus, написанная, вероятно, в 1629 году, состояла едва лишь из 600 слов. Она представляла собой пару инструкций, алгоритмов. Не было ни одного намека на то, как Ферма пришел к описанному результату, и ни одного доказательства. Как мы увидим, отсутствие ясности в Methodus вызовет у ученого немало проблем. Из-за своеобразной манеры изложения сочинение выглядело абсурдно. Практически сразу же, благодаря вмешательству Декарта, вокруг Methodus развязалась огромная полемика, и Ферма пришлось впервые и практически единственный раз в своей жизни дать детальное объяснение своего метода. Целых пять рукописей, включая письмо Брюлару, написал наш герой на эту тему. Самая важная из них — "Аналитическое исследование метода максимумов и минимумов" (далее "Аналитическое исследование"), в котором он объединяет два подхода, с одной стороны, исходя из работ Виета, а с другой — опираясь на труды Евклида и Паппа.

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

Вспомним, что у квадратного уравнения обычно два корня (мы говорим "обычно", поскольку во времена Ферма некоторые корни — от иррациональных до комплексных, не говоря уже об отрицательных — не допускались). Дело в том, что Виет изобрел метод выражения коэффициентов уравнения через два его корня, который он назвал синкризис.

Синкризис состоит в том, чтобы скомбинировать похожие уравнения с целью получить выражения, в которых корни связаны с их коэффициентами. Например, из уравнения bx - x2 = c, корнем которого является х, можно получить уравнение by - у2 = с, где у — другой корень. Виет приравнивал оба уравнения: bx - х2 = by - у2, откуда

b(x - y) = x2 - y2 <-> b = (x2 - y2)/(x - y) = x + y;

и после замены с = (х + у) х - х2 = х2 + ху - х2 = ху. Таким образом, как b, так и с выражаются через х и у.

Проиллюстрируем метод примером: разделим отрезок АE точкой Е так, чтобы АЕ ∙ ЕВ было максимумом.

Пусть АВ = b.

1. Тогда если АЕ = а,ЕВ = b - а.

2. Следовательно, произведение, максимум которого нужно найти, равно ab - а2.

3. Теперь заменим изначальную неизвестную а на а + е, то есть на другой корень. Следовательно, отрезок АЕ теперь равен а + е, а отрезок ЕВ равен b - а - е, в связи с чем произведение их обоих равно ab - а2 + be - 2ае - е2.

4. Приравниваем (2) и (3), так что ab - а2 + be - 2ае - е2 ≡ ab - а2. Упрощаем: be - 2ae - e2 ≡ 0 <-> be ≡ 2ae + e2. Эта операция подобна синкризису: осуществляется приравнивание вместо обычного равенства.

5. Осуществляется деление на е до тех пор, пока в одном из членов не останется ни одного е: b ≡ 2а + е.

6. Устанавливается, что е равно нулю: b = 2а.

7. Следовательно, а = b/2

Очевидно, что речь идет о середине отрезка. 

Ферма воспользовался данным методом для выполнения действий со своим квадратным уравнением в инновационной форме. Он утверждал, что существует один корень х, а другой корень он назвал x + h, где h, как он пояснял, может быть любым значением. Далее следовал решительный и странный шаг. Ферма "приравнял" уравнение со значением х к уравнению со значением х + h: ƒ(х) = ƒ(x + h). Он назвал эту операцию "приравнять", воспользовавшись термином, взятым у Диофанта. Однако на самом деле во всей теории уравнений Виета не существует формального математического обоснования для осуществления этой странной операции.

Далее, в довершение всего, Ферма занялся тем, чтобы исключить некоторые члены, содержащие h, с помощью деления на h:

ƒ(x)/h = ƒ(x + h)/h

Наконец, он постановил, что h равно нулю и, следовательно, оба корня — это один-единственный корень. Это способ зафиксировать один корень и сделать так, чтобы второй корень равнялся ему. Но на самом деле казалось, что Ферма в данном случае просто разделил на ноль без какого-либо теоретического обоснования.

Это очень похоже на то, что делают сегодня, когда вычисляют производную, определение которой дал Коши только в XIX веке, и, приравнивая ее к нулю, находят максимумы и минимумы. Такое сходство привело к тому, что некоторые математики (Лагранж, Пьер-Симон Лаплас) и историки науки считали дифференциальное исчисление изобретением Ферма. К сожалению, они ошибались.

Верно, что Ферма приближался к методам современного дифференциального исчисления. Эта h, по мысли Готфрида Лейбница и Исаака Ньютона, — бесконечно малая величина, которая, говоря проще, не равна нулю, но может считаться при некоторых обстоятельствах за ноль. Только когда Коши удалось сформулировать понятие предела, эти идеи получили строгое математическое выражение.

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

Предыдущее воспроизведение мысли Ферма основано на "Аналитическом исследовании". Достоверно известно, что тулузец начал с задачи, упомянутой Паппом, а историкам удалось восстановить на основе многочисленных записей его рассуждения. В любом случае, по своей неискоренимой привычке Ферма, даже когда формулировал шаги доказательства в "Аналитическом исследовании", был краток в своих объяснениях. Он опускал некоторые шаги, веря, что читатель сможет заполнить пробелы. Читатель должен был быть эрудитом, знающим наизусть, что такой-то шаг подтверждается теоремой Аполлония, другой шаг — теоремой Паппа, а третий верен, поскольку это уже доказал Виет. Более того — в изначальном варианте Methodus, как мы уже сказали, не было даже таких набросков доказательства, как в "Аполитическом исследовании"·, ни малейшего обоснования странных действий, которые предпринимал наш герой: Ферма ограничивался тем, что давал алгоритм. Очевидно, что инструкция без малейших объяснений, с делением на нуль, шокировала современников ученого, и те из них, кто приятельствовал с Ферма, попросили у него объяснений, а остальные безжалостно напали на него. Кроме того, Methodus ограничивался решением двух уже решенных задач, в которых находятся касательные к параболам. В сочинении, по крайней мере внешне, не было ничего нового, но содержалось много проблематичного.

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