затемняется, однако, тем, что то, что, называется элементом, положим, ординаты, понимается, как разность или приращение, как будто оно есть только количественное различение одной ординаты от другой. Предел тем самым не имеет смысла отношения: он означает лишь то последнее значение, к которому другая однородная величина постоянно приближается так, что она может отличаться от него на наименьшую желаемую величину, и что последнее отношение есть отношение равенства. Таким образом, бесконечно малая разность оказывается как бы видимостью различия одного определенного количества от другого, и представление качественной природы, по которой dx есть по существу не определение отношения его к х, но к dy, отступает назад. dx исчезает перед dx, но также исчезает dx перед х, что по истине значит, что dx имеет отношение лишь к dy. При таком изложении дела геометры стараются преимущественно о том, чтобы сделать понятным приближение некоторой величины к ее пределу и остановиться на таком различении определенного количества от определенного количества, которое уже не есть различение и вместе с тем есть различение. Но приближение есть для себя, помимо того, ничего не говорящая и ничего не объясняющая категория; dx имеет приближение уже за собою, он не близок и не есть ближайшее; бесконечная близость есть сама лишь отрицание близости и приближения.
Поэтому, коль скоро дело сводится к тому, что приращения или бесконечно малые разности рассматриваются лишь со стороны определенного количества, которое в них исчезает, и лишь как его предел, то они понимаются, как безотносительные моменты. Отсюда можно бы было вывести неосновательное предположение, будто дозволительно в последнем отношении приравнивать между собою, например, абсциссу с ординатою, или синус, косинус, тангенс, sinus versus и т. п. По-видимому, это представление получает силу, когда дуга рассматривается, как касательная, ибо дуга, конечно, несоизмерима с прямою линиею, и ее элемент имеет прежде всего другое качество, чем элемент прямой линии. Еще нелепее и недозволительнее смешение абсциссы, ординаты, sinus versus и т. д., когда представляется quadrata rotundis, когда хотя бы бесконечно малая часть дуги принимается за участок касательной, и тем самым с нею поступают, как с прямою линиею. Но такой образ действий следует по существу отличать от вызывающего порицание смешения; он оправдывается тем, что в том треугольнике, стороны которого суть элемент дуги и элемент абсциссы и ординаты, отношение остается тем же, как если бы элемент дуги был элементом прямой линии, касательной; углы, образующие существенное отношение, т. е. то, которое сохраняется при этих элементах, если отвлечься от свойственных им конечных величин, те же самые. Можно выразить это также таким образом, что прямые линии, как бесконечно малые, стали кривыми линиями, и их отношение при их бесконечности стало отношением кривых. Так как по определению прямой линии она есть кратчайшее расстояние между двумя точками, то ее отличие от кривой линии основывается на определении множества, на меньшем множестве различимого в этом расстоянии, что есть также определение количества. Но это определение в ней исчезает, коль скоро она принимается за интенсивную величину, за бесконечный момент, за элемент; а с тем вместе исчезает и ее отличие от кривой линии, основанное исключительно на различии определенного количества. Следовательно, как бесконечные, прямая линия и дуга не состоят ни в каком количественном отношении и потому на основании принятого определения не имеют и никакого качественного различия, но переходят одна в другую.
Сродным и однако различным от отожествления разнородных определений оказывается само по себе неопределенное и совершенно безразличное утверждение, будто бесконечно малые части одного и того же целого равны между собою; но примененное к разнородному в себе, т. е. причастному существенной неравномерности количественных определений предмету, оно приводит к существенному противоречию, содержащемуся в высшей механике, которая учит, что в равные, притом бесконечно малые времена, в бесконечно малых частях кривой происходит равномерное движение, как часть такого движения, которое в равные конечные, т. е. существующие части времени проходит конечные, т. е. существующие неравные части кривой, следовательно, движение, которое, как существующее, неравномерно и признается за таковое. Это предложение есть словесное выражение того, что должен означать собою аналитический член, получающийся через вышеупомянутое развитие формулы, хотя неравномерного, но подчиненного некоторому закону движения. Более старые математики старались выразить результаты вновь изобретенного исчисления бесконечных, которое притом всегда имело дело с конкретными предметами, в словах и предложениях и изобразить их геометрически, главным образом, для того, чтобы употреблять их для обычного способа доказательства теорем. Члены математической формулы, в которую анализ разлагал величину предмета, например, движения, получали таким образом предметное значение, например, скорости, ускоряющей силы и т. п.; по этому значению они должны были приводить к правильным положениям, к физическим законам, и по их аналитической связи должны были определяться и их объективные связи и отношения, например, то, что в равномерно ускоренном движении существует особая пропорциональная временам скорость, к которой, кроме того, всегда присоединяется приращение, зависящее от силы тяжести. Такие предложения в новом аналитическом виде механики получались исключительно, как результаты вычисления независимо от того, имеют ли они для себя реальный, т. е. соответствующий некоторому существованию смысл и от доказательства этого; затруднение сделать понятною связь таких определений, когда они употреблялись в вышеупомянутом реальном смысле, например, объяснить переход от той ложно равномерной скорости к равномерному ускорению, считалось поэтому совершенно устраненным через аналитическую разработку, в которой сказанная связь есть простое следствие установленного раз навсегда прочного авторитета действий вычисления. Считалось торжеством науки нахождение путем простого возвышающегося над опытом вычисления законов, т. е. предложений о существовании, самих не имеющих существований. Но в первое еще наивное время исчисления бесконечных старались найти и оправдать реальный смысл таких определений и положений, изображенных в геометрических построениях, и применить их в этом смысле к доказательству главных положений, о которых шла речь [ср. ньютоново доказательство его основоположения теории тяготения в Princ. math. philos. naturalis lib. I sect. II prop. 1 сравнительно с астрономиею Шуберта (перв. изд. т. III § 20), где признается, что в пункте, составляющем самый нерв доказательства, нет точности, т. е. дело не совсем таково, как полагает Ньютон].
Нельзя отрицать, что в этой области многое, преимущественно при пособии тумана, напущенного бесконечно малыми, считалось за доказательство только потому, что то, что получалось, всегда было уже заранее известно, и что доказательство, построенное таким образом, что получался подобный вывод, имело по крайней мере видимость остова доказательства, видимость, которую все же предпочитали простой вере или опытному знанию. Но я без всякого колебания признаю эту манеру не за что иное, как за простое фокусничество и шарлатанство доказательством, и причисляю сюда и ньютоновы доказательства, особенно такие, как вышеприведенное, за которое Ньютона возвысили до небес и превознесли над Кеплером, утверждая, что первый математически доказал то, что второй нашел лишь путем опыта.
Пустой остов таких доказательств воздвигнут для того, чтобы доказать физические законы. Но математика вообще не может доказать количественных определений физики, так как последние суть законы, обоснованные на качественной природе моментов; не может сделать этого по той простой причине, что математика не есть философия, не исходит от понятий, и что поэтому качественное, если только оно не почерпается лемматически из опыта, лежит вне сферы математики. Поставление достоинства математики в том, что все входящие в нее положения должны быть строго доказаны, часто побуждало забывать о ее границе; таким образом, казалось несогласным с ее достоинством считать опыт источником и единственным доказательством опытных предложений; позднее сознание этой истины более развилось; но прежде, чем будет выяснено различие того, что математически доказуемо, и что может быть взято лишь извне, как, например, того, что есть лишь член аналитического развития, и что — физическое существование, научность не может считаться достигшею строгого и чистого состояния. А упомянутому остову ньютонова доказательства противоречит уже то право, которое признано за другим неосновательным искусственным ньютоновым построением из оптических опытов и связанных с ними выводов. Прикладная математика еще полна смешением поровну опыта и рефлексии; но подобно тому, как уже довольно давно одна за другою части этой (ньютоновой) оптики стали фактически игнорироваться наукою с тою, однако, непоследовательностью, что прочие ее части, хотя и с противоречием тому, еще сохраняются, — также точно является фактом, что часть этого обманчивого доказательства сама собою уже пришла в забвение или заменена другими доказательствами.
Примечание 2-е
Цель дифференциального исчисления, выведенная из его приложения
В предыдущем примечании рассмотрены отчасти определенность понятия бесконечно малого, находящего употребление в дифференциальном исчислении, отчасти основания его введения в это исчисление; то и другое суть отвлеченные и потому легкие определения; но так называемое приложение представляет более трудностей, равно как более интересных сторон; элементы этой конкретной стороны должны составить предмет настоящего примечания. Весь метод дифференциального исчисления сводится к положению dx=nxdx или иначе (f(x+i)—fx)/i=P, т. е. равно коэффициенту первого члена двучлена x+d, x+i, развитого по степеням dx или i. Далее нечему учиться новому; вывод ближайших форм дифференциала произведения, степени и т. д. вытекает отсюда механически; в короткое время, в каких-нибудь полчаса — с нахождением дифференциалов дано также и обратное, нахождение по ним первоначальной функции, интегрирование — можно освоиться со всею теориею. Задерживает на ней долее лишь стремление усмотреть, сделать понятным, каким образом после того, как одна сторона задачи, нахождение этого коэффициента решена так легко аналитическим, т. е. совершенно арифметическим путем через развитие функции переменной величины, получившей форму двучлена путем приращения, оправдывается и другая ее сторона, именно опущение прочих членов полученного ряда. Если бы было признано, что единственно в этом коэффициенте и есть нужда, то с его нахождением все, что касается теории, было бы, как сказано, закончено менее, чем в полчаса, и опущение прочих членов ряда не представляло бы никакого затруднения, так как о них, как о членах ряда (как вторая, третья и т. д. производные функции, они находят свое определение уже при определении первой), вовсе не поднималось бы речи, ибо в них не было бы никакой надобности.
Можно предпослать здесь то замечание, что при рассмотрении метода дифференциального исчисления сейчас же бросается в глаза, что он изобретен и установлен не ради себя самого; он не только не обоснован для себя, как особый способ аналитического действия, но необходимость опускать члены, получающиеся через развитие функции, несмотря на то, что все это развитие в целом признается относящимся к делу — ибо дело именно состоит в различении развитой функции переменной величины, после придания ей вида двучлена, от первоначальной функции — совершенно, напротив, противоречит всем основоположениям математики. Как потребность в таком образе действия, так и недостающее ему самому в себе оправдание, сейчас же указывают на
