То, что здесь сказано, служит также критерием для вышеупомянутого {210}метода неделимых Кавальери, находящего тут свое оправдание и не требующего помощи бесконечно малого. Эти неделимые при рассмотрении площадей суть линии, при рассмотрении пирамиды или конуса и т. д. квадраты, площади кругов; принимаемую за определенную основную линию или площадь он называет правилом; это постоянная величина и в ряду есть первый или последний член; сказанные неделимые параллельны ей, следовательно по отношению к фигуре определяются одинаково.
Общее основоположение Кавальери состоит в том (Exerc. geometr. VI — позднейшее сочинение Exerc. I, стр. 6), что все как плоские, так и телесные фигуры находятся в отношении к этим неделимым, что они могут быть сравниваемы между собою коллективно, а если в них есть какое-либо общее отношение, то и дистрибутивно. Для этой цели он в фигурах, имеющих равные основание и высоту, сравнивает отношения между линиями, проведенными параллельно им и на равном расстоянии от них; все такие определения некоторой фигуры имеют одинаковое определение и образуют собою весь ее объем. Таким путем Кавальери доказывает, например, и ту элементарную теорему, что при равных высотах площади параллелограммов относятся, как их основания; каждые две линии, одинаково отстоящие от основания и параллельные ему, проведенные в обеих фигурах, относятся к основаниям так же, как целые фигуры. В действительности линии не составляют объема фигуры, понимаемой как непрерывная, но суть этот объем, поскольку он определяется арифметически; линейное есть его элемент, посредством которого единственно постигается его определенность.
Мы пришли теперь к рефлексии над различением, имеющем место относительно того, в чем состоит определенность какой-либо фигуры, именно поскольку эта определенность имеет или такой характер, как в данном случае высота фигуры, или характер ее внешней границы. Если она есть внешняя граница, то допускается, что непрерывность фигуры, так сказать, следует за равенством или отношением границы; напр., равенство совпадающих фигур основывается на совпадении ограничивающих их линий. Ho y параллелограммов с одинаковыми высотою и основанием лишь последняя определенность есть внешняя граница; высота же, непараллельность вообще, на которой основывается второе главное определение фигур, их отношение, присоединяет к внешней границе второй принцип определения. Евклидово доказательство равенства параллелограммов, имеющих одинаковые высоту и основание, приводит их к треугольникам, к внешне ограниченному непрерывному; в доказательстве же Кавальери, и прежде всего в доказательстве пропорциональности параллелограммов, граница есть определенность величины, как таковая вообще, которая обнаруживается в каждой паре линий, проведенных в обеих фигурах на одинаковом расстоянии. Равные или состоящие в равном отношении с основанием линии, взятые коллективно, дают состоящие в равном отношении фигуры. Представление агрегата линий противоречит не{211}прерывности фигуры; но рассмотрение линий вполне исчерпывает ту определенность, о которой идет речь. Кавальери часто отвечает на то возражение, что представление неделимых еще не приводит к тому, чтобы можно было сравнивать между собою бесконечные по числу линии или плоскости (Geom. lib. II prop. 1 Schol.): он правильно указывает на то различие, что он сравнивает не их число, которого мы не знаем — т. е. которое правильнее, как было замечено, есть пустое вспомогательное представление, — но лишь величину, т. е. количественную определенность, как таковую, которая равна занимаемому этими линиями пространству; так как оно заключено в границы, то и эта величина заключена в те же границы; непрерывное есть не что иное, как само неделимое, говорит он; если бы первое было вне последнего, то оно было бы несравнимо; но было бы нелепо сказать, что ограниченные непрерывные несравнимы между собою.
