Выпрямление прямых по способу, показанному Лагранжем, который при этом исходит из архимедовского принципа, интересно тем, что оно проливает свет на перевод архимедовского метода на язык принципа нового анализа, а это позволяет бросить взгляд во внутренний строй и в истинный смысл действия, механически производимого другим путем. Способ действия при этом по необходимости аналогичен вышеуказанному способу. Архимедовский принцип, согласно которому дуга кривой больше соответствующей ей хорды и меньше суммы двух касательных, проведенных в конечных точках дуги, поскольку эти касательные заключены между этими точками и точкой их пересечения, не дает прямого уравнения. Переводом этого архимедовского основного определения на язык новой аналитической формы служит изобретение такого выражения, которое, взятое само по себе, есть простое основное уравнение, между тем как указанная форма лишь выставляет требование двигаться, совершать переходы до бесконечности между некоторым слишком большим и некоторым слишком малым, которые каждый раз получают определенную величину, причем в результате такого постоянного движения всегда получаются, опять-таки, лишь новые слишком большие и слишком малые, но во все более и более тесных пределах. Посредством формализма бесконечно малых сразу же создается уравнение dz2 = = dx2 + dy2. Исходя из указанной основы Лагранжево изложение доказывает, напротив, что величина дуги есть первоначальная функция к некоторой производной функции, характеризующий член которой сам есть функция отношения производной функции к первоначальной функции ординаты.
Так как в способе Архимеда, точно так же как и позднее в исследовании Кеплером стереометрических предметов, встречается представление о бесконечно малом, то это обстоятельство слишком часто приводилось в качестве авторитета в пользу того употребления, которое делают из этого представления в дифференциальном исчислении, причем не выделялись черты своеобразия и отличия. Бесконечно малое означает прежде всего отрицание определенного количества как такового, т. е. так называемого конечного выражения или той завершенной определенности, которой обладает определенное количество как таковое. И точно так же в последующих знаменитых методах Валериуса, Кавальери и др., основанных на рассмотрении отношений геометрических предметов, основным определением является положение о том, что определенное количество, как определенное количество таких определений, которые ближайшим образом рассматриваются лишь в отношении, оставляется для этой цели в стороне, и эти определения должны быть принимаемы сообразно с этим за не имеющие величины (Nicht-Grosses). Но отчасти этим не познано и не выделено то утвердительное вообще, которое лежит за исключительно отрицательным определением и которое выше оказалось, говоря абстрактно, качественной определенностью величины, состоящей, говоря более определенно, в степенном отношении; отчасти же, поскольку само это отношение, в свою очередь, включает в себя множество ближе определенных отношений, как, например, отношение между некоторой степенью и функцией, получающейся в результате ее разложения в ряд, они должны были бы быть, в свою очередь, обоснованы всеобщим и отрицательным определением того же бесконечно малого и выведены из него. В только что приведенном изложении Лагранжа найдено то определенное утвердительное, которое заключается в Архимедовом способе развертывания задачи, и тем самым приему, обремененному неограниченным выхождением, дана его настоящая граница. Величие нового изобретения, взятого само по себе, и его способность разрешать до того времени неприступные задачи, а те задачи, которые и ранее были разрешимы, разрешать более простым способом, – это величие следует видеть исключительно в открытии отношения первоначальной функции к так называемой производной функции и тех частей математического целого, которые находятся в таком отношении.
