Эта модель позволяет объяснить еще один важный пункт в учении мертонской школы о движении. И в античности, и в средние века доминировало определение равноускоренного движения, согласно которому возрастание величины скорости (или быстроты и медленности) в такого рода движении происходит прямо пропорционально проходимому расстоянию. Такого мнения придерживались Стратои, Александр Афродизийский, Симпликий, Альберт Саксонский, Марсилий Ингенский, а также (в своих ранних работах) и Галилей. Гораздо более плодотворной оказалась концепция, развитая в Мертон-колледже, в соответствии с которой отсчет градусов скорости велся по шкале времени. Историки физики согласны в том, что введениие временной шкалы для определения скорости в равноускоренном движении дало мощный толчок развитию кинематики, явившись одной из главных предпосылок создания математической концепции движения. Но мы не найдем у них ответа па вопрос, что побудило мертонцев отказаться от традиционного представления; переход к временной шкале оказывается ничем не обоснованным, результатом счастливого стечения обстоятельств. Но если допустить, что главной рабочей интуицией мертонцев, хотя и не высказанной ими в явной форме и, по-видимому, даже осознаваемой ими далеко не во всех деталях, является интуиция движения как процесса, состоящего в развертывании бесчисленного множества последовательностей, то станет очевидным, что они просто не могли иначе определить шкалу скоростей, характеризующих равноускоренное движение. Ибо если последовательность скоростей есть результат наличия intensio motus, т. е. начала, порождающего эту последовательность, то такое порождение может иметь место только во времени, которое составляет его необходимую предпосылку.
4.7. Мертонская теорема о среднем градусе скорости
Главным результатом математических вычислений, проводившихся в Мертон-колледже, были формулировка и доказательство фундаментальной кинематической теоремы, которая приравнивает (в отношении пути, пройденного за определенный отрезок времени) равноускоренное движение равномерному, скорость которого равна скорости равноускоренного движения в средний момент времени последнего. В современной символической записи мертонская теорема средней скорости будет выглядеть следующим образом:
1) S = ½ ∙ Vf ∙ t — для случая ускорения от состояния покоя;
2) S = (v0 + (vf – v0)/2)/t — для ускорения от начальной скорости v0.
где S обозначает проходимое расстояние, vf — конечную скорость, a t — время ускорения.
Рассмотрим вначале доказательство Суайнсхеда, а затем доказательство Хейтсбери.
а) Доказательство Ричарда Суайнсхеда
Выше приводилось одно из мертонских доказательств теоремы о среднем градусе, принадлежащее Суайнсхеду. Доказательству в трактате Суайнсхеда предпосланы формулировка и разъяснение самой теоремы: «Всякая широта движения, равномерно приобретаемая или утрачиваемая, соответствует своему среднему градусу… Я говорю, что широта, которая приобретается, соответствует своему среднему градусу в том смысле, что ровно столько же будет пройдено посредством той широты, таким именно образом приобретаемой, сколько и посредством ее среднего градуса, если в продолжение всего (totum) времени движение будет происходить с тем средним градусом»[89]. Чтобы доказать это утверждение, Суайнсхед предлагает проделать мысленный эксперимент (излагая его рассуждение, мы постараемся воспроизвести основную идею, не следуя буквально способам ее выражения). Предположим, что тело x движется равноускоренно в течение времени tx и за это время его скорость возрастает от b до а градусов. Приращение скорости от b до а есть не что иное, как широта движения х. Пусть точно такая же широта движения «равномерно утрачивается» при равнозамедленном движении тела у за время ty (tx = ty). При этом предполагается, что движение у происходит с ускорением, равным (по абсолютной величине) ускорению x (точнее, Суайнсхед говорит не об ускорении, а о том, что а уменьшается и b возрастает при движении у и x равно быстро (equevelociter)). Последнее предположение реализуется в мысленном эксперименте в виде дополнительных требований, налагаемых на движение x и y: 1) x и y начинают двигаться одновременно;
2) «сколько одно (x) приобретает, столько другое (y) утрачивает». Если эксплицировать пункты, выполнение которых подразумевается краткой формулировкой второго требования, то они состоят в следующем. Пусть движение х, у начинается в момент времени t0, a U обозначает произвольный момент времени их движения. В момент ti x будет иметь скорость bi (bi > b), а у — скорость ai (ai < a). Тогда в соответствии со вторым требованием bi—b = a—ai.
Если с = (a – b)/2, т. е. является средним градусом широты, то x и y достигнут с одновременно, так что x и y будут иметь одинаковую скорость с в момент tk (tk = (ti – t0)/2), где ti — момент окончания движения х, у. Точнее, если обозначить через
скорости x, y в момент времени tn, то
Отсюда
Но и для произвольного момента времени
так как второе требование равносильно утверждению, что сумма скоростей x и y остается постоянной на протяжении всего движения.
Доказательством
завершается, по существу, все доказательство теоремы у Суайнсхеда. Вывод о равенстве расстояний, проходимых при равноускоренном и равномерном движении со скоростью, равной среднему градусу широты первого, он считает столь очевидным, что предоставляет его сделать читателю. Действительно, из постоянства суммы скоростей Vtix и Vtiy следует, что два равноускоренных движения, в результате которых проходится расстояние S = Sx + Sy (Sx, Sy — расстояния, проходимые соответственно x и y), эквивалентны в отношении пройденного расстояния равномерному движению со скоростью V = 2c, продолжающемуся в течение того же времени. Поскольку Sx = Sy,то Sx будет пройдено за то же время при равномерном движении со скоростью с.
Быть может, самое любопытное в доказательстве Суайнсхеда — это то, что оно только отчасти является доказательством, а в гораздо большей степени — определением. Когда Суайнсхед указывает, что оба равноускоренных движения уменьшаются и возрастают равно быстро (equevelociter), то он считает возможным отсюда заключить, что «сколько одно приобретает, столько другое утрачивает». В действительности же только последнее уточнение придает утверждению о «равной быстроте» требуемую определенность. Суайнсхед считает необходимым как-то обосновать тот факт, что x и у одновременно достигнут среднего градуса с, что с не просто является полусуммой двух градусов a и b, но и расположено равно посередине, т. е. на равном удалении от а и b. В этом обосновании и состоит главная цель доказательства. Оно начинается с утверждения, что «все, составленное из двух неравных, является двойным по отношению к среднему между ними». В данном утверждении легко рассмотреть определение среднеарифметического, известное еще пифагорейцам, которые умели строить арифметические прогрессии, где каждый член является полусуммой двух соседних и одновременно отличается от них на одну и ту же величину (разность прогрессии). Суайнсхед, безусловно, все это знал и все же принимается снова доказывать, казалось бы, то же самое утверждение. Зачем? Ответ очевиден: он хотел математическое положение, касающееся чисел, представить в виде следствия кинематической теоремы. Его не удовлетворяет традиционное представление, поскольку в нем четко не разделяются два смысла, равно присущие термину «средний». Число l является «средним» (арифметическим) двух чисел k и m, если l, k, m рассматриваются, говоря современным языком, как конечные множества, сравниваемые между собой по количеству элементов, т. е. с точки зрения их мощности. Поэтому оно может быть названо «средним» в количественном смысле, поскольку l = (k + M)/2 означает, что l содержит вдвое меньше единиц, чем (k+m). С другой стороны, l можно получить из k и m, прибавляя или отнимая одно и то же число п. В этом случае l указывает границу двух элементарных шагов, с помощью которых можно перейти от k к т (или от т к k): двухкратным прибавлением п к k (соответственно двухкратным вычитанием п из т). Число l как граница двух элементарных шагов может быть названо «средним» без какой-либо апелляции к количеству единиц, содержащихся в нем, независимо даже от того, представимо ли вообще оно в виде множества, — оно будет средним в порядке порождения, поскольку занимает среднее положение в порождаемой последовательности. Очевидно, что «среднее» по количеству и «среднее» по порядку, имея различные, причем независимые определения, совсем необязательно должны совпадать, точно так же, как количественные и порядковые характеристики вообще.