Небезынтересно привести здесь ту историческую справку, что первые открыватели умели указать найденное ими решение лишь совершенно эмпирическим образом, не будучи в состоянии объяснить само действие, оставшееся совершенно внешним. Я ограничиваюсь указанием на Барроу, учителя Ньютона. В своих Lect. opt. et geom., в которых он решает задачи высшей геометрии по методу неделимых, отличающемуся ближайшим образом от особенностей диференциального исчисления, он сообщает, «так как его друзья этого настойчиво просят» (Lect. X), также и свой метод определения касательных. Нужно прочесть у него самого, как он решает эту задачу, чтобы составить надлежащее представление о том, как его указания относительно этого «метода носят характер указания о совершенно внешнем правиле, в том же стиле, как излагалось когда-то в учебниках арифметики тройное правило или, еще лучше, так называемая проба арифметических действий девяткою[50].
Он чертит те маленькие линии», которые впоследствии были названы приращениями в характеристическом треугольнике кривой линии, и затем в виде простого правила предписывает отбросить как излишние те члены, которые в ходе развертывания уравнения выступают как степени или произведения этих приращений (etenim isti termini nihilum valebunt)[51], а также и те члены, которые содержат величины, определяемые лишь из первоначального уравнения (позднейшее вычитание первоначального уравнения из него же с приращениями), и, наконец, подставить вместо приращения ординаты самую ординату и вместо приращения абсциссы – подкасательную. Нельзя, если дозволительно так выразиться, изложить способ более школьно-педантически; последняя подстановка представляет собою сделанное в обычном диференциальном методе основой определения касательной допущение пропорциональности приращений ординаты и абсциссы ординате и подкасательной; в правиле-Барроу это допущение выступает во всей своей наивной наготе. Был найден простой способ определения подкасательной; способы Роберваля и Ферма сводятся к чему-то сходному – метод нахождения наибольших и наименьших значений, из которого исходил последний, покоится на тех же основах и том же приеме. Математической страстью того времени было нахождение так называемых методов, т. е. этого рода правил, и притом делать ив них секрет, что было не только легко, но в известном отношении даже нужно, и нужно именно потому, что было легко, а именно потому, что изобретатели находили лишь эмпирически внешнее правило, а не метод, т. е. не нечто, выведенное из- признанных начал. Такие так называемые методы Лейбниц воспринял от своего времени; Ньютон также воспринял их от своего времени, а непосредственно – от своего учителя; обобщением их формы и их применимости они проложили новые пути в науках, но, занимаясь этим делом, они чувствовали вместе с тем потребность освободить прием от характера чисто внешних правил и старались дать ему требуемое оправдание.
Анализируя метод ближе, мы увидим, что истинный ход действия в нем таков. Во-первых, степенные определения (разумеется, переменных величин), содержащиеся в уравнении, понижаются, приводятся к их первым функциям. Но этим меняется значение членов уравнения.
Поэтому уже нет более уравнения, а возникло лишь отношение между первой функцией одной переменной величины и первой функцией другой переменной. Вместо рх=у2 мы имеем?: 2у или вместо 2ах – х2=у2 мы имеем а: у, что позднее стали обыкновенно обозначать как отношение.
Уравнение есть уравнение кривой, а это отношение, совершенно зависящее от него, выведенное (выше – согласно голому правилу) из него, есть, напротив, некоторое линейное отношение, которому пропорциональны известные линии; 2у или а: у сами «суть отношения прямых линий данной кривой, а именно отношения координат и параметра; но этим мы еще ничего не узнали. Мы желаем знать о других встречающихся в кривой линиях, что им присуще указанное отношение, желаем найти равенство двух: отношений. – Следовательно, является вопрос, во-вторых, какие прямые линии, определяемые природой кривой, находятся в таком отношении. – Но это то, что уже ранее было известно, а именно, что такое полученное указанным путем отношение есть отношение ординаты к подкасательной. Это нашли остроумным геометрическим способом древние; новые же изобретатели открыли только эмпирический прием, как придать уравнению кривой такой вид, чтобы получилось то первое отношение, о котором уже было известно, что оно равно отношению, содержащему в себе ту линию (здесь – подкасательную), которая подлежит определению.
Частью это придание уравнению желаемого вида было задумано и проведено методически – диференцирование, – частью же были изобретены воображаемые приращения координат и воображаемый, образованный из этих приращений и такого же приращения касательной характеристический треугольник, дабы пропорциональность отношения, найденного путем понижения степени уравнения, с отношением ординаты и подкасательной была представлена не как нечто эмпирическое, взятое лишь из давно знакомого, а как нечто доказанное. Однако это давно знакомое оказывается вообще (а самым неоспоримым образом в вышеуказанной форме правил) единственным побуждением к допущению – и соответственно, единственным оправданием для допущения характеристического треугольника и указанной пропорциональности.
Лагранж отбросил эту симуляцию и вступил на подлинно научный путь; его методу мы обязаны тем, что усмотрели, в чем дело, так как он состоит в том, чтобы отделить друг от друга те два перехода, которые следует сделать для решения задачи, и рассматривать и доказывать каждую из этих сторон отдельно. Одна часть этого решения – мы при более близком указании хода действия продолжаем пользоваться как примером элементарной задачей нахождения подкасательной – теоретическая или общая часть, а именно, нахождение первой функции из данного уравнения кривой, регулируется особо; эта часть дает некоторое линейное отношение, следовательно, отношение прямых линий, встречающихся в системе определения кривой. Другая часть решения состоит в нахождении тех линий в кривой, которые находятся в указанном отношении. Это теперь осуществляется прямым путем (Theorie des Fonct. Anal., р. II, chap. И), т. е. не прибегая к характеристическому треугольнику, а именно, не делая допущения о бесконечно малых дугах, ординатах и абсциссах и не давая им определений dy и dx, т. е. членов указанного отношения, и не устанавливая вместе с тем непосредственно значения равенства этого отношения с самими ординатой и подкасательной. Линия (равно как и точка) имеет свое определение лишь постольку, поскольку она составляет сторону некоторого треугольника, и определение точки имеется лишь в треугольнике. Это, скажем мимоходом, есть основное положение аналитической геометрии, которое приводит к координатам, или, что то же самое, в механике к параллелограмму сил, именно поэтому совершенно не нуждающемуся в многочисленных стараниях доказать его. – Подкасательная теперь принимается за сторону треугольника, другими сторонами которого являются ордината и соответствующая ей касательная. Последняя как прямая линия имеет своим уравнением p = aq (прибавление +b бесполезно для определения и делается лишь ради излюбленной всеобщности); определение отношения есть а, коэфициент величины q, который есть соответственная первая функция уравнения, но который должен вообще рассматриваться лишь как а, т. е., как сказано, как существенное определение прямой линии, составляющей касательную к данной кривой. Далее, поскольку берется первая функция уравнения кривой, она есть также определение некоторой прямой линии; далее, так как р, одна координата первой прямой линии, и у, ордината кривой, – берутся как тождественные, так как, стало быть, принимаются, что точка, в которой указанная принимаемая как касательная первая прямая линия соприкасается с кривой, есть вместе с тем начальная точка прямой линии, определяемой первой функцией кривой, то все дело в том, чтобы показать, что эта вторая прямая линия совпадает с первой, т. е. есть касательная, или, выражаясь алгебраически, показать, что так как y=fx и p=Fq, а теперь принимается, что у=р, и, стало быть fx=Fq, то и f тоже =7. Что употребляемая как касательная прямая и та прямая линия, которая определена из уравнения его первой функцией, совпадают, что эта последняя есть, стало быть, касательная, это показывается с помощью приращения i абсциссы и определяемого через разложение функции приращения ординаты. Здесь, следовательно, также появляется пресловутое приращение; однако следует различать способ, каким оно вводится для только что указанной цели, и разложение функции по этому приращению от вышеупомянутого употребления приращения для нахождения диференциального уравнения и для характеристического треугольника.
Употребление, сделанное здесь, правомерно и необходимо; оно входит в круг геометрии, так как геометрическое определение касательной как таковой требует, чтобы между нею и кривой, с которой она имеет одну общую точку, не могло быть другой прямой линии, также проходящей через эту точку. Ибо с принятием этого определения качество касательной или не-касательной сводится к различию по величине, и касательной оказывается та линия, на которую приходится исключительно с точки зрения того определения, которое здесь важно, наибольшая, малость. Эта, на первый взгляд, лишь относительная малость не содержит в себе ничего эмпирического, т. е. ничего зависящего от определенного количества как такового; она положена качественно природой формулы, если различие того момента, от которого находится в зависимости долженствующая быть сравниваемой величина, есть различие степени; так как последнее сводится к/и2 и так как /, которое ведь в конце концов должно означать некоторое число, следует представлять затем как дробь, то i само по себе меньше, чем i, так что даже представление, что можно приписывать i любую величину, здесь излишне и даже неуместно. Именно поэтому доказательство большей малости не имеет ничего общего с бесконечно малым, и последнее следовательно отнюдь не должно появляться здесь.
Хотя бы только за его красоту и за ныне скорее забытую, но вполне заслуженную славу, которой он пользовался, я хочу здесь еще сказать о декартовом методе касательных; он, впрочем, имеет также отношение к природе уравнений, о которой мы должны будем затем сделать еще дальнейшее замечание. Декарт излагает этот самостоятельный метод, в котором требуемое линейное определение также находится из той же производной функции, в своей и в других отношениях оказавшейся столь плодотворной геометрии (Oeuvres compl. ed. Cousin, tom. V, liv. II, p. 857 ss.), уча в ней о великой основе природы уравнений и их геометрического построения, а тем самым об очень расширенном анализе, о распространении его на геометрию вообще. Проблема получает у него форму задачи – провести прямые линии перпендикулярно к любому месту кривой, чем определяется подкасательная, и т. д.
Мы вполне понимаем то чувство удовлетворения по поводу своего открытия, касавшегося предмета всеобщего научного интереса того времени и являвшегося всецело геометрическим, тем самым поднимавшегося так высоко над вышеупомянутыми методами голых правил, которые давались его соперникам, – то чувство, которое он выразил там в следующих словах: «J'ose dire, que e'est ceci le Probleme le plus utile et le plus general, non seulement que je sache, mais meme que j'aie jamais desire de savoir en geometrie».
(«Я осмеливаюсь сказать, что это – самая полезная и самая всеобщая геометрическая задача не только из всех тех, которые я знаю, но также и из всех тех, которые я когда- либо желал знать в геометрии»). – Для решения этой задачи он кладет в основание аналитическое уравнение прямоугольного треугольника, образуемого ординатой той точки кривой, к которой должна быть перпендикулярной требуемая в задаче прямая линия, затем ею же самой, нормальной, и, в-третьих, поднормальною, т. е. той частью оси, которая отрезывается ординатою и нормальною. Из известного уравнения кривой в уравнение означенного треугольника подставляется затем значение ординаты или абсциссы; таким образом получается уравнение второй степени (и Декарт показывает, как и те кривые, уравнения которых содержат высшие степени, также сводятся к уравнению второй степени), в котором встречается лишь одна из переменных величин и притом в квадрате и в первой степени, – квадратное уравнение, которое сначала выступает как так называемое нечистое уравнение. Затем Декарт соображает, что если мы представим себе рассматриваемую точку кривой точкой пересечения последней и круга, то этот круг пересечет кривую еще в другой точке и тогда поручается для двух тем самым возникающих и неодинаковых два уравнения с одинаковыми константами и одинаковой формы или же одно уравнение с неодинаковыми значениями х. Но уравнение делается одним уравнением лишь для одного треугольника, в котором гипотенуза перпендикулярна к кривой, т. е. оказывается нормальной, что представляют себе таким образом, что заставляют совпасть обе точки пересечения кривой кругом, и, следовательно, последний становится касающимся кривой. Но тем самым отпадает также и то обстоятельство, что корни? или у квадратного уравнения неодинаковы. В квадратном же уравнении с двумя одинаковыми корнями коэфициент члена, содержащего неизвестные в первой степени, вдвое больше лишь одного корня; это дает нам уравнение, посредством которого мы находим искомые определения. Этот ход решения должен быть признан гениальным приемом истинно аналитической головы, с которым не может сравниться принимаемая всецело ассерторически пропорциональность подкасательной и ординаты якобы бесконечно малым (так называемым) приращениям абсциссы и ординаты.
Полученное этим путем конечное уравнение, в котором коэфициент второго члена квадратного уравнения равен удвоенному коршо или неизвестному, есть то же самое уравнение, которое находят посредством приема, применяемого диференциальным исчислением. Уравнение х2-ах-Ь=0 после его диференцирования дает новое уравнение 2х-а=0; а уравнение 3-рх-?=0 дает Зх2-р-0. Но при этом напрашивается замечание, что отнюдь не само собою разумеется, что такое производное уравнение также и правильно. При уравнении с двумя переменными величинами, которые от того, что они переменные, все-таки не теряют характера неизвестных величин, получается, как мы указали выше, лишь некоторое отношение, по тому указанному простому основанию, что замещение самих степеней функциями возвышения в степень изменяет значение обоих членов уравнения, и само по себе еще неизвестно, имеет ли еще место между ними уравнение при таком измененном значении. Уравнение =Р ничего другого вовсе и не выражает, кроме того, что есть некоторое отношение и «не надо приписывать никакого другого реального смысла. Но об этом отношении также еще неизвестно, какому другому отношению оно равно; лишь такое уравнение, пропори/тональность, впервые сообщает ему численное значение и смысл. – Точно так же как (что было указано выше) то значение, которое называли приложением, берется извне, эмпирически, так и в тех полученных путем диференцирования уравнениях, о которых идет речь, для того, чтобы знать, верны ли еще полученные уравнения, должно быть известно из какого-то другого источника, имеют ли они одинаковые корни. Но на это обстоятельство в учебниках не дается определенных и ясных указаний; оно устраняется тем, что уравнение с одним неизвестным (х), приведенное к нулю, тотчас же приравнивается к другому неизвестному (у), откуда затем при диференцирования получается, конечно, которое есть только некоторое отношение. Исчисление функций, конечно, должно иметь дело с функциями возвышения в степень, а диференциальное исчисленное с диференциалами, но из этого само по себе отнюдь еще не следует, что величины, диференциалы или функции возвышения в степень которых мы берем, сами также должны быть лишь функциями других величин. И кроме того в теоретической части, там, где даются указания, как должны быть выведены диференциалы, еще нет и мысли о том, что величины, оперировать с которыми согласно такому способу их вывода она учит, сами должны быть функциями других величин.
Относительно отбрасывания констант при диференцировании можно еще обратить внимание читателя на то, что это отбрасывание имеет здесь тот смысл, что константа оказывается безразличной для определения корней в случав их равенства, каковое определение исчерпывается коэфициентом второго члена уравнения. Так, в приведенном примере Декарта константа есть квадрат самого корня, следовательно, последний может быть определен как из константы, так и из коэфициентов, поскольку вообще как она, так и коэфициенты суть функции корней уравнения.
В обычном изложении опущение так называемых констант (связанных с прочими членами лишь посредством знаков + и —) достигается простым механизмом приема, состоящего в том, что для нахождения диференциала сложного выражения приращение сообщается лишь переменным величинам и сформированное благодаря этому выражение вычитается из первоначального. Смысл констант и их отбрасывания, вопрос о том, в какой мере они сами суть функции и нужны ли они или не нужны со стороны этого определения, не подвергается обсуждению.
С отбрасыванием констант находится в связи одно замечание, которое можно сделать относительно названий диференцирования и интегрирования, замечание, сходное с тем, которое мы сделали раньше относительно наименований «конечное» и «бесконечное выражение», а именно, что в их определении содержится скорее противоположное тому, что выражается этими названиями.
Диференцирование означает полагание разностей; но диференцирование, наоборот, уменьшает число измерений уравнения и в результате отбрасывания константы устраняется один из моментов определенности; как мы уже заметили, корни переменной величины приравниваются, их разность, следовательно, устраняется. Напротив, при интегрировании следует снова присоединить константу; уравнение благодаря этому несомненно интегрируется, но в том смысле, что ранее устраненная разность корней восстанавливается, положенное равным снова диференцируется. – Обычный способ выражения способствует тому, чтобы оставить в тени существенную природу предмета и все сводить к подчиненной и даже чуждой главной стороне дела точке зрения отчасти бесконечно-малой разности, приращения и т. п., отчасти же голой разности вообще между данной и производной функцией, не обозначая их специфического, т. е. качественного различия.
Другую главную область, к которой прилагается диференциальное исчисление, представляет механика; попутно мы отчасти уже касались смысла различных степенных функций, получающихся при элементарных уравнениях ее предмета, движения; здесь я буду говорить о них непосредственно. Уравнение, а именно математическое выражение просто равномерного движения с = у или s = ct, в котором пройденные пространства пропорциональны протекшим временам по некоторой эмпирической единице с, величине скорости, не имеет смысла диференцировать; коэфициент с уже совершенно определен и известен, и здесь не «может иметь места никакое дальнейшее развертывание степени, никакое дальнейшее разложение в ряд. – Как анализируется s=a2, уравнение движения падения тел, об этом мы уже вкратце сказали выше; первый член анализа jt=2af выражается словесно и, следовательно, понимается, как существующий реально таким образом, что он есть член некоторой суммы (каковое представление мы уже давно устранили), одна часть движения и притом та часть его, которая приписывается силе инерции, т. е., просто-равномерной скорости таким образом, что в бесконечно-малых частях времени движение принимается за равномерное, а в конечных частях времени, т. е. в существующих на самом деле, – за неравномерное. Разумеется, fs=2at и значение а и t, взятых сами» по себе, известно, равно как известно и то, что этим самым дано определение скорости равномерного движения: так как я, то вообще 2at=j; но этим мы нисколько не подвинулись вперед в нашем знании; лишь ложное предположение, будто 2at есть часть движения как некоторой суммы, дает ложную видимость физического предложения. Самый множитель, я, эмпирическая единица – некоторое определенное количество, как таковое – приписывается тяготению; если здесь применяют категорию силы тяготения, то нужно сказать, что, наоборот, как раз целое s=at2 есть действие или, лучше сказать, закон тяготения. – То же самое верно и относительно выведенного из =2а положения, гласящего, что если бы прекратилось действие силы тяжести, то тело со скоростью, приобретенной им в конце своего падения, прошло бы во время, равное времени его падения, пространство вдвое большее пройденного. – В этом положении заключается также» и сама по себе превратная метафизика: конец падения или конец той части» времени, в которое падало тело, всегда сам еще есть некоторая часть времени; если бы он не был таковой частью, то наступил бы покой и», следовательно, не было бы никакой скорости; скорость может быть установлена лишь по пространству, пройденному в некоторую часть времени, а не в конце ее. Если же кроме того и в других физических областях, где вовсе нет никакого движения, как например относительно поведения света (помимо того, что называют его распространением в пространстве) и относительно определений величин в цветах, применяют диференциальное исчисление и первая производная функция некоторой квадратной функции здесь также именуется скоростью, то на это следует смотреть, как на еще более несостоятельный формализм выдумывания существования. – Движение, изображаемое уравнением s=at2, говорит Лагранж, мы находим в опыте падения тел; простейшим следующим за ним было бы движение, уравнением которого является s=cfi, но такого движения не оказывается в природе; мы не знали бы, что может означать собою коэфициент с. Если это верно, то, напротив, существует движевие, уравнением которого является s=at2 – кемеровский закон движения тел солнечной системы. И разрешение вопроса о том, что здесь должна означать первая производная функция и т. д., а также дальнейшая непосредственная разработка этого уравнения путем диференцирования, развитие законов и определений указанного абсолютного движения, отправляясь от этой исходной точки зрения, должно бы, конечно, представить собою интересную задачу, в решении которой анализ явил бы себя в достойнейшем блеске.
Таким образом само по себе взятое приложение диференциального исчисления к элементарным уравнениям движения не представляет реального интереса; формальный же интерес проистекает из общего механизма исчисления.
Но иное значение получает разложение движения в отношении определения его траектории; если последняя есть кривая и ее уравнение содержит высшие степени, то требуются переходы от прямолинейных функций возвышения в степень к самим степеням), а так как первые должны быть выведены из первоначального уравнения движения, содержащего фактор времени, с элиминированием времени, то этот фактор вместе» с тем должен быть низведен к тем низшим функциям развертывания, из которых могут быть получены означенные уравнения линейных определений. Эта сторона приводит к рассмотрению интереса другой части диференциального исчисления.
Сказанное доселе имело своей целью выделить и установить простое специфическое определение диференциального исчисления и показать наличие этого определения на некоторых элементарных примерах. Это определение, как оказалось, состоит в том, что из уравнения степенных функций находят коэфициент члена разложения, так называемую первую производную функцию, и что обнаруживают наличие того отношения, которое она собою представляет, в моментах конкретного предмета, посредством какового, полученного таким образом уравнения между обоими отношениями определяются сами эти моменты. Мы должны вкратце рассмотреть также и принцип интегрального исчисления и установить, что получается из его приложения для его специфического конкретного определения. Понимание этого исчисления было нами упрощено и определено более правильно уже благодаря одному тому, что мы его больше не принимаем за метод суммирования, как его назвали в противоположность диференцированию (в котором приращение считается существенным ингредиентом), вследствие чего интегрирование представлялось находящимся в существенной связи с формой ряда. – Что касается задачи этого исчисления, то таковой, во-первых, так же как и в диференциальном исчислении, является теоретическая или, скорее, формальная задача, но, как известно, обратная задаче диференцирования. Здесь исходят из функции, рассматриваемой как производная у как коэфициент ближайшего члена, получающегося в результате разложения в ряд некоторого, пока еще неизвестного уравнения, а» из этой производной должна быть найдена первоначальная степенная функция; та функция, которая в естественном порядке развертывания должна быть рассматриваема как первоначальная, здесь выводится, а рассматривавшаяся ране© как производная есть здесь данная или вообще начальная. Но формальная сторона этого действия представляется уже выполненной диференциальным исчислением, так как в последнем устанавливается вообще переход и отношение первоначальной функции к функции, получающейся в результате разложения в ряд. Если при этом отчасти уже для того, чтобы взяться за ту функцию, из которой следует исходить, отчасти же для того, чтобы осуществить переход от нее к первоначальной функции, оказывается необходимым во многих случаях прибегнуть к форме ряда, то следует прежде всего твердо помнить, что эта форма как таковая не имеет непосредственно ничего общего с собственным принципом интегрирования.
Но другой стороной задачи этого исчисления является с точки зрения формальной операции его приложение.
А последнее само представляет собой задачу узнать, какое предметное значение (в вышеуказанном смысле) имеет та первоначальная функция, которую мы находим по данной функции, принимаемой за первую производную. Может казаться, что с этим учением, взятым само по себе, также покончено уже в диференциальном исчислении. Однако здесь появляется дальнейшее обстоятельство, вследствие которого дело оказывается не так просто. А именно, так как в этом исчислении оказывается, что благодаря первой производной функции уравнения кривой получилось некоторое линейное отношение, то тем самым мы также знаем, что интегрирование этого отношения дает уравнение кривой в виде отношения абсциссы и ординаты; или, если бы было дано уравнение для площади кривой, то диференциальное исчисление должно было бы предварительно научить нас относительно значения первой производной функции такого уравнения, что эта функция представляет ординату как функцию абсциссы, стало быть, представляет уравнение кривой.
Но главное дело здесь в том, какой из моментов определения предмета дан в самом уравнении, ибо лишь от данного» может отправляться аналитическая трактовка, чтобы переходить от него к прочим определениям предмета. Дано, например, не уравнение поверхности, образуемой кривою, и не уравнение возникающего посредством ее вращения тела, а также и не уравнение некоторой дуги этой кривой, а лишь отношение абсциссы и ординаты в уравнении самой кривой. Переходы от указанных определений к самому этому уравнению не могут уже поэтому быть предметом самого диференциального исчисления; нахождение таких отношений есть дело интегрального исчисления.
Но, далее, было уже показано, что диференцирование уравнения с несколькими переменными величинами дает степенной член разложения (die Entwicklungspotenz)[52] или диференциальный коэфициент не как уравнение, а только как отношение; задача состоит затем в том, чтобы в моментах предмета указать для этого отношения, которое есть производная функция, другое равное ему. Напротив, предметом интегрального исчисления является само отношение первоначальной к производной, в этом случае данной функции, и задача состоит в том, чтобы указать значение искомой первоначальной функции в предмете данной первой производной функции или, вернее, так как это значение, например, площадь, ограничиваемая кривой или подлежащая ректифицированию, представляемая в виде прямой кривая и т. д., уже высказано как задача, то требуется показать, что такое определение может быть найдено посредством некоторой первоначальной функции, и вместе с тем показать, каков тот момент предмета, который для этой цели должен быть принят за исходную функцию, каковою в данном случав служит производная функция.
Обычный метод, пользующийся представлением бесконечно малой разности, слишком облегчает себе задачу. Для квадратуры кривых линий он принимает бесконечно малый треугольник, произведение ординаты на элемент (т. е. на бесконечно малую часть) абсциссы, за трапецию, имеющую одной своей стороной бесконечно-малую дугу, противоположную сказанной бесконечно-малой части абсциссы.
Произведение это и интегрируется в том смысле, что интеграл дает сумму бесконечно многих трапеций, ту плоскость, которую требуется определить, т. е. конечную величину сказанного элемента плоскости. И точно так же обычный метод образует из бесконечно-малой дуги и соответствующих ей ординаты и абсциссы прямоугольный треугольник, в котором квадрат этой дуги считается равным сумме квадратов обоих других бесконечно малых, интегрирование которых и дает конечную дугу.
Этот прием имеет своей предпосылкой то общее открытие, которое лежит в основании этой области анализа и которое здесь выступает в виде положения о том, что квадратура кривой, выпрямленная дуга и т. д. находится к известной (данной уравнением кривой) функцию в отношении так называемой первоначальной функции к производной. Здесь дело идет о том, чтобы в случае, если известная часть какого-нибудь математического предмета (например, некоторой кривой) принимается за производную функцию, узнать, какая другая его часть выражается соответствующей первоначальной функцией. Мы знаем, что если данная уравнением кривой функция ординаты принимается за производную функцию, то соответствующая ей первоначальная функция есть выражение величины отрезанной этой ординатой и кривой плоскости, что если как производная функция рассматривается известное определение касательной, то ее первоначальная функция выражает величину соответствующей этому определению дуги и т. д. Однако заботу о том, чтобы узнать и доказать, что эти отношения – отношение первоначальной функции к производной в отношение величин двух частей или «двух обстоятельств математического предмета – образуют пропорцию, – заботу об этом снимает с себя метод, пользующийся бесконечно-малым и механически оперирующий им. Своеобразной заслугой является уже то остроумие, с которым на основании результатов, известных уже заранее из других источников, этот метод открывает, что известные и именно такие- то стороны математического предмета находятся между собою в отношении первоначальной функции к производной.