Теперь мы сравним площади треугольников 23Sи 24Sи докажем, что они равны. У них общее основание S-2.Одинаковы ли у них высоты? Да, потому что треугольники заключены между параллельными линиями. Расстояние от точки 4до линии 5-2равно расстоянию от точки 3до линии 5-2(продолженной). Значит, площадь у треугольника S24такая же, как у S23.Раньше я доказал, что треугольники S12и S23равны по площади. Отсюда ясно, что S12=S24.Таким образом, при движении планеты по орбите площади, описываемые за первую и за вторую секунду, равны. Значит, путем рассуждений мы нашли связь между тем фактом, что сила направлена к Солнцу, и тем фактом, что площади равны. Не правда ли, остроумно? Я позаимствовал вывод прямо у Ньютона. Все это содержится в его "Principia": и схема, и доказательство. Только цифры другие, потому что он пользовался римскими цифрами, а я - арабскими.
Все доказательства в книге Ньютона были геометрическими. Сегодня мы строим доказательства по-другому. Мы доказываем аналитически, при помощи символов. Чтобы построить нужные треугольники, подметить равенство площадей, требуется изобретательность. Теперь мы имеем усовершенствованные методы анализа, более быстрые и эффективные. Я хочу показать вам, как это выглядит в обозначениях более современной математики, где для доказательства нужно лишь записать несколько символов.
Мы будем говорить о быстроте изменения площади и обозначим эту величину через А'.При повороте радиуса площадь изменяется, и быстрота ее изменения - это составляющая скорости, перпендикулярная радиусу, умноженная на радиус. Иначе говоря, это расстояние по радиусу, умноженное на скорость, т. е. на быстроту изменения расстояния:
A = r x r'
Спросим себя: изменяется ли сама скорость изменения площади? Закон Кеплера говорит, что скорость изменения площади не должна меняться. Поэтому мы дифференцируем написанное равенство, а тут весь фокус в том, чтобы поставить точки в нужных местах - и ничего больше. Таким фокусам надо научиться: это просто набор правил, которые были придуманы, чтобы облегчить доказательства. Мы пишем
A'' = r' x r' + r x r'' = r x F/m.
Первое слагаемое - это составляющая скорости, перпендикулярная самой скорости. Оно равно нулю - скорость направлена вдоль самой себя. Ускорение r''- это вторая производная r, т.е. производная скорости. Она равна силе, деленной на массу.
Это означает, что скорость изменения скорости изменения площади есть составляющая силы, направленная под прямым углом к радиусу. Но если сила направлена по радиусу,
r x F / m = 0
как утверждал Ньютон, то под прямым углом к радиусу она не действует, а значит, скорость изменения площади не изменяется:
A'' = 0.
Мы видим, как много нам дает анализ при помощи символов. Ньютон более или менее умел это делать, только в несколько других обозначениях. Но он предпочел геометрические доказательства, стремясь к тому, чтобы люди могли прочесть его статьи. Он сам изобрел исчисление бесконечно малых, которым я воспользовался во втором доказательстве.
Это хорошая иллюстрация взаимоотношений между математикой и физикой. Когда в физике проблема оказывается трудной, мы можем заглянуть к математикам - вдруг они уже встречались с такими вопросами и имеют готовые способы доказательства? Но может оказаться, что они этим еще не занимались. Тогда нам придется самим изобрести доказательства и потом передать их математикам.
Каждый кто рассуждает о чем-нибудь точно, показывает тем самым, как человек мыслит, и если представить его рассуждения в общем виде и передать математикам, то они внесут его в свои книги в качестве раздела математики. Математика - это путь, по которому мы переходим от одной совокупности утверждений к другой. И она, очевидно, полезна в физике, потому что говорить о вещах мы можем по-разному, а математика позволяет нам выяснить следствия, анализировать ситуации и видоизменять законы, чтобы связать различные утверждения. В общем физик знает очень мало. Он только должен помнить правила, которые позволяют переходить от одного к другому, ибо все эти различные утверждения о равенстве интервалов времени, о силе, направленной по радиусу, и т.д. тесно связаны логикой.
Тут возникает интересный вопрос. Существует ли какая-нибудь отправная точка для всех наших выводов? Существует ли в природе такой порядок, который позволял бы нам говорить, что одна совокупность утверждений - более фундаментальная, а другая представляет собой ее следствие?
Возможны два взгляда на математику. Для удобства один из них я назову вавилонской традицией, а другой - греческой традицией.
В вавилонских школах математики ученик решал огромное множество примеров, пока не улавливал общего правила. Он подробно знал геометрию, множество свойств круга, теорему Пифагора, формулы для площадей квадратов и треугольников; кроме того, существовали некоторые способы выводить одно из другого. Имелись числовые таблицы, при помощи которых можно было решать сложные уравнения. Все было подготовлено для того, чтобы производить вычисления. Но Евклид обнаружил, что все теоремы геометрии можно вывести из нескольких простых аксиом.
Вавилонский подход - я назвал бы его вавилонской математикой - заключается в том, что вы знаете самые разные теоремы, многие связи между ними, но не осознаете до конца, что все они могут быть выведены из набора аксиом. Самая же современная математика делает упор на аксиому и доказательства, исходя из очень четких соглашений о том, что можно и что нельзя считать аксиомами. Современная геометрия берет аксиомы, подобные евклидовым, но несколько усовершенствованные, и выводит из них все остальное. Например, такие теоремы, как теорема Пифагора (сумма квадратов катетов прямоугольного треугольника равна квадрату гипотенузы), не будут аксиомами. Но возможно и другое построение геометрии - так, например, в геометрии Декарта теорема Пифагора является аксиомой.
Итак, прежде всего мы должны согласиться с тем, что даже в математике можно отправляться от разных исходных положений. Поскольку все теоремы связаны друг с другом логикой, нельзя сказать, что такие-то утверждения мы считаем основными аксиомами, ибо если вместо них вам предложат другие аксиомы, то и по ним вы сможете построить всю геометрию. Это подобно мосту, составленному из одинаковых секций. Если он развалится, вы можете восстановить его, соединив секции в другом порядке. Сегодняшняя математическая традиция состоит в том, что берут определенные идеи, которые условились считать аксиомами, и исходя из них строят все здание. Если же следовать вавилонской традиции, то мы скажем: "Я знаю то, я знаю это и как будто бы знаю вот это; отсюда я вывожу все остальное. Может быть, завтра я что-то забуду, но что-то я буду помнить и по этим остаткам смогут восстановить все заново. Я не очень хорошо знаю, с чего я должен начать и чем кончить. Но в голове у меня всегда достаточно сведений, так что если я забуду часть из них, то все равно смогу это восстановить".
Доказывая теоремы, невыгодно каждый раз начинать с аксиом. Вы не сильно преуспеете в геометрии, если станете оказывать всякое положение, каждый раз отправляясь от аксиом. Конечно, если вы располагаете определенными сведениями в геометрии, то всегда сможете вывести из них кое-что еще; но гораздо выгоднее поступать иначе. Дорога, которая начинается с выбора наилучших аксиом, не всегда кратчайшая дорога к цели. В физике нам нужен вавилонский метод, а не греческий. Постараюсь объяснить, почему.
При евклидовом подходе наша задача - подобрать как можно более интересные и важные аксиомы. Но относительно тяготения, например, мы могли бы спросить себя: какая аксиома лучше - о том, что сила направлена к центру, или о том, что за равные промежутки времени описываются равные площади?