Лейбниц. Анализ бесконечно малых | страница 48

Таким образом началась одна из самых больших полемик века о том, кто был первым создателем аналитической геометрии. С одной стороны, в работе Ферма "Введение к теории плоских и пространственных мест", написанной в 1629 году, но опубликованной только в 1679 году, ее автор уже высказывает основные идеи аналитической геометрии, которые оказались близки к сегодняшним представлениям о ней. С другой стороны, нидерландский ученый Исаак Бекман (1588-1637), считающийся одним из первых исследователей вакуума, друг и наставник Декарта с 1619 года, утверждал, что в то время у его ученика уже было понимание метода решения всех задач, которые могут стоять перед геометрией.

Похоже, Ферма был первым, кто разработал аналитическую геометрию, но Декарт первым опубликовал работу о ней. Подобные ситуации случались в то время очень часто. Но так как эти ученые обменивались информацией в эпистолярной форме через Мерсенна, возникли обвинения в плагиате. Тем не менее кажется очевидным, что они оба пришли к своим выводам независимо друг от друга, поскольку их подходы различаются. Декарт исходит из геометрической кривой и изучает ее уравнение, в то время как Ферма исходит из уравнения и изучает, какая кривая ему соответствует и каковы ее свойства. Это прохождение одного пути с двух противоположных сторон.

Первым, кто попытался продвинуться в методе вычисления площадей и объемов, работая в строгом девнегреческом стиле, был Бонавентура Кавальери (1598-1647), ученик Галилея. В 1635 году он опубликовал свою работу "Геометрия, развитая новым способом при помощи неделимых непрерывного". Ученый утверждал, что все фигуры образованы из ряда базовых элементов, которые он называет неделимыми. То есть площадь образована неопределенным числом параллельных отрезков (см. рисунок), а объем — параллельными плоскими поверхностями.

Любая поверхность образована неопределенным числом параллельных отрезков.

Неделимые — это минимальные элементы, на которые можно разложить фигуру. В "Шести геометрических этюдах" (1647) Кавальери изложил идею о том, что линия состоит из точек, как бусы из четок; плоскость сделана из линий, как волокна на ткани, а твердое тело образовано плоскими поверхностями, как листы в книге. Благодаря этой идее ему удалось найти квадратуру, то есть площадь, кривых типа xk для значений k, равных 6 и 9. Если использовать современную запись, Кавальери доказал, что:

_>a

∫x^>n dx = (a^>n+1