В указанном смысле, именно в том, что так называемая сумма или конечное выражение бесконечного ряда именно должна бы была называться бесконечным, установил и пояснил примерами различие понятия истинной бесконечности от ложной главным образом Спиноза. Это его понятие будет наилучше освещено, если я свяжу то, что он говорит о нем, с только что изложенным. Он определяет прежде всего бесконечное, как абсолютное утверждение существования какой-либо природы, а конечное, напротив, как определенность, как отрицание. Абсолютное утверждение некоторого существования должно быть именно понимаемо, как ее отношение к самому себе, вследствие которого оно существует не потому, что существует другое; конечное, напротив – есть отрицание, прекращение, отношение к другому, возникающему вне первого.
Правда, абсолютное утверждение некоторого существования не исчерпывает еще понятия бесконечного; последнее содержит в себе еще то определение, что бесконечность есть утверждение не непосредственное, но лишь восстановленное через рефлексию другого в себе самом, как отрицание отрицательного. Ho y Спинозы субстанция и ее абсолютное единство имеют форму единства неподвижного, т. е. неопосредованного самим собою, форму некоторой оцепенелости, в которой нет еще понятия отрицательного единства себя самого, субъективности.
Математический пример, коим он поясняет истинную бесконечность (Epist. XXIX), есть пространство между двумя неравными кругами, из которых один находится внутри другого, не касаясь его и не будучи ему концентричен. Он придает по-видимому большое значение этой фигуре и тому понятию, примером которого она служит, так что избрал ее даже эпиграфом своей этики. «Математики, говорит он, утверждают, что неравенства, возможные в таком пространстве, бесконечны, не вследствие бесконечного множества частей, так как его величина определенна и конечна, и я могу предположить такое пространство бóльшим или меньшим, но потому что тут природа вещи превосходит всякую определенность». Как видно, Спиноза отвергает то представление о бесконечном, по которому оно представляется, как множество или как незаконченный ряд, и указывает на то, что здесь в приводимом, как пример, пространстве бесконечное не потусторонне, а имманентно и закончено; это пространство есть нечто ограниченное, но именно потому бесконечное, «так как природа вещи превосходит всякую определенность», так как содержащееся тут определение величины не может быть вместе с тем изображено, как определенное количество, или так как по вышеприведенному выражению Канта синтезирование не может здесь быть доведено до некоторого – дискретного – определенного количества. Каким образом вообще противоположность непрерывного и дискретного определенного количества приводит к бесконечному, – это имеет быть изложено в одном из следующих примечаний. Бесконечное некоторого ряда Спиноза называет бесконечным воображения; бесконечное же, как отношение к себе самому, – бесконечным мышления или infinitum actu. Оно есть именно actu, оно бесконечно действительно, так как оно закончено в себе и дано. Так ряд 0,285714… или 1+а+а2+а3… есть бесконечное лишь воображения или мнения, ибо он не имеет действительности, ему для того еще чего-то не хватает; напротив 2/7 или 1/(1–а) есть действительно не только то, что дано в приведенных членах ряда, но и в том, чего ему не хватает, чем он только должен быть, 2/7 или 1/(1–а) есть такая же конечная величина, как заключенное между двумя кругами пространство Спинозы и неравенства этого пространства, и, как это пространство, она может быть сделана более или менее. Но отсюда не возникает несообразности большего или меньшего бесконечного, так как это определенное количество целого не касается отношения его моментов, природы вещи, т. е. качественного определения величины; а то, что существует в бесконечном ряду, есть также конечное определенное количество, но кроме того нечто недостаточное. Напротив, воображение остается при определенном количестве, как таковом, и не рефлектирует над качественным отношением, в котором заключается основание данной несоизмеримости.
Несоизмеримость, имеющая место в примере Спинозы, заключает в себе вообще криволинейные функции и приводит к тому бесконечному, которое употребляется математикою при этих функциях, вообще при функциях переменных величин; последнее есть именно то истинное математическое, качественное бесконечное, о котором мыслил Спиноза. Это определение должно быть здесь рассмотрено ближе.
Что касается, во-первых, признаваемой столь важною категории переменности, под которую подводятся входящие в эти функции величины, то они прежде всего должны быть переменными не в том смысле, как в дроби 2/7 оба числа 2 и 7, поскольку вместо них можно поставить также 4 и 14, 6 и 21 и т. д. другие числа до бесконечности без изменения величины дроби. Еще с бóльшим правом в дроби a/b можно вместо а и b поставить любые числа без изменения того, что должно выражать собою a/b. В том смысле, что и вместо х и у в какой-либо функции можно вставить бесконечное, т. е. неисчерпаемое, множество чисел, а и b суть столь же переменные величины, как х и у. Выражение переменные величины поэтому весьма неопределенно и выбрано неудачно для определений величин, имеющих интерес и подвергающихся действиям совсем в иных видах, чем обусловливаемых только их переменностью.
Для того, чтобы выяснить, в чем состоит истинное определение моментов некоторой функции, имеющей интерес для высшего анализа, мы снова должны обозреть указанные выше ступени (развития понятий). В дробях 2/7 или a/b числа 2 и 7, каждое для себя, суть определенные количества, и отношение для них несущественно; а и b также представляют собою такие определенные количества, которые остаются тем, что они суть, и вне отношения. Далее 2/7 и a/b суть постоянные определенные количества, показатели; отношение составляет число, единица которого есть знаменатель, а определенное число – числитель, или обратно; если вместо 2 и 7 вставить 4 и 14, то отношение, как определенное количество, остается тем же самым. Но это существенно изменяется – например в функции y2/x=p; в ней х и у, правда, имеют значение определенных количеств; но определенный показатель присущ отношению не х и у, а только х и у2. Поэтому, как члены отношения, х и у, во-первых, не суть определенные количества, а во-вторых, их отношение не есть постоянное определенное количество (и его не мнят таким же, как при а и b), не постоянный показатель, а, как определенное количество, оно переменно. Это зависит только от того, что х находится в отношении не к у, а к квадрату у. Отношение некоторой величины к степени есть не определенное количество, а по существу качественное отношение; степенное отношение есть такое положение, которое должно считаться основным определением. В уравнении прямой линии у=ах выражение у/x=а есть обыкновенная дробь и показатель; эта функция есть поэтому лишь формально функция переменных величин, иначе сказать х и у здесь то же самое, что а и b в a/b, они не имеют того определения, под которым их рассматривает дифференциальное и интегральное исчисление. Вследствие особенной природы переменных величин с этой точки зрения было бы целесообразно ввести для них также как особое наименование, так и особое обозначение, отличное от обычных неизвестных величин в каждом конечном определенном, так и неопределенном уравнении, – для указания их существенного отличия от таких просто неизвестных величин, которые в себе суть вполне определенные количества или определенная совокупность определенных количеств. Равным образом является лишь недостатком сознания своеобразия того, что составляет интерес высшего анализа, и чем вызвана потребность и изобретение дифференциального исчисления, включение функций первой степени, каково уравнение прямой линии, в составе этого исчисления; придание последнему такого формального характера представляет собою еще и то неудобство, что признается возможным достижение самого по себе правильного требования обобщения метода при опущении той специфической определенности, которая обусловливает потребность в нем, так что все сводится к тому, как будто дело идет в этой области лишь о переменных величинах вообще. В рассмотрении и в изложении этих предметов было бы, конечно, гораздо менее формализма, если бы было принято во внимание, что здесь дело идет не о переменных величинах, как таковых, а о степенных определениях.
Но есть еще дальнейшая ступень, на которой математическое бесконечное выступает в своем своеобразии. В уравнении, в котором х и у положены, как определенные ближайшим образом степенным отношением, х и у, как таковые, должны еще означать определенные количества; между тем это значение совершенно утрачивается в так называемых бесконечно малых разностях; dx, dy уже не суть определенные количества и не должны обозначать их, но имеют значение лишь в своем отношении, сохраняют смысл, лишь как моменты. Они уже не есть нечто, если принимать нечто за определенное количество, не суть конечные разности; но они также не суть и ничто, неопределенный нуль. Вне своего отношения они суть чистые нули, но должны быть принимаемы за моменты отношения, за определения дифференциального коэффициента dx/dy.
В этом понятии бесконечного определенное количество завершается в действительности в качественное существование; оно полагается, как истинно бесконечное; оно снимается, не как то или иное определенное количество, но как количество вообще. Но при этом сохраняется количественная определенность, как элемент определенных количеств, как принцип, или, как было также сказано, в ее первом понятии.
Против этого понятия и направлено все то нападение, которому подвергнулось основное определение математики этого бесконечного, дифференциального и интегрального исчисления. Неправильные представления математиков сами послужили поводами к тому, что оно не было признано, в особенности же вина падает тут на неспособность оправдания этого предмета, как понятия. Между тем, как уже было упомянуто выше, математика не может тут обойти понятия; ибо, как математика бесконечного, она не ограничивается конечною определенностью своих предметов, как например поступает чистая математика, когда рассматривает пространство и время их определения и приводит их в соотношения лишь со стороны их конечности; но она приводит принятое ранее и рассмотренное ею определение в тожество с противоположным ему, превращая, например, кривую линию в прямую, круг в многоугольник и т. п. Поэтому действия, к которым она позволяет себе прибегать в дифференциальном и интегральном исчислении, по их природе совершенно противоречат конечным определениям и их отношениям, и находят, стало быть, свое оправдание лишь в понятии.
Если математика бесконечного держится за то, что эти количественные определения суть исчезающие величины, т. е. такие, которые не суть уже какие-либо определенные количества, но не суть и ничто, а сохраняют еще известную определенность относительно другого, то представляется, по-видимому, совершенно ясным, что нет такого так называемого среднего состояния между бытием и ничто. Что можно сказать по поводу этого выражения и так называемого среднего состояния, указано уже по поводу категории становления (примеч. 4). Но, конечно, единство бытия и ничто не есть состояние; состояние было бы таким определением бытия и ничто, в котором эти моменты сочетались бы лишь случайно, как бы вследствие болезни и внешнего воздействия ошибочного мышления; между тем эта середина или это единство, исчезание, которое есть вместе с тем становление, есть, напротив, их единственная истина.
То, что бесконечно, говорят далее, несравнимо, как большее или меньшее, поэтому не может быть отношения бесконечного к бесконечному по порядкам или достоинствам бесконечного, каковые различия бесконечных разностей признаются и в науке. Это уже упомянутое ранее выражение основывается опять-таки на том представлении, что здесь идет речь об определенных количествах, сравниваемых, как определенные количества, и что определения, которые уже не суть определенные количества, не могут находиться между собою в отношении. Между тем именно то, что находится только в отношении, и не есть определенное количество; определенное количество есть такое определение, которое вне своего отношения должно иметь совершенно безразличное существование, быть безразличным к своему различию от чего-либо другого, тогда как, напротив, качественное есть лишь то, что оно есть в своем различии от другого. Все бесконечные величины поэтому не только сравнимы, но суть лишь моменты сравнения или отношения.
Я приведу главнейшие определения, которые дает математика относительно своего бесконечного; из них будет видно, что в основе их лежит мысль, согласная с развитым здесь понятием, но что высказывавшие ее не обосновали ее, как понятие, и в приложении ее прибегли опять-таки к вспомогательным средствам, противоречащим их наилучшим намерениям.
Эта мысль не может быть определена правильнее, чем то сделал Ньютон. Я оставляю здесь в стороне определения, принадлежащие представлению движения и скорости (от которых он и заимствовал название флюксий), так как в связи с ними эта мысль лишена надлежащей отвлеченности, но является конкретною, смешанною с несущественными для нее формами. Эти флюксии по объяснению Ньютона (Princ. mat. phil. nat. кн. I, лемма XI Schol.) не неделимы – форма, которою пользовались прежние математики, Кавальери и др., и которая содержит в себе понятие определенного в себе количества – но суть исчезающее делимое. Далее они суть не суммы и отношения определенных частей, но пределы (limites) сумм и отношений. Против этого возражали, что и исчезающие величины не имеют последнего предельного отношения, так как прежде, чем те исчезли, оно не последнее, а когда они исчезли, его уже нет. Но под отношениями исчезающих величин должно разуметь не то отношение, которое до или после их исчезновения, а то, с которым они и исчезают (quacum evanescunt). Равным образом, первое отношение возникающих величин есть то, с которым они возникают.
Как то требовалось тогдашним состоянием научного метода, только что изложенное лишь объясняет, что следует разуметь под тем или иным выражением; но что под ним должно разуметь то или другое, есть собственно субъективное или также историческое требование, не указывающее, чтобы такое понятие в себе и для себя было необходимо и обладало внутреннею истиною. Но вышеприведенное показывает, что установленное Ньютоном понятие соответствует тому, чем оказалась бесконечная величина в предыдущем изложении на основании рефлексии определенного количества внутрь себя. Под нею понимаются величины в их исчезновении, т. е. такие, которые уже суть неопределенные количества, равно как не отношения определенных частей, но пределы отношения. Поэтому как определенные количества для себя, как члены отношения, так и самое отношение, поскольку оно есть определенное количество, должны исчезать; предел отношения величин есть там, где он и есть, и его нет, или, выражаясь точнее, где определенное количество исчезло, и где тем самым сохранено лишь отношение, как качественно-количественное отношение, и его члены, также, как качественно-количественные моменты. Ньютон прибавляет к тому, что от существования последних отношений исчезающих величин не следует заключать к существованию последних, неделимых величин. Ибо это было бы опять-таки скачком от отвлеченного отношения к таким его членам, которые имели бы для себя вне своего отношения известное значение, как неделимые, как нечто, что было бы одним, безотносительным.
В противность этому недоразумению он припоминает, что последние отношения не суть отношения последних величин, но пределы, к которым отношения бесконечно убывающих величин приближаются более, чем всякая данная, т. е. конечная разность, и которых они не могут перейти без уничтожения. Под последнею величиною можно бы было, пожалуй, как сказано, разуметь величину неделимую или одно. Но из определения последнего отношения одинаково исключено представление как безразличного одного, безотносительного, так и конечного определенного количества. Но не потребовалось бы прибегать ни к бесконечному убыванию, которое Ньютон приписывает определенному количеству, и которое означает лишь прогресс в бесконечность, ни к определению делимости, которое не имеет уже здесь никакого непосредственного значения, если бы потребное определение было развито в понятие определения величины, только как момент отношения.
По поводу сохранения отношения при исчезновении соотносящихся определенных количеств встречаются (в другом месте, напр., у Карно – Réflexions sur la métaphysique du calcul infinitesimal) выражение, что в силу закона непрерывности исчезающие величины продолжают сохранять то отношение, которое было между ними до их исчезновения. Это представление выражает собою истинную природу дела, поскольку, однако, тут разумеется не непрерывность определенного количества, имеющая место в бесконечном прогрессе и могущая так сохраняться при своем исчезновении, чтобы по ту сторону вновь возникало конечное определенное количество, новый член ряда, непрерывный же прогресс постоянно представляется так, как будто проходятся имеющие еще значение конечные определенные количества. Напротив, в том переходе, который совершается в истинное бесконечное, непрерывное есть отношение; оно настолько непрерывно и сохраняется, что этот переход, собственно говоря, состоит именно в том, что выделяет чистое отношение, а безотносительное определение, т. е. определенное количество, как член отношения, положенное вне этого отношения, еще как определенное количество, исчезает. Это очищение количественного отношения есть поэтому не что иное, как понимание эмпирического существования. Последнее так возвышается над самим собою, что его понятие содержит те же определения, как и оно само, но схваченные в их существенности и в единстве понятия, причем они утрачивают свое безразличное, чуждое понятию существование.
Столь же интересна другая форма ньютонова изложения, касающегося рассматриваемых теперь величин, именно как величин производящих или начал. Производная величина (genita) есть произведение или частное, прямоугольники, квадраты, так же стороны прямоугольников, квадратов, вообще конечная величина. «Рассматривая ее, как переменную, как увеличивающуюся или уменьшающуюся в постоянном движении и течении, он означает ее моментальные приращения или убывания названием моментов. Но последние не должны быть принимаемы за части определенных величин (particulae finitae). Последния суть не самые моменты, но величины, произведенные моментами; последние же должны быть понимаемы, как находящиеся в становлении принципы или начала конечных величин». Определенное количество отличено здесь само от себя, с одной стороны, как продукт или существующее, а с другой – в своем становлении, в своем начале или принципе, т. е. в своем понятии или, что то же самое, в своем качественном определении; в последнем количественные различия, бесконечные приращения или убывания, суть лишь моменты; происшедшее есть лишь перешедшее в безразличие существования и во внешность, определенное количество. Но если философия истинного понятия и должна принять эти связанные с приращениями и убываниями определения бесконечного, то все же следует заметить, что самые формы приращения и т. п. находятся внутри категории непосредственного определения количества и вышеупомянутого непрерывного прогресса, и что поэтому представления приращения, прироста, прибавления с dx или i к х и т. п. должны считаться присущим этим методам коренным недостатком, – постоянным препятствием к возвышению от представления обычного определенного количества к чистому определению количественно-качественного момента.
Вышеприведенным определениям далеко уступает представление безконечно малых величин, связанное с самыми приращением и убыванием. По этому представлению они таковы, что не только они относительно конечных величин, но и высшие их порядки относительно низших, а равно произведения многих их относительно одного, должны быть пренебрегаемы. У Лейбница особенно сильно выступает это требование пренебрежения, находимое также и у предыдущих изобретателей методов, касающихся сказанных величин. Именно это обстоятельство сообщает исчислению, при выигрыше в удобстве, видимость неточности и явной неправильности в ходе его действий. По своему способу популяризовать вещи, т. е. лишать чистоты их понятий и заменять их неправильными чувственными представлениями, Вольф пытался сделать этот прием понятным для рассудка. А именно, он сравнивает пренебрежение бесконечно малыми разностями высших порядков относительно низших с образом действий геометра, измерение которым высоты горы нисколько не делается менее точным, если ветер снесет песчинку с ее вершины, или с пренебрежением высотою домов и башен при вычислениях лунного затмения (Elem. mathes. univ. T. I. Gl. analys. math. p. II, C. I Schol.).
Если суд обычного человеческого рассудка и допускает такую неточность, то все геометры, напротив, отвергают ее. Само собою очевидно, что в науке математики совсем не может быть речи о такой эмпирической точности, и что математическое измерение посредством вычисления или построений и доказательства геометрии, совершенно различно от землемерия, измерения данных на опыте линий, фигур и т. под. Сверх того, как уже было упомянуто, через сравнение результатов, получаемых строго геометрическим путем и посредством метода бесконечно малых разностей, аналитики доказывают, что эти результаты тожественны, и что бóльшая или меньшая степень точности не имеет здесь места. С другой стороны самый прием – пренебрегать величинами вследствие их незначительности – несмотря на оправдание результатами, не может не вызывать протеста. И в этом заключается трудность, побуждающая аналитиков понять и удалить заключающуюся здесь нелепость.
По этому вопросу следует, главным образом, привести мнение Эйлера. Полагая в основание общее определение Ньютона, он настаивает на том, что дифференциальное исчисление рассматривает отношения приращений некоторой величины, причем однако, бесконечно малая разность, как таковая, есть совершенный нуль (Instit. calc. different. Р. I. С. III). Как это следует понимать, видно из вышеизложенного; бесконечно малая разность есть нуль лишь по количеству, а не качественный нуль; но как нуль по количеству она есть лишь чистый момент отношения. Она не есть различие на некоторую величину; но именно потому с одной стороны вообще ошибочно называть эти моменты, именуемые бесконечно малыми величинами, также приращениями и убываниями и разностями. В основе этого определения лежит то предположение, что нечто прибавляется к предварительно данной конечной величине или убавляется от нее, что происходит вычитание или сложение, некоторое арифметическое, внешнее действие. Переход от функции переменной величины к ее дифференциалу должно, напротив, понимать так, что последний имеет совершенную отличную от нее природу, именно, как было объяснено, что он есть возврат конечной функции к качественному отношению ее количественных определений. С другой стороны, ошибочным оказывается и то, когда говорят, что приращения суть для себя нули, что следует принимать в расчет лишь их отношения; ибо нуль вообще не имеет никакой определенности. Хотя это представление и доходит таким образом до отрицания количественного и определенно высказывает его, но оно не схватывает этого отрицания вместе и в его положительном значении качественно-количественных определений, которые становятся нулями, лишь будучи вырваны из отношения и приняты за определенные количества.
Лагранж (Théorie des fonct. analyt. Introduction) говорит о представлении предельных или последних отношений, что если и возможно представить себе отношение двух величин, покуда они остаются конечными, то в рассудке не получается никакого отчетливого и определенного понятия об этом отношении, коль скоро его члены остановятся нулями. Действительно, рассудок должен возвыситься над тем простым отрицанием, по которому члены отношения, как определенные количества, суть нули, и понять их положительно, как качественные моменты. А то, что Эйлер (там же параграф 84 и сл.) прибавляет далее относительно данного им определения для того, чтобы показать, что две так называемые бесконечно малые величины, которые должны быть не чем иным, как нулями, находятся однако во взаимном отношении и потому для них допустимы не только знак нуля, но и другие знаки, не может считаться удовлетворяющим мысль. Он хочет обосновать это на различии арифметического и геометрического отношения; при первом мы обращаем внимание на разность, при втором – на частное, и хотя первая между двумя нулями также равна нулю, но этого нельзя сказать о геометрическом отношении; если 2:1=0:0, то по свойству пропорции, так как первый член вдвое более второго, и третий член должен быть вдвое более четвертого; потому на основании этой пропорции отношение 0:0 должно быть равно отношению 2:1. Так и по обычной арифметике n:0=1:0[15], следовательно, n:1=0:0. Однако именно потому что 2:1 или n:1 есть отношение определенных количеств, ему не соответствует ни отношение, ни обозначение 0:0.
Я воздерживаюсь от дальнейших ссылок, так как сказанное в достаточной степени обнаруживает, что они, без сомнения, имеют дело с истинным понятием бесконечного, но что это понятие не выделено и не понято в своей определенности. Поэтому, когда совершается переход к самим действиям, то нельзя ожидать, чтобы в них проявлялось истинное определение понятия; напротив, в нем возвращаются к конечной определенности количества, и действие не может освободиться от представления лишь относительно малого. Исчисление приводит к необходимости подвести так называемые бесконечные величины под обычные арифметические действия сложения и т. п., применяемые к природе конечных величин, и тем самым хотя бы на мгновение признать первые величины конечными и обращаться с первыми, как со вторыми. Требовалось бы оправдать исчисление в том, что оно, с одной стороны, понижает бесконечные величины в сферу конечности и обращается с ними, как с приращениями или разностями, а с другой стороны, применив к ним формы и законы конечных величин, пренебрегает ими, как определенными количествами.
Я привожу еще наиболее существенное о попытках геометров устранить эти затруднения.
Более старые аналитики не затрудняли себя по этому доводу большими сомнениями; но старания более новых были направлены главным образом к тому, чтобы привести исчисление бесконечных к очевидности собственно геометрического метода и достигнуть в математике строгости доказательств древних (выражение Лагранжа). Но так как принцип анализа бесконечных выше, чем принцип математики конечных величин, то первый сам собою немедленно должен был отказаться от этого рода очевидности; подобно тому, как философия не может притязать на такую отчетливость, какую имеют науки о чувственном, напр., естествознание, или как еда или питье считаются за более рассудительные занятия, чем мышление и понимание. Поэтому можно говорить лишь о старании достигнуть строгости доказательств древних.
Многие пытались совершенно обойтись без понятия бесконечного и достигнуть без него тех же результатов, какие достигаются при его употреблении. Лагранж говорит, например, о методе, изобретенном Ланденом, и объясняет, что этот метод совершенно аналитический и не прибегает к бесконечно малым разностям, но сначала вводит различные значения переменных величин, а потом приравнивает их между собою. Впрочем, Лагранж заявляет, что при этом утрачиваются преимущества, свойственные дифференциальному исчислению, – простота метода и легкость действий. Этому приему отчасти соответствует тот, от которого исходит Декарт в своем методе касательных, о коем будет еще подробнее сказано далее. Здесь можно заметить, – что и теперь уже в общем ясно, – что вообще метод, состоящий в том, чтобы придавать различные значения переменным величинам и затем приравнивать их одну другой, принадлежит другому кругу математических соображений, чем метод самого дифференциального исчисление, и что первым не обращается внимания на подлежащую далее ближайшему рассмотрению особенность того простого отношения, к которому приводится его истинно конкретное определение, – именно отношения производной функции к первоначальной.
Старейшие из новых, напр., Ферма, Барроу и др., которые впервые воспользовались применением бесконечно малых к тому, что впоследствии выработалось в дифференциальное и интегральное исчисление, затем также Лейбниц и др., равным образом Эйлер, постоянно открыто признавали возможным пренебрегать произведениями бесконечно малых разностей так же, как и наивысшими степенями, лишь потому, что они могут считаться исчезающими относительно низших степеней. У всех них это является единственным основоположением, именно определением того, что такое дифференциальные произведения или степени, ибо к этому сводится все теоретическое учение. Прочее есть отчасти механизм действий, отчасти приложение, к которым однако, как будет показано далее, в действительности и сводится главный или, правильнее сказать, единственный интерес. В настоящее время достаточно провести лишь элементарное положение, что по тому же основанию незначительности, как главного положения, касающегося кривых, признается, что элементы кривых, именно приращения абсциссы и ординаты, имеют между собой то же отношение, как подкасательная и ордината; с целью получить подобные треугольники дуга, составляющая с обоими приращениями третью сторону треугольника, правильно названного перед тем характеристическим треугольником, принимается за прямую линию, за часть касательной, и потому одно из приращений за доходящее до касательной. Этими допущениями определения, с одной стороны, возвышаются над свойствами конечных величин; но с другой стороны к признаваемым за бесконечные моментам применяется прием, правомерный лишь относительно конечных величин, при котором мы не имеем права ничем пренебрегать по причине незначительности. Затруднение, тяготеющее над методом, остается при таком образе действия во всей своей силе.
Здесь нужно указать на замечательный прием Ньютона (Prin. math. phil. nat. lib. II lemma II после propos VII); он изобрел остроумный фокус (Kunststück) для устранения арифметически неправильного пренебрежения произведениями бесконечно малых разностей и высшими их порядками при нахождении дифференциалов. Он находит дифференциал произведения – из которого легко потом вывести дифференциалы частного, степени и т. п. – следующим путем. Произведение х и у, если уменьшить каждый множитель наполовину его бесконечно малой разности, есть ху – xdy/2–ydx/2+dxdy/4, если же увеличить его настолько же, то произведение будет ху+xdy/2+ydx/2+dxdy/4. Если от этого произведения отнять первое, то получится разность ydx+xdy, которая есть приращение на целые dx и dy, так как на эту величину различаются оба произведения; следовательно это дифференциал ху. Как видно, при этом сам собою отпадает член, представлявший главное затруднение, произведение обеих бесконечно малых разностей dxdy. Но несмотря на имя Ньютона, следует сказать, что это, хотя и весьма элементарное, действие неверно.