40 Теперь покажем яснее, что треугольник есть круг. Допустим, что треугольник АВС образован вращением линии АВ вокруг неподвижного А до совпадения В с С. Нет никакого сомнения, что если бы линия АВ была бесконечной и В описало полный круг, вернувшись к началу, то получился бы максимальный круг, частью которого является ВС. Но поскольку ВС есть часть бесконечной дуги, ВС есть прямая линия; а так как всякая часть бесконечности бесконечна, то ВС не меньше всей дуги бесконечной окружности. Таким образом ВС будет не только частью, но и совершенно всей окружностью, и, значит, треугольник АВС с необходимостью есть максимальный круг. Причем окружность ВС как прямая линия не длиннее бесконечной АВ, раз больше бесконечности ничего не может быть; не будут ВС и АВ и двумя [отдельными] линиями, потому что не может быть двух бесконечностей. Стало быть, бесконечная линия, являясь треугольником, есть также круг, что и надо было установить.
41 Наконец, что бесконечная линия есть шар, обнаруживается так. Линия АВ есть окружность максимального круга и, больше того, сама круг, как уже доказано. Согласно вышеизложенному, она проведена в треугольнике от В до С. Но ВС — бесконечная линия, как тоже только что доказано; поэтому АВ возвращается в С, совершая полный оборот вокруг себя самой. Когда это происходит, из обращения круга вокруг себя с необходимостью возникает шар.
Итак, если выше доказано, что АВС есть круг, треугольник и линия, то теперь мы доказали, что АВС есть также шар. Это мы и ставили целью разыскания.
- Войдите, чтобы оставлять комментарии