История математики. От счетных палочек до бессчетных вселенных - Манкевич Ричард (книги бесплатно без .TXT) 📗
13. Математика в движении
Мы уже упоминали, что Ньютон и Кеплер моделировали орбиты планет исключительно геометрически. Однако в космическом пространстве не существует реальных эллипсов, они — лишь невидимые пути, по которым движутся планеты. Поэтому, чтобы больше не строить орбиты геометрически, по точкам, было бы очень полезно найти математический инструмент для описания движения планет. Те, кто пытался перейти от последовательности прямолинейных движений к действительно плавному пути, снова столкнулись с проблемой бесконечности и бесконечно малых величин.
Прежде чем обратиться к изобретению дифференциального и интегрального исчислений, стоит вспомнить более ранние попытки решить общие задачи с площадями и тангенсами. Это «до-дифференциальное и до-интегральное счисление» можно найти уже у Архимеда, разработавшего два метода определения площадей, ограниченных кривыми линиями. Их нередко называли геометрическим и механическим методами. Одна из самых известных задач, доставшихся нам от древних, — вычисление площади круга, так называемой квадратуры круга. В коротком трактате «Об измерении круга» Архимед приводит доказательства двух важных результатов. Во-первых, площадь круга равна площади прямоугольного треугольника, основание которого равно окружности круга, а высота — радиусу круга, что эквивалентно нашей формуле πr2, но без необходимости вводить собственно число π. Второй важный результат — доказательство, что числовое значение π находится между 3 1/7 и 3 10/71. В обоих случаях использовался геометрический метод: строились описанные и вписанные в круг многоугольники; затем, последовательным удвоением числа сторон каждого многоугольника они постепенно приближались к окружности. Помимо всего прочего, эти два многоугольника постепенно сближаются, в некотором смысле получается бутерброд из многоугольников с окружностью, прослоенной между ними, так что, если процесс продолжить до бесконечности (то, что математики называют «в пределе»), площади многоугольников постепенно сближаются с площадью круга. Чтобы найти значение π, Архимед начал с описанного и вписанного шестиугольников и закончил процесс, когда достиг 96-стороннего многоугольника, хотя мог бы продолжать до тех пор, пока бы не достиг любого задуманного уровня точности. Архимед использовал метод последовательных элиминаций, за который мы должны благодарить Евдокса (см. Главу 4), но старался не заявлять, что многоугольники постепенно становятся кругом, приходя к результату посредством длинной логической аргументации. Это умалчивание понятно, поскольку, с точки зрения греков, многоугольник и круг были совершенно разными фигурами.
Механический метод Архимеда иллюстрируется в работе, носящей название «Послание к Эратосфену о методе». Она считалась утерянной, но в 1906 году была обнаружена в Константинополе. Этот труд был палимпсестом, пергаментом десятого века; он содержал различные работы Архимеда, а затем его использовали в качестве молитвенника, но тексты древнего грека соскребли не окончательно, так что их еще можно было разобрать. (В 1998 году «Послание к Эратосфену о методе» было продано с аукциона за два миллиона долларов.) Метод, который обсуждает Архимед, — по существу, разборка площади на линии, преобразование этих линий, а затем восстановление их в виде другой площади. Точное преобразование было выполнено путем использования Архимедова правила рычага. В некотором смысле ученый уравновесил известную площадь с неизвестной. Положение точки опоры определяет относительные размеры площадей — отсюда термин «механический метод». Архимед утверждал, что это очень полезный эвристический инструмент для получения новых результатов, однако он понимал, что его метод ненадежен, и, когда встал вопрос о получении безупречного результата, вернулся к геометрическому методу. Главная проблема в том, что приходится принять: площадь фигуры может быть составлена из неделимых линий, поскольку линия — это длина без ширины, одномерный объект, и, когда мы мысленно соединяем линии, сумма одномерных объектов остается одномерной и не может дать двумерную площадь. Несмотря на это, Архимед сумел правильно вычислить множество площадей и объемов, включая площадь сегмента параболы, а также центры тяжести объемных тел вроде конуса.
К началу XVII века вырос интерес к построению различных кривых и вычислению их длин, ограничиваемых ими площадей и объемов фигур, получаемых в результате их вращения. Стимулом послужило решение различных задач механики — как статики, так и динамики. Определение центра тяжести предмета математическими методами было очень важным для решения вопроса о его устойчивости и, естественно, представляло большой интерес в таких областях, как архитектура и судостроение. Используемые методы в принципе можно было разбить на две Архимедовы категории, но все сильнее чувствовалось, что, несмотря на логическую форму задачи, методы, в той или иной форме использующие неделимые или бесконечно малые величины, легче приводили к более правильным результатам, чем геометрические методы.
Математика больше не могла избегать понятий бесконечности и бесконечно малых величин — Сциллы и Харибды греческой математики. Кеплер использовал инфинитезимальный метод при вычислении площади сектора эллиптической орбиты, по которому планета проходит за определенное время. Вот еще более впечатляющий пример. В книге под названием «Новая стереометрия винных бочек» (1615) Кеплер рассчитал объем винной бочки, используя бесконечно большое число бесконечно малых дощечек. Галилей верил в реальное существование бесконечности, приводя в пример круг, который он считал многоугольником с бесконечным числом сторон. В то же самое время итальянский математик Бонавентура Франческо Кавальери (1598–1647), ученик Галилея, а с 1629 года — профессор математики в Болонье, издал свой труд, здоровенный том почти в семьсот страниц, посвященный методам вычисления площадей и объемов. В этой работе, именуемой «Геометрия, развитая новым способом при помощи неделимых непрерывного» (1635), обсуждались различные методы вычисления неделимых бесконечно малых величин, причем площади плоских фигур считались составленными из неделимых линий, а объемные фигуры предполагались состоящими из неделимых плоских объектов. Самым главным его результатом стала формула площади фигуры, ограниченной кривыми: у = хn при любом целочисленном n.
Теперь давайте хотя бы бегло рассмотрим, как развивались события, предшествовавшие рождению дифференциального и интегрального исчислений, — например, каким образом определялись тангенсы кривых. Пьер де Ферма (1601–1665) добился некоторых важных результатов, однако не стал публиковать их. Вместо этого он активно делился своими открытиями в переписке со многими математиками того времени. Эту корреспондентскую сеть организовал Маренн Мерсенн (1588–1648). Ферма разработал методы, позволяющие найти тангенс в любой точке полинома, а также методы определения максимума и минимума этой кривой. Он также вновь открыл правила Кавальери для вычисления площадей фигур, ограниченных кривыми вида у = хn, расширив их множество таким образом, что теперь n могло быть как положительным, так и отрицательным. Единственным случаем, выходящим за рамки общего правила, был случай n = -1 — эта кривая, как известно, представляет собой логарифмическую функцию. Методы Ферма очень близки тем к современному дифференциальному исчислению, за исключением того, что у Ферма не использовалось понятие предельного перехода. Ни в одном из трудов ученого, посвященных анализу бесконечно малых величин, не упоминается, что задачи построения тангенсов и вычисления площадей, по существу, обратны по отношению друг к другу. При этом он не расширил диапазон используемых функций.
Изобилие до-дифференциальных и до-интегральных методов вскоре сформировалось в новую ветвь математики. Как это часто бывает в истории, революционные методы уже витали в воздухе и только и ждали человека, способного уловить их и придать им зримую форму. В данном случае честь изобретения метода отдается сразу двум ученым — Исааку Ньютону и Готфриду Лейбницу. Как в случае любого совместного изобретения, всегда есть некоторое сомнение в том, кто из них все-таки оказался первым, так что споры об этом шли по всей Европе.
