Лейбниц. Анализ бесконечно малых | страница 56
Подкасательная — это проекция на ось X отрезка от места пересечения касательной с осью X до точки касания; на рисунке на следующей странице это отрезок АВ. Мы хотим, чтобы он был постоянным и был равен с. В этом доказательстве Лейбниц использовал то, что известно как характеристический треугольник, которым также пользовались Паскаль и Барроу, с катетами dx и dy, а в качестве гипотенузы — один из бесконечно малых отрезков, которые составляли кривую.
Отрезок BQ равен у. Поскольку треугольник ABQ подобен характеристическому треугольнику:
dy/dx = y/c,
то
dy/y = dx/c.
После интегрирования этого выражения получается
ln(y) = x/c.
Следовательно, кривые с постоянной подкасательной — это кривые, заданные функцией у = ex>/c, то есть экспоненциальные. Лейбниц так находил производную произведения:
"d(xy) — то же самое, что разность между двумя смежными ху, одно из которых равно ху, а другое — (х + dx) (у + dy). Тогда d(xy) = (x + dx)(y + dy)-xy = xdy + ydx + dxdy, и это равно xdy + ydx, если величину dxdy опустить, поскольку она бесконечно мала относительно остальных величин, так как dx и dy, предполагается, бесконечно малы".
Характеристический треугольник Лейбница, в котором появляются касательная к кривой и ее подкасательная.
Сегодня признается, что Ньютон был первым, кто разработал принципы анализа, а Лейбниц первым опубликовал результаты. Они оба пришли к нему независимо, базируясь на одном и том же фундаменте.
Уже в 1674 году Лейбниц мимоходом упоминал в письме Ольденбургу, что он нашел квадратуру круга с помощью открытого им общего метода. А в 1675 году ученый сообщал ему, что нашел метод для решения квадратур, который можно обобщить, но не сказал ничего более подробного. В том же самом году в Париж через Лондон приехал благородный саксонец Вальтер фон Чирнхаус с письмами от Ольденбурга для Лейбница и Гюйгенса. Фон Чирнхаус работал какое-то время с Лейбницем, например над рукописями Паскаля, которые потом пропали, и знаем мы о них теперь только благодаря Лейбницу. Было ясно, что Чирнхаус не испытывал никакого интереса к анализу бесконечно малых, поэтому он ни о чем не мог проинформировать Лейбница. Чирнхаус утверждал: все, сделанное Барроу и другими английскими математиками,— лишь ответвления от того, что привнес Декарт. Чтобы оспорить это мнение, Коллинз, библиотекарь Королевского общества, написал работу примерно на 50 страниц, известную как Historiola, в которой объяснял анализ, разработанный Барроу и Ньютоном. В 1675 году он послал отрывок Чирнхаусу и Лейбницу, хотя у последнего уже был разработан собственный анализ.