Смекни!
smekni.com

Основные понятия дифференциального исчисления и история их развития (Бакалавр) (стр. 7 из 9)

3. Исторические сведения о возникновении и развитии основных понятий.

В математике XVII в. самым большим достижением справедливо считается изобретение дифференциального и интегрального исчисления. Сформировалось оно в ряде сочинений Ньютона и Лейбница и их ближайших сотрудников и учеников. Введение в математику методов анализа бесконечно малых стало началом больших преобразований, быстро изменивших всё лицо математики и поднявших её роль в системе естественно научных знаний человечества.

Однако появление анализа бесконечно малых не было делом рук одного или нескольких учёных, их гениальной догадки. Оно в действительности было завершением длительного процесса, внутриматематическая сущность которого состояла в накоплении и выделении элементов дифференциального и интегрального исчисления и теории рядов.

Для создания исчисления бесконечно малых внутри математики XVII в. сложились достаточные предпосылки. Это были: наличие сложившейся алгебры и вычислительной техники; введение в математику переменной величины и координатного метода; усвоение инфинитезимальных идей древних, особенно Архимеда; накопление методов решения задач на вычисление квадратур, кубатур, определение центров тяжести, нахождение касательных, экстремалей и т.д.

3.1. Происхождение понятия определённого интеграла и инфинитезимальные методы Архимеда.

Понятие интеграла и интегральное исчисление возникли из потребности вычислять площади любых фигур и поверхностей и объёмы произвольных тем. Предыстория интегрального исчисления восходит к глубокой древности. Идея интегрального исчисления была древними учёными предвосхищена в большей мере, чем идея дифференциального исчисления.

Следует особо упомянуть об одном интегральном методе Архимеда, примененном в следующих его произведениях:

«О шаре и цилиндре», «О спиралях» и «О коноидах и сфероидах». В последнем произведении рассмотрены объёмы сегментов, получаемых при сечении плоскостью тел, образованных вращением вокруг оси эллипса, параболы или гиперболы.

В терминологии Архимеда «прямоугольный коноид» – это параболоид вращения, «тупоугольный коноид» – одна полость двуполостного гиперболоида вращения, «сфероид» – элипсоид вращения.

В XIX предложении своего произведения «О коноидах и сфероидах» Архимед доказывает следующую лемму: «Если дан сегмент какого–нибудь из коноидов, отсечённый перпендикулярной к оси плоскостью, или же сегмент какого–нибудь из сфероидов, не больший половины этого сфероида и точно также отсечённый, то можно вписать в него телесную фигуру и описать около него другую, состоящих из имеющих равную высоту цилиндров, и притом так, что описанная фигура больше вписанной на величину, меньшую любой наперёд заданной телесной величины.»

Эта лемма является ярким примером метода интегральных сумм, существо которого состоит в следующем: тело вращения разбивается на части и каждая часть аппроксимируется описанным и вписанным телами, объёмы которых можно вычислить. Сумма объёмов описанных тел будет больше, а сумма вписанных тел – меньше объёма тела вращения. Теперь остаётся выбрать аппроксимирующее сверху и снизу тела таким образом, чтобы разность их объёмов могла быть сделана сколь угодно малой. Это достигается выбором в качестве указанных тел соответствующих цилиндриков.

Архимед фактически вводит понятие интегральных сумм, верхних Vп и нижних vп и находит объём V полуэллипсоида, как общий предел этих сумм при п ® ¥. Так же он определяет объём сегментов параболоида и гиперболоида вращения. Выражаясь современным языком Архимед определил интегралы:

хdх = а2/2, х2 = а3/3, (х2 + вх) = а3/3 + а2в­/2

В своём произведении «О шаре и цилиндре» он определил интегралы:

1/2 sin j dj = 1, sin j dj = – cos a + 1.

Конечно у Архимеда нет ещё общих понятий предела и интеграла, нет и общего алгоритма интегрального исчисления. Приведённые и другие его выкладки всегда связаны с решением конкретных геометрических задач без указаний на то, что в основе всех их лежит один и тот же общий приём арифметического суммирования сколь угодно малых частей фигуры. Несмотря на то, что квадратура параболы и кубатура сфероида сводятся к определению одного и того же интеграла, Архимед пользовался для решения этих задач различными методами.

В виде примера метода интегральных сумм приведём решение Архимедом задачи вычисления объёма эллипсоида вращения в сочинении «О коноидах и сфероидах».

Итак, дано тело вращения АВС и телесная (объёмная) величина Е>0. Делим ВО на п равных частей и строим описанные и вписанные цилиндры, суммы объёмов которых, соответственно обозначим, Von и Vвn. Их разность равна объёму цилиндрика АА1, то есть, pа2(в/п), который подбором достаточно большего п может быть сделан сколь угодно малым.

Теперь предположим, что на данном рисунке изображён сегмент эллипсоида вращения и поставлена задача вычислить его объём. В таком случае

Vоп = p2 + ph(х1)2 + ph(х2)2 +ph(хп-1)2 =

= phåk)2, (х0 = 0)

Задача сведена к суммированию квадратов чисел. Далее Архимед производит геометрические преобразования, эквивалентные следующим аналитическим преобразованиям:

Так как х2/а2 + у2/в2 = 1, то х2 = а2/в2(в2 у2) и далее каждого сечения: (х1)2 = а2/в2(в2 h2),

(х2)2 = а2/в2(в2 – (2h)2),

…………………………,

(хп-1)2 = а2/в2(в2 – [(п–1)h]2),

откуда Vоп = åph(хk)2 = (p2)/в2[пв2 h2åJ2], где

J – последовательные натуральные числа. Для нахождение сумм квадратов последних Архимед применил геометрические оценки вида (п3h2)/3 < å(Jh)2 < ((п+1)3 h3)/3
откуда (так как пh = в)
(в3)/3 < å(Jh)2h < в3/3 + в3/п + в3/п2 + в3/3п3

что до известной степени эквивалентно оценке для ò х2

из этих оценок получается

Vоп = p(а2/в2)h [пв2 h2(п3/3)] = pа2в(1–1/3) = 2/3pа2в

Аналогично Vвп< 2/3pа2в.

Но так как согласно лемме, Vоп – Vвп< Е, то искомый объём сегмента

V < 2/3pа2в,

то есть, равен удвоенному объёму конуса с тем же основанием и высотой, что и сегмент.

Единственность предела доказывается, как и во всех других случаях, приведением к противоречию.

Приведённый пример показывает, что в античной математике сложился ряд элементов определённого интегрирования, в первую очередь построение верхних и нижних интегральных сумм, аналогичных до известной степени суммам Дарбу.

3.2. От Архимеда к Кеплеру и Кавальери.

Первые значительные попытки развития интеграционных методов Архимеда были предприняты в XVII в. одним из первых видных учёных, стремившихся к возрождению и развитию интеграционных методов, был Иоганн Кеплер.

1612 г. был для жителей австрийского города Линца, в котором жил тогда Кеплер, исключительно урожайным, особенно изобиловал виноград. Люди заготовляли винные бочки и хотели знать, как практически определять их объёмы. Этот вопрос как раз и входил в круг идей, которыми интересовался Кеплер. Так родилась его «Новая стереометрия винных бочек», вышедшая в свет в 1615 г.

Кеплер вычислил площади плоских фигур и поверхностей и объёмы тел, основываясь на идее разложения фигур и тел на бесконечное число бесконечно малых частей, которые он называл «тончайшими кружочками» или «частями крайне малой ширины»; из этих мельчайших частиц, суммированных им, он составляет фигуру, эквивалентную первоначальной, но площадь или объём которой ему известен.

Методы Кеплера в определении объёмов тел вращения, были нестрогими. Многие учёные посвятили свои работы усовершенствованию оперативной стороны этого предприятия. Наибольшую известность приобрела геометрия неделимых, изобретённая Кавальери. Делом его жизни, имевшим наибольшее значение для развития математики, был метод неделимых.

Метод неделимых изобретён для определения размеров плоских фигур и тел.

Как фигуры, так и тела представляются составленными их элементов, имеющих размерность на единицу меньше. Так, фигуры состоят из отрезков прямых, проведённых параллельно некой направляющей прямой, называемой регула. Этих воображаемых отрезков бесконечно много. Они заключены между двумя касательными, параллельными регуле. В геометрических телах неделимыми являются плоскости, параллельные некоторой плоскости. Их тоже бесконечно много; границами их совокупности служат две касательные плоскости, параллельные регуле.