То же самое справедливо и для движения по одной полуокружности, скажем от [точки] Г к [точке] А к от [точки] Д к [точке] Г: оно тождественно движению по диаметру, ибо любое расстояние мы всегда измеряем по прямой [рис. 1б] 26.

То же самое справедливо и в том случае, если, начертив круг, принять движение по одной полуокружности за противоположное движение по другой, скажем в целом круге движение от [точки] Е к [точке] Z в полуокружности Н – за противоположное движение от [точки] Z к [точке] Е в полуокружности в [рис. 1в] 27.

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

Равным образом и движение по кругу от [точки] го А к [точке] В не противоположно движению от [точки] А к [точке] Г: [в обоих случаях] это движение из одного и того же места и в одно и то же место, тогда как противоположное движение, по определению, есть движение из противоположного места в противоположное [рис. 1г]28.

Но даже если бы круговое движение было противоположно круговому, то одно из них было бы бесполезным29. В самом деле, если бы они были равны [по силе], то [соответствующие им круговращающиеся тела] не двигались бы, [что невозможно], а если бы одно было сильнее, то не было бы другого. Поэтому, если бы было сразу два [круговращающихся] тела, то одно из них, поскольку оно не осуществляло бы своего движения, было бы бесполезным, ибо мы называем бесполезной такую сандалию, которую нельзя надеть. Однако бог и природа ничего не делают всуе.

Поскольку эти вопросы выяснены, рассмотрим остальные, и прежде всего – существует ли бесконечное тело, как полагало большинство древних философов, или же это нечто невозможное. [Решение этого вопроса] тем или иным образом отнюдь не маловажно для умозрения об истине, а, напротив, имеет всеопределяющее и решающее значение. Можно сказать даже, что именно оно было до сих пор и, вероятно, останется и впредь источником всех противоречий среди тех, кто высказывался обо всей природе в целом, [что не удивительно], раз даже небольшое [начальное] отклонение от истины умножается в рассуждениях, отошедших [от нее] в дальнейшем тысячекрат. Например, если кто-нибудь вздумает утверждать, что существует наименьшая величина: введя наименьшее, он ниспровергнет величайшие [основания] математики30. Причина же этого в том, что исходный принцип по своей потенциальной значимости превосходит свою [актуальную] величину, вследствие чего маленькое в начале становится огромным в конце. Между тем бесконечность [не только] имеет значение принципа, но к тому же еще и самое большое количественное значение, так что нет ничего странного или нелогичного в том, что разница [результатов] в зависимости от того, допускать ли в исходных посылках существование бесконечного тела [или не допускать] поразительна. Поэтому надлежит сказать о нем, вернувшись к исходной точке.

Всякое тело по необходимости должно принадлежать либо к числу простых, либо к числу составных, следовательно, и бесконечное [тело] будет либо простым, либо составным. G другой стороны, ясно, что если простые [тела] конечны, то составное также необходимо должно быть конечным, поскольку то, что состоит из конечных по числу и по величине [частей], само конечно: оно равно сумме [составляющих его] частей. Остается, следовательно, выяснить, допустимо ли [логически], чтобы какое-нибудь из простых тел было бесконечным по величине, или же это невозможно. Исследовав предварительно, [так это или нет], в отношении первого из тел, рассмотрим затем и остальные.

Что тело, движущееся по кругу, по необходимости должно быть конечным во всем своем объеме – это ясно из следующего.

[1] Если тело, движущееся по кругу, бесконечно, то линии, [т. е. радиусы], проведенные из центра31, будут также бесконечны. А если они бесконечны, то и промежуток между ними бесконечен. Под промежутком между [двумя] линиями я понимаю [пространство], вне которого невозможно найти никакую протяженную величину, соприкасающуюся с обеими линиями. Этот промежуток, стало быть, должен быть бесконечным, во-первых, потому, что у конечных радиусов он всегда будет конечным, а во-вторых, потому, что [его] всегда можно взять больше данного, и, следовательно, то же самое рассуждение, на основании которого мы говорим, что число бесконечно ( ), имеет силу также и в отношении промежутка. Поэтому если бесконечное нельзя пройти из конца в конец, а в случае, если [круговращающееся тело] бесконечно, промежуток [между радиусами] по необходимости должен быть бесконечным, то оно не могло бы двигаться по кругу, а между тем мы воочию видам, что небо вращается по кругу, да и теоретически установили, что круговое движение принадлежит какому-то [телу].

[2] Кроме того, если от конечного времени отнять конечное, то оставшееся [время] также должно быть конечным и иметь начальную точку. А раз время пути имеет начальную точку, то имеется начальная точка и у движения [в течение этого времени], а значит, и у пройденного расстояния. Это одинаково верно и во всех остальных случаях. Итак, пусть [прямая] линия, обозначенная АГЕ, будет бесконечна в одном направлении Е, а [прямая], обозначенная ВВ, бесконечна в обоих направлениях [рис. 2] 32. Если [прямая] АГЕ опишет круг вокруг центра Г, то некогда [прямая] АГЕ будет двигаться но кругу в качестве секущей [прямой] ВВ в течение конечного времени: ведь совокупное время, за которое Небо совершает кругооборот, конечно, а значит, [конечно] и то отнятое [от него] время, в течение которого двигалась секущая. Следовательно, будет некоторая начальная точка [времени], в которую [прямая] АГЕ впервые пересекла [прямую] ВВ. Но это невозможно. Следовательно, бесконечное не может вращаться по кругу, а тем самым и космос, если бы он был бесконечен.

Равным образом, ни [тело], движущееся к центру, ни [тело], движущееся от центра, не может быть бесконечным. В самом деле, движения вверх и вниз противоположны, а противоположные движения [направлены] в противоположные места. Между тем если одна из противоположностей ограничена, то и другая должна быть ограниченной. Центр ограничен, поскольку оседающее [тело] – откуда бы оно ни падало – [никогда] не может пройти дальше центра. Следовательно, раз центр ограничен, то и верхнее место по необходимости должно быть ограничено. А раз ограничены и конечны места, то и [находящиеся в них] тела должны быть конечны. Далее, если верх и низ ограничены, то и промежуток между ними должен быть ограничен. В самом деле, если он не ограничен, то движение было бы бесконечным, а что это невозможно – доказано выше. Следовательно, промежуток ограничен, а тем самым и тело, находящееся в нем или могущее оказаться. Между тем тела, движущиеся вверх и вниз, могут в нем оказаться, поскольку по своей природе одно из них движется от центра, а другое – к центру.

Из сказанного с очевидностью следует, что бесконечного тела существовать не может. Кроме того, есть еще одно доказательство, исходящее из того, что если тяжесть не может быть бесконечной, то – поскольку тяжесть бесконечного тела по необходимости должна быть также бесконечной – ни одно из этих тел не может быть бесконечным. (То же самое рассуждение будет иметь силу и в отношении легкости, ибо допущение бесконечной тяжести предполагает допущение бесконечной легкости, в случае если поднимающееся на поверхность [тело] будет бесконечным.) Доказывается это так.

Допустим, что [тяжесть бесконечного тела] конечна, и возьмем бесконечное тело, обозначенное АВ, с тяжестью, обозначенной Г. Отнимем от бесконечного [тела] конечную величину, обозначенную ВА, и обозначим ее тяжесть как Е. Е будет меньше, чем Г, так как, чем меньше [величина], тем меньше тяжесть. Допустим, что меньшая [тяжесть] содержится в большей какое угодно число раз и что В А относится к BZ так же, как меньшая тяжесть к большей (ведь от бесконечного можно отнять сколь угодно большое количество). Значит, если объемы пропорциональны тяжестям и меньшая тяжесть соответствует меньшему объему, то и большая [тяжесть] должна соответствовать большему [объему]. Следовательно, тяжести конечного я бесконечного [тел] окажутся равны!