Разъяснения, даваемые Карно относительно метода бесконечных величин, это наиболее ясное и четкое изложение того, что нам встретилось в указанных выше представлениях. Но при переходе к самим действиям у него в той или иной мере появляются обычные представления о бесконечной малости опускаемых членов по сравнению с другими. Он оправдывает метод не столько самой природой вещей, сколько тем фактом, что результаты оказываются правильными, и полезностью введения неполных уравнений, как он их называет (т. е. таких, в которых осуществляют такое арифметически неправильное отбрасывание), для упрощения и сокращения исчисления.
Лагранж, как известно, вновь принял первоначальный метод Ньютона, метод рядов, чтобы избавиться от трудностей, связанных с представлением о бесконечно малом, равно как и с методом первых и последних отношений и пределов. Относительно его исчисления функций, прочие преимущества которого в отношении точности, абстрактности и всеобщности достаточно известны, мы должны отметить - поскольку это касается нашей темы - лишь то, что оно исходит из основного положения, что разность, не превращаясь в нуль, может быть принята столь малой, что каждый член ряда превосходит по величине сумму всех следующих за ним членов. - При этом методе также начинают с категории приращения и разности функций, переменная величина которой получает приращение, что и вызывает появление докучливого ряда; равно как в дальнейшем члены ряда, которые должны быть опущены, принимаются в соображение, лишь поскольку они составляют некоторую сумму, и основание, почему они отбрасываются, усматривается в относительности их определенного количества. Отбрасывание, следовательно, и здесь не сводится вообще к точке зрения, встречающейся, с одной стороны, в отдельных видах применения, в которых, как мы упомянули раньше, члены ряда должны иметь определенное качественное значение и часть из них оставляется без внимания не потому, что они незначительны по величине, а потому, что они незначительны по качеству; с другой же стороны, отбрасывание зависит от той существенной точки зрения, которая определенно выступает у Лагранжа относительно так называемых дифференциальных коэффициентов лишь в так называемом применении дифференциального исчисления, что мы подробнее разъясним в следующем примечании.
Качественный характер вообще, свойственный (как мы здесь доказали относительно обсуждаемой нами формы величины) тому, что при этом называется бесконечно малым, обнаруживается непосредственнее всего в категории предела отношения, которая приведена выше и проведение которой в дифференциальном исчислении было названо особого рода методом. Из рассуждений Лагранжа об этом методе, что ему недостает легкости в применении и что термин предел не вызывает определенной идеи, мы остановимся на втором и рассмотрим более подробно его аналитическое значение. Именно в представлении о пределе и содержится указанная выше истинная категория качественного определения отношения между переменными величинами; ибо формы их, которые появляются, dx и dy, должны быть взяты dy dx здесь просто лишь как моменты - и само .следует рассматривать как единый неделимый знак. Что для механизма исчисления, особенно в его применении, утрачивается преимущество, которое он извлекает из того обстоятельства, что члены дифференциального коэффициента обособляются друг от друга, - это следует здесь оставить без внимания. Этот предел должен быть теперь пределом данной функции; он должен указать некоторое значение в связи с ней, определяемое способом выведения. Но с одной лишь категорией предела мы не подвинулись бы дальше, чем с тем, о чем дело шло в этом примечании, имеющем целью показать, что бесконечно малое, встречающееся в дифференциальном исчислении как dx и dy, имеет не только отрицательный, никчемный смысл некоторой неконечной, не данной величины, как это имеет место, [например], когда говорят: "бесконечное множество", "и т. д. до бесконечности" и т. п., а определенный смысл качественной определенности количественного, момента отношения, как такового. Однако эта категория, взятая в таком смысле, еще не имеет отношения к данной функции, еще не влияет сама по себе на рассмотрение этой функции и не приводит к такому пользованию указанным определением, которое должно было бы иметь место в последней; таким образом, и представление о пределе, ограниченное такой доказанной относительно него определенностью, также ни к чему не привело бы. Но термин предел уже сам по себе подразумевает, что это предел чего-то, т. е. выражает некоторое значение, заключающееся в функции переменной величины; и мы должны посмотреть, каково это конкретное оперирование им.
Он должен быть пределом отношения друг к другу двух приращений, на которые, по сделанному допущению, увеличиваются две переменные величины, соединенные в одном уравнении, из которых одна рассматривается как функция другой;
