Данные здесь пояснения доставляют также критерий оценки вышеупомянутого метода неделимых, созданного Кавальери; метод этот также находит свое оправдание в данных нами пояснениях, и ему нет надобности прибегать к помощи бесконечно малых. Эти неделимые суть линии, когда Кавальери рассматривает площади, или они суть квадраты, площади кругов, когда он рассматривает пирамиду или конус, и т. д.; принимаемую за определенную основную линию или основную площадь он называет правилом. Это – константа, а по своему отношению к ряду это его первый или последний член; неделимые рассматриваются как параллельные ей, следовательно, как находящиеся в одинаковом определении по отношению к фигуре. Общее основоположение Кавальери состоит в том (Exerc. Geometr. VI – позднейшее сочинение Exerc. I, стр. 6), что «все как плоские, так и телесные фигуры относятся друг к другу, как все их неделимые, причем эти неделимые сравниваются[70] между собой совокупно, а если у них есть какая-либо общая пропорция, то в отдельности». Для этой цели он в фигурах, имеющих равные основания и высоты, сравнивает пропорции между линиями, проведенными параллельно основанию и на равном расстоянии от него; все такие линии некоторой фигуры имеют одинаковое определение и составляют весь ее объем. Таким образом, Кавальери доказывает, например, и ту элементарную теорему, что параллелограммы, имеющие одинаковую высоту, относятся между собою как их основания; каждые две линии, проведенные в обеих фигурах на одинаковом расстоянии от основания и параллельные ему, относятся между собою, как основания этих фигур; следовательно, так же относятся между собою и целые фигуры. В действительности линии не составляют объема фигуры как непрерывной, а составляют этот объем, поскольку он должен определяться арифметически; линейное есть тот его элемент, единственно только посредством которого должна быть постигнута его определенность.
Это приводит нас к тому, чтобы поразмыслить о различии, имеющем место касательно того, в чем состоит определенность какой-либо фигуры, а именно эта определенность или носит такой характер, как в данном случае высота фигуры, или она есть внешняя граница. Поскольку она носит характер внешней границы, допускается, что непрерывность фигуры, так сказать, следует равенству или отношению границы; например, равенство совпадающих фигур основывается на совпадении ограничивающих их линий. Но в параллелограммах с равными высотами и основаниями лишь последняя определенность есть внешняя граница. Высота, а не вообще параллельность, на которой основано второе главное определение фигур, их отношение, прибавляет к внешней границе еще второй принцип определения. Эвклидово доказательство равенства параллелограммов, имеющих равные высоты и основания, приводит их к треугольникам, к внешне ограниченным непрерывным; в доказательстве же Кавальери, и прежде всего в доказательстве пропорциональности параллелограммов, граница есть вообще определенность величины как таковая, раскрывающаяся на любой паре линий, проведенных в обеих фигурах на одинаковом расстоянии. Эти равные или находящиеся в одинаковом отношении к основанию линии, взятые совокупно, дают находящиеся в одинаковом отношении фигуры. Представление об агрегате линий противоречит непрерывности фигуры; но рассмотрение линий исчерпывает полностью ту определенность, о которой идет речь. Кавальери часто отвечает на могущее быть выдвинутым возражение, будто представление о неделимых приводит к тому, что мы должны сравнивать между собою бесконечные по своей численности линии или поверхности (Geom., lib. II, prop. I, Schol.); он проводит правильное различие, говоря, что он сравнивает между собою не их численность, которую мы не знаем – правильнее сказать: не их численность, которая, как мы заметили выше, есть вспомогательное пустое представление, а лишь величину, т. е. количественную определенность как таковую, которая равна занимаемому этими линиями пространству; так как последнее заключено в границах, то и эта его величина заключена в тех же границах; непрерывное, говорит он, есть не что иное, как сами неделимые; если бы оно было нечто, находящееся вне их, то оно не могло бы быть сравниваемо; а ведь было бы несообразно сказать, что ограниченные непрерывные несравнимы между собою.
