От этого лишнего труда не свободен и метод Лагранжа, который вновь прибег главным образом к форме ряда, хотя в том, что называют применением, благодаря этому методу проявляется подлинное отличительное свойство [высшего анализа], так как, не втискивая в предметы форм dx, dy и т. д., метод Лагранжа прямо указывает ту часть [этих предметов], которой присуща определенность производной функции (функции разложения), и этим обнаруживает, что форма ряда здесь вовсе не то, о чем идет речь.


Примечание 3

Еще другие формы, связанные с качественной определенностью величины

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

Исходя из предшествующего, мы должны относительно этого сперва напомнить, что различные степенные определения выступают здесь с аналитической стороны прежде всего лишь как формальные и совершенно однородные, означают числовые величины, которые, как таковые, не имеют указанного выше качественного различия между собой. Но в применении к пространственным предметам аналитическое отношение показывает себя во всей своей качественной определенности как переход от линейных к плоскостным определениям, от прямолинейных - к криволинейным определениям и т. д. Это применение, кроме того, приводит к тому, что пространственные предметы, согласно своей природе данные в форме непрерывных величин, постигаются как дискретные, - плоскость, значит, как множество линий, линия - как множество точек и т. д. Единственный интерес такого разложения состоит в определении самих точек, на которые разлагается линия, линий, на которые разлагается плоскость, и т. д., чтобы, исходя из такого определения, иметь возможность двигаться далее аналитически, т. е., собственно говоря, арифметически; эти исходные пункты суть для искомых определений величины те элементы, из которых следует вывести функцию и уравнение для конкретного - для непрерывной величины. Для решения задач, в которых особенно целесообразно пользоваться этим приемом, требуется в элементе в качестве исходного пункта нечто само по себе определенное, в противоположность косвенному методу, поскольку последний может, напротив, начинать лишь с пределов, в которых имеется то само по себе определенное, нахождение которого он ставит себе целью. Результат сводится в обоих методах к одному и тому же, если только возможно найти закон идущего все дальше процесса определения, при отсутствии возможности достигнуть полного, т. е. так называемого конечного определения. Кеплеру приписывается честь, что ему впервые пришла в голову мысль прибегнуть к такому обратному способу решения и сделать исходным пунктом дискретное. Его объяснение того, как он понимает первую теорему Архимедова измерения круга, выражает это очень просто. Первая теорема Архимеда, как известно, гласит, что круг равен прямоугольному треугольнику, один катет которого равен радиусу, а другой - длине окружности. Так как Кеплер понимает эту теорему так, что окружность круга содержит столько же частей, сколько точек, т. е. бесконечно много, из которых каждую можно рассматривать как основание равнобедренного треугольника, и т. д., то он этим выражает разложение непрерывного в форму дискретного. Встречающийся здесь термин бесконечное еще очень далек от того определения, которое он должен иметь в дифференциальном исчислении. - Если для таких дискретных найдена некоторая определенность, функция, то в дальнейшем они должны быть соединены, должны служить главным образом элементами непрерывного. Но так как никакая сумма точек не образует линии, никакая сумма линий не образует плоскости, то точки уже с самого начала принимаются за линейные, равно как линии - за плоскостные. Однако, так как вместе с тем указанные линейные точки еще не должны быть линиями, чем они были бы, если бы их принимали за определенные количества, то их представляют как бесконечно малые. Дискретное способно лишь к внешнему соединению, в котором моменты сохраняют смысл дискретных "одних"; аналитический переход от последних совершается лишь к их сумме, он не есть в то же время геометрический переход от точки к линии и от линии к плоскости и т. д. Элементу, имеющему свое определение как точка или как линия, придается поэтому в первом случае еще и качество линейности, а во втором - еще и качество плоскости, дабы сумма как сумма малых линий оказалась линией, а как сумма малых плоскостей - плоскостью.