сумма такого ряда равна, как известно,
произведению этих параллельных линий на половинную численность членов. Это
последнее определенное количество называется численностью только лишь в
сравнении с представлением о бесконечно многих линиях; оно вообще есть
определенность величины чего-то непрерывного - высоты. Ясно, что то, что
называется суммой, есть также ductus lineae in lineam, умножение линейного
на линейное, согласно вышеуказанному определению - возникновение
плоскостного. В простейшем случае, в прямоугольнике, каждый из множителей аЬ
есть простая величина; но уже в другом, даже элементарном примере трапеции
лишь один множитель есть простая величина половины высоты, другой же
определяется через прогрессию; он также есть некоторое линейное, но такое
линейное, определенность величины которого оказывается более запутанной;
поскольку она может быть выражена лишь посредством ряда, ее аналитический,
т. е. арифметический, интерес состоит в ее суммировании; геометрический же
момент здесь - умножение, качественная сторона перехода от линейного
измерения к плоскостному; один из множителей принимается за дискретный лишь
в целях арифметического определения другого, а сам по себе он подобно
последнему есть линейная величина.
Способ, при котором представляют плоскость как сумму линий, применяется,
однако, часто и тогда, когда для достижения результата не производят
умножения, как такового. Так поступают, когда важно указать величину как
определенное количество не в уравнении, а в пропорции. Что площадь круга
относится к площади эллипса, большая ось которого равна диаметру этого
круга, как большая ось к малой, доказывается, как известно, так, что каждая
из этих площадей принимается за сумму принадлежащих ей ординат; каждая
ордината эллипса относится к соответствующей ординате круга как малая ось к
большой, из чего заключают, что так же относятся между собой и суммы
ординат, т. е. площади.
Те, кто при этом хочет избежать представления о плоскости как сумме
линий, превращают с помощью обычного, совершенно излишнего вспомогательного
приема ординаты в трапеции бесконечно малой ширины; так как [здесь]
уравнение есть лишь пропорция, то [при этом ] сравнивается лишь один из двух
линейных элементов площади. Другой элемент площади - ось абсцисс -
принимается в эллипсе и круге за равный, как множитель арифметического
определения величины, следовательно, как равный 1, и поэтому пропорция
оказывается всецело зависящей только от отношения одного определяющего
момента. Чтобы представить плоскость, требуются два измерения; но
определение величины, как оно должно быть дано в этой пропорции, касается
только одного момента; поэтому уступка или помощь представлению тем, что к
этому одному моменту присоединяют представление суммы, есть, собственно
говоря, непонимание того, что здесь необходимо для математической
определенности.
Данные здесь пояснения служат также критерием упомянутого выше метода
неделимых, предложенного Кавальери; метод этот также оправдан этими
пояснениями, и ему нет надобности прибегать к помощи бесконечно малых. Эти
неделимые суть для Кавальери линии, когда он рассматривает площади или
квадраты, площади кругов, когда он рассматривает пирамиду или конус, и т.
д.; основную линию или основную площадь, принимаемую за определенную, он
называет правилом. Это константа, а по своему отношению к ряду это его
первый или последний член; неделимые рассматриваются как параллельные ей,
следовательно, по отношению к фигуре определяются одинаково. Общее
основоположение Кавальери гласит (Exerc. geometr. VI - позднейшее сочинение
Exerc. I, р. 6), что "все фигуры, и плоские, и телесные, относятся друг к
другу, как все их неделимые, причем эти неделимые сравниваются122 между
собой совокупно, а если у них есть какая-либо общая пропорция, то в
отдельности". - Для этой цели он сравнивает в фигурах, имеющих одинаковые
основание и высоту, пропорции между линиями, проведенными параллельно
основанию и на равном расстоянии от него; все такие линии некоторой фигуры
имеют одинаковое определение и составляют всю ее площадь. Так Кавальери
доказывает, например, и ту элементарную теорему, что параллелограммы,
имеющие одинаковую высоту, относятся между собой, как их основания; каждые
две линии, проведенные в обеих фигурах на одинаковом расстоянии от основания
и параллельные ему, относятся между собой, как основания этих фигур;
следовательно, так же относятся между собой и целые фигуры. В
действительности линии не составляют площади фигуры как непрерывной, а
составляют эту площадь, поскольку она должна быть определена арифметически;
линейное - это тот ее элемент, единственно лишь посредством которого должна
быть постигнута ее определенность.
Это заставляет нас поразмыслите о различии [в мнениях] относительно того,
в чем состоит определенность какой-нибудь фигуры, а именно эта
определенность или такова, какова в данном случае высота фигуры, или она
внешняя граница. Поскольку она дана как внешняя граница, допускают, что
непрерывность фигуры, так сказать, следует равенству или отношению границы;
например, равенство совпадающих фигур основывается на совпадении
ограничивающих их линий. Но в параллелограммах с одинаковой высотой и
основанием лишь последняя определенность есть внешняя граница. Высота, а не
вообще параллельность, на которой основано второе главное определение фигур,
их отношение, прибавляет к внешней границе второй принцип определения.
Эвклидово доказательство равенства параллелограммов, имеющих одинаковую
высоту и основание, приводит их к треугольникам, к внешне ограниченным
непрерывным; в доказательстве же Кавальери, и прежде всего в доказательстве
пропорциональности параллелограммов, граница есть вообще определенность
величины, как таковая, обнаруживающаяся в любой паре линий, проведенных в
обеих фигурах на одинаковом расстоянии. Эти равные или находящиеся в равном
отношении к основанию линии, взятые совокупно, дают находящиеся в равном
отношении фигуры. Представление об агрегате линий противоречит непрерывности
фигуры; но рассмотрение линий полностью исчерпывает ту определенность, о
которой идет речь. Кавальери часто отвечает на то возражение, будто
представление о неделимых приводит к тому, что должны быть сравнимы между
собой бесконечные по численности линии или поверхности (Geom.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304
произведению этих параллельных линий на половинную численность членов. Это
последнее определенное количество называется численностью только лишь в
сравнении с представлением о бесконечно многих линиях; оно вообще есть
определенность величины чего-то непрерывного - высоты. Ясно, что то, что
называется суммой, есть также ductus lineae in lineam, умножение линейного
на линейное, согласно вышеуказанному определению - возникновение
плоскостного. В простейшем случае, в прямоугольнике, каждый из множителей аЬ
есть простая величина; но уже в другом, даже элементарном примере трапеции
лишь один множитель есть простая величина половины высоты, другой же
определяется через прогрессию; он также есть некоторое линейное, но такое
линейное, определенность величины которого оказывается более запутанной;
поскольку она может быть выражена лишь посредством ряда, ее аналитический,
т. е. арифметический, интерес состоит в ее суммировании; геометрический же
момент здесь - умножение, качественная сторона перехода от линейного
измерения к плоскостному; один из множителей принимается за дискретный лишь
в целях арифметического определения другого, а сам по себе он подобно
последнему есть линейная величина.
Способ, при котором представляют плоскость как сумму линий, применяется,
однако, часто и тогда, когда для достижения результата не производят
умножения, как такового. Так поступают, когда важно указать величину как
определенное количество не в уравнении, а в пропорции. Что площадь круга
относится к площади эллипса, большая ось которого равна диаметру этого
круга, как большая ось к малой, доказывается, как известно, так, что каждая
из этих площадей принимается за сумму принадлежащих ей ординат; каждая
ордината эллипса относится к соответствующей ординате круга как малая ось к
большой, из чего заключают, что так же относятся между собой и суммы
ординат, т. е. площади.
Те, кто при этом хочет избежать представления о плоскости как сумме
линий, превращают с помощью обычного, совершенно излишнего вспомогательного
приема ординаты в трапеции бесконечно малой ширины; так как [здесь]
уравнение есть лишь пропорция, то [при этом ] сравнивается лишь один из двух
линейных элементов площади. Другой элемент площади - ось абсцисс -
принимается в эллипсе и круге за равный, как множитель арифметического
определения величины, следовательно, как равный 1, и поэтому пропорция
оказывается всецело зависящей только от отношения одного определяющего
момента. Чтобы представить плоскость, требуются два измерения; но
определение величины, как оно должно быть дано в этой пропорции, касается
только одного момента; поэтому уступка или помощь представлению тем, что к
этому одному моменту присоединяют представление суммы, есть, собственно
говоря, непонимание того, что здесь необходимо для математической
определенности.
Данные здесь пояснения служат также критерием упомянутого выше метода
неделимых, предложенного Кавальери; метод этот также оправдан этими
пояснениями, и ему нет надобности прибегать к помощи бесконечно малых. Эти
неделимые суть для Кавальери линии, когда он рассматривает площади или
квадраты, площади кругов, когда он рассматривает пирамиду или конус, и т.
д.; основную линию или основную площадь, принимаемую за определенную, он
называет правилом. Это константа, а по своему отношению к ряду это его
первый или последний член; неделимые рассматриваются как параллельные ей,
следовательно, по отношению к фигуре определяются одинаково. Общее
основоположение Кавальери гласит (Exerc. geometr. VI - позднейшее сочинение
Exerc. I, р. 6), что "все фигуры, и плоские, и телесные, относятся друг к
другу, как все их неделимые, причем эти неделимые сравниваются122 между
собой совокупно, а если у них есть какая-либо общая пропорция, то в
отдельности". - Для этой цели он сравнивает в фигурах, имеющих одинаковые
основание и высоту, пропорции между линиями, проведенными параллельно
основанию и на равном расстоянии от него; все такие линии некоторой фигуры
имеют одинаковое определение и составляют всю ее площадь. Так Кавальери
доказывает, например, и ту элементарную теорему, что параллелограммы,
имеющие одинаковую высоту, относятся между собой, как их основания; каждые
две линии, проведенные в обеих фигурах на одинаковом расстоянии от основания
и параллельные ему, относятся между собой, как основания этих фигур;
следовательно, так же относятся между собой и целые фигуры. В
действительности линии не составляют площади фигуры как непрерывной, а
составляют эту площадь, поскольку она должна быть определена арифметически;
линейное - это тот ее элемент, единственно лишь посредством которого должна
быть постигнута ее определенность.
Это заставляет нас поразмыслите о различии [в мнениях] относительно того,
в чем состоит определенность какой-нибудь фигуры, а именно эта
определенность или такова, какова в данном случае высота фигуры, или она
внешняя граница. Поскольку она дана как внешняя граница, допускают, что
непрерывность фигуры, так сказать, следует равенству или отношению границы;
например, равенство совпадающих фигур основывается на совпадении
ограничивающих их линий. Но в параллелограммах с одинаковой высотой и
основанием лишь последняя определенность есть внешняя граница. Высота, а не
вообще параллельность, на которой основано второе главное определение фигур,
их отношение, прибавляет к внешней границе второй принцип определения.
Эвклидово доказательство равенства параллелограммов, имеющих одинаковую
высоту и основание, приводит их к треугольникам, к внешне ограниченным
непрерывным; в доказательстве же Кавальери, и прежде всего в доказательстве
пропорциональности параллелограммов, граница есть вообще определенность
величины, как таковая, обнаруживающаяся в любой паре линий, проведенных в
обеих фигурах на одинаковом расстоянии. Эти равные или находящиеся в равном
отношении к основанию линии, взятые совокупно, дают находящиеся в равном
отношении фигуры. Представление об агрегате линий противоречит непрерывности
фигуры; но рассмотрение линий полностью исчерпывает ту определенность, о
которой идет речь. Кавальери часто отвечает на то возражение, будто
представление о неделимых приводит к тому, что должны быть сравнимы между
собой бесконечные по численности линии или поверхности (Geom.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304