Как параллельные и ограниченные другой парой прямолинейных сторон трапеции они могут быть представлены как члены арифметической прогрессии, разность которой остается вообще той же, но не обязательно должна быть определена, а первый и последний член которой суть указанные две параллельные линии; сумма такого ряда равна, как известно, произведению этих параллельных линий на половинную численность членов. Это последнее определенное количество называется численностью только лишь в сравнении с представлением о бесконечно многих линиях; оно вообще есть определенность величины чего-то непрерывного - высоты. Ясно, что то, что называется суммой, есть также ductus lineae in lineam, умножение линейного на линейное, согласно вышеуказанному определению - возникновение плоскостного. В простейшем случае, в прямоугольнике, каждый из множителей аЬ есть простая величина; но уже в другом, даже элементарном примере трапеции лишь один множитель есть простая величина половины высоты, другой же определяется через прогрессию; он также есть некоторое линейное, но такое линейное, определенность величины которого оказывается более запутанной; поскольку она может быть выражена лишь посредством ряда, ее аналитический, т. е. арифметический, интерес состоит в ее суммировании; геометрический же момент здесь - умножение, качественная сторона перехода от линейного измерения к плоскостному; один из множителей принимается за дискретный лишь в целях арифметического определения другого, а сам по себе он подобно последнему есть линейная величина.

Способ, при котором представляют плоскость как сумму линий, применяется, однако, часто и тогда, когда для достижения результата не производят умножения, как такового. Так поступают, когда важно указать величину как определенное количество не в уравнении, а в пропорции. Что площадь круга относится к площади эллипса, большая ось которого равна диаметру этого круга, как большая ось к малой, доказывается, как известно, так, что каждая из этих площадей принимается за сумму принадлежащих ей ординат; каждая ордината эллипса относится к соответствующей ординате круга как малая ось к большой, из чего заключают, что так же относятся между собой и суммы ординат, т. е. площади.


Те, кто при этом хочет избежать представления о плоскости как сумме линий, превращают с помощью обычного, совершенно излишнего вспомогательного приема ординаты в трапеции бесконечно малой ширины; так как [здесь] уравнение есть лишь пропорция, то [при этом ] сравнивается лишь один из двух линейных элементов площади. Другой элемент площади - ось абсцисс - принимается в эллипсе и круге за равный, как множитель арифметического определения величины, следовательно, как равный 1, и поэтому пропорция оказывается всецело зависящей только от отношения одного определяющего момента. Чтобы представить плоскость, требуются два измерения; но определение величины, как оно должно быть дано в этой пропорции, касается только одного момента; поэтому уступка или помощь представлению тем, что к этому одному моменту присоединяют представление суммы, есть, собственно говоря, непонимание того, что здесь необходимо для математической определенности.

Данные здесь пояснения служат также критерием упомянутого выше метода неделимых, предложенного Кавальери; метод этот также оправдан этими пояснениями, и ему нет надобности прибегать к помощи бесконечно малых. Эти неделимые суть для Кавальери линии, когда он рассматривает площади или квадраты, площади кругов, когда он рассматривает пирамиду или конус, и т. д.; основную линию или основную площадь, принимаемую за определенную, он называет правилом. Это константа, а по своему отношению к ряду это его первый или последний член; неделимые рассматриваются как параллельные ей, следовательно, по отношению к фигуре определяются одинаково. Общее основоположение Кавальери гласит (Exerc. geometr. VI - позднейшее сочинение Exerc. I, р. 6), что "все фигуры, и плоские, и телесные, относятся друг к другу, как все их неделимые, причем эти неделимые сравниваются122 между собой совокупно, а если у них есть какая-либо общая пропорция, то в отдельности". - Для этой цели он сравнивает в фигурах, имеющих одинаковые основание и высоту, пропорции между линиями, проведенными параллельно основанию и на равном расстоянии от него; все такие линии некоторой фигуры имеют одинаковое определение и составляют всю ее площадь. Так Кавальери доказывает, например, и ту элементарную теорему, что параллелограммы, имеющие одинаковую высоту, относятся между собой, как их основания; каждые две линии, проведенные в обеих фигурах на одинаковом расстоянии от основания и параллельные ему, относятся между собой, как основания этих фигур; следовательно, так же относятся между собой и целые фигуры. В действительности линии не составляют площади фигуры как непрерывной, а составляют эту площадь, поскольку она должна быть определена арифметически; линейное - это тот ее элемент, единственно лишь посредством которого должна быть постигнута ее определенность.