В своих исследованиях Паскаль преодолел подобные противоречия: он рассматривал неделимые как однородные с измеряемым объектом бесконечно малые величины, из которых и составлялись интегральные суммы. Для демонстрации приемов Паскаля приведем простой пример, упоминаемый французским исследователем его научного творчества Умбертом. Предположим, что необходимо определить площадь криволинейной трапеции АВСД, составленной прямой AB, перпендикулярами к ней АС и ВД и кривой линией СД (см. рис. 4).
На оси AB берется ряд близко расположенных друг к другу точек A1, A2, A3..., из которых проводятся перпендикуляры к AB до пересечения с СД в точках C1, С2, С3... Из этих точек проводятся отрезки CC'1, С1С'2, С2С'3..., параллельные AB. Если подсчитать и просуммировать площади прямоугольников ACC'1A1, A1C1C'2A2, А2С2С'3А3..., то получится приближенное значение искомой площади, отличающееся от нее на сумму площадей криволинейных треугольников CC1C'1, С1С2С'2, С2С3С'3... (заштрихованных на чертеже). Если же предположить, что точки разделения A1, A2, A3... на AB будут бесконечно увеличиваться в количестве и, следовательно, все более сближаться друг с другом, то получаемые бесконечно узкие прямоугольники и будут неделимыми Паскаля (маленькие заштрихованные треугольники в данном случае уменьшаются и как бы стремятся «раствориться» в кривой СД).
Но Паскаль, пишет Умберт, не удовлетворяется простым интуитивным решением: «Он доказывает строгими методами, что сумма площадей этих маленьких треугольников совсем не влияет на общий результат и ею можно пренебречь, ибо она бесконечно мала по сравнению с суммой площадей прямоугольников. Следовательно, для определения искомой поверхности следует подсчитать сумму площадей этих прямоугольников. Каждая из них в отдельности является бесконечно малой величиной (так как основание каждого прямоугольника бесконечно мало), но число прямоугольников бесконечно велико. Таким образом, речь идет о подсчете сумм бесконечно большого количества бесконечно малых величин, то есть о том, что современные математики называют интегрированием. Интегральное исчисление, по крайней мере в своем начале, было искусством подсчета этих сумм и вычисления с их помощью площадей и объемов».
В работах, связанных с циклоидой, Паскаль сделал шаг вперед по сравнению со своими предшественниками на пути дальнейшего совершенствования и обобщения методов интегрирования. Он преобразовал понятие совокупности Кавальери в понятие суммы. При этом, как пишет известный немецкий историк математики Вилейтнер, Паскаль проводил отчетливое различие между неделимыми и элементарными частями и «существенно более общим образом толковал понятие равенства фигур, чем это позволяло употребительное до того определение Евклида. Именно он считал равными две фигуры, если различие между ними меньше любой данной величины. Паскаль с полной ясностью проник в существо интеграционного процесса, заметив, что всякое интегрирование приводится к определению некоторых арифметических сумм. Паскаль подошел к определению интеграла ближе всех своих современников».
Применяя метод неделимых к различным величинам, преобразуя одни виды суммирования в другие, Паскаль в геометрической форме получил фундаментальные результаты, относящиеся к так называемым криволинейным в двойным интегралам, с помощью наглядных конкретных примеров и ясных доказательств, искусного использования приемов современной ему и античной математики упорядочил многие интеграционные проблемы, освободив их от нечетких и приблизительных решений. До прямого открытия интегрального исчисления Паскалю оставалось сделать лишь шаг — определить формальные операции интегрирования и дать его особый вычислительный алгоритм. Но Паскаль этого шага не сделал. Как и прежде, помешали его «геометризм» и антиалгебраическая настроенность, использование прямых конкретных методов. Поэтому славу первооткрывателей интегрального и дифференциального исчисления делят между собой Ньютон и Лейбниц, хотя некоторые исследователи и причисляют Паскаля к ним, исходя из возможности легкого перевода исключительно геометрических рассуждений Блеза на абстрактный язык анализа бесконечно малых.
О возможности такого перевода и извлечения алгоритма из математических трудов Паскаля свидетельствует и признание Лейбница, которое относится к «Трактату о синусах четверти круга» Блеза, связанному с исследованием циклоиды. В 1673 году по совету Гюйгенса немецкий философ познакомился с этим трактатом и, как он сам замечает, был внезапно озарен новым светом. Особое внимание Лейбница привлек чертеж с бесконечно малым треугольником, используемым Блезом для преобразования интегральных сумм. Лейбниц назвал этот треугольник характеристическим, увидев в нем один из основных элементов дифференциального исчисления, и с его помощью подошел к формулировке самих принципов этого исчисления.
Пусть нам дана, пишет Паскаль в лемме «Трактата...», четверть круга ABC (см. рис. 5),
где радиус AB рассматривается как ось, а радиус АС — как основание. Возьмем на дуге окружности произвольную точку Д, из которой на основание проводится линия синуса ДI и радиус АД и через которую проходит также касательная ЕЕ'. Из точек E и E' на основание АС опускаются перпендикуляры ER и E'R'. Затем Паскаль строит треугольник ЕКЕ' (данный треугольник Лейбниц и назвал характеристическим), который подобен треугольнику ДIА. Это подобие дает ему пропорцию:
AD/DI= EE1/ЕК,
в которой отношение бесконечно малых величин (EE1/EK) выражено отношением конечных величин AD/DI, и равенство:
ДIxЕЕ' = АДxЕК, илиДIxЕЕ' = АДxRR'.
Если же разделить какую-либо дугу четверти круга на малые части и заменить отрезки касательных эквивалентными им при переходе к пределу малыми дугами, то при интегрировании обеих частей этого равенства получается теорема, которая в «Трактате...» Паскаля звучит так: «Сумма синусов какой-либо дуги четверти круга равна отрезку основания между крайними синусами, умноженному на радиус».
«Лейбниц, — пишет советский историк математики И. Б. Погребысский, рассматривая характеристический треугольник Паскаля, — сразу заметил, что это построение и связанный с ним переход от отношения бесконечно малых величин к отношению величин конечных справедливы для любой кривой. Надо только рассматривать АД не как радиус, а как отрезок нормали к кривой, проведенный до пересечения с основанием (осью абсцисс). Это было важным шагом на пути к созданию дифференциального исчисления: характеристический треугольник при переходе к пределу, когда его катеты (^ х и ^ у) становятся бесконечно малыми (dx и dy), остается все время подобным конечному треугольнику, что позволяет уверенно действовать с отношением dy/dx.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102