Первые значительные попытки развития интеграционных методов Архимеда были предприняты в XVII в. одним из первых видных учёных, стремившихся к возрождению и развитию интеграционных методов, был Иоганн Кеплер.
1612 г. был для жителей австрийского города Линца, в котором жил тогда Кеплер, исключительно урожайным, особенно изобиловал виноград. Люди заготовляли винные бочки и хотели знать, как практически определять их объёмы. Этот вопрос как раз и входил в круг идей, которыми интересовался Кеплер. Так родилась его «Новая стереометрия винных бочек», вышедшая в свет в 1615 г.
Кеплер вычислил площади плоских фигур и поверхностей и объёмы тел, основываясь на идее разложения фигур и тел на бесконечное число бесконечно малых частей, которые он называл «тончайшими кружочками» или «частями крайне малой ширины»; из этих мельчайших частиц, суммированных им, он составляет фигуру, эквивалентную первоначальной, но площадь или объём которой ему известен.
Методы Кеплера в определении объёмов тел вращения, были нестрогими. Многие учёные посвятили свои работы усовершенствованию оперативной стороны этого предприятия. Наибольшую известность приобрела геометрия неделимых, изобретённая Кавальери. Делом его жизни, имевшим наибольшее значение для развития математики, был метод неделимых.
Метод неделимых изобретён для определения размеров плоских фигур и тел.
Как фигуры, так и тела представляются составленными их элементов, имеющих размерность на единицу меньше. Так, фигуры состоят из отрезков прямых, проведённых параллельно некой направляющей прямой, называемой регула. Этих воображаемых отрезков бесконечно много. Они заключены между двумя касательными, параллельными регуле. В геометрических телах неделимыми являются плоскости, параллельные некоторой плоскости. Их тоже бесконечно много; границами их совокупности служат две касательные плоскости, параллельные регуле.
Совокупность всех неделимых, вводимая Кавальери, по существу вводит понятие определённого интеграла. Совокупность геометрии неделимых можно сформулировать так: плоские фигуры и тела относятся друг к другу, как все их неделимые, взятые вместе; если неделимые находятся в одном и том же отношении друг к другу, то отношение площадей соответствующих фигур (или объёмов тел) равно этому отношению.
Эти утверждения практически эквивалентны современным умозаключениям типа: даны две фигуры, ограниченные осью х, прямыми х = а и х = в и соответственно у1 = f1(х) и у2 = f2(х). (рис 7).
|
|
S1/S2 = å у1k / å у2k = f1(х)dх / f2(х)dх
Если у1k / у2k = а = const, для любого k, то и S1/S2 = k.
 |
Кавальери доказал теорему: Сумма квадратов неделимых параллелограмма втрое больше суммы квадратов неделимых треугольника, образованного в результате проведения диагонали (рис. 8).
Введём для краткости обозначения: АС = а, RT = x, TV = y, RS = а/2 = в, ST = z. Тогда х = в + z, у = в – z и сумма квадратов частей неделимых х2 + у2 = 2в2 + 2z2.
Суммируем все неделимые, обозначив сумму квадратов неделимых символом [ ]:
[AEC] + [CGE] = 2[ABFE] + 2[BCM] + 2[FEM].
Заметим, что
[AEC] = [CGE]; [ABFE] = 1/4[ACGE];
[BCM] = [FEM] = 1/8[ACE],
что нетрудно понять, вообразив над каждым линейным элементом квадрат и рассматривая их совокупности. Следовательно, [ACE] = 1/4[ACGE] + 1/8[ACE] + 1/8[ACE]; [ACE] = 1/3[ACGE].
В переводе на язык интегрального исчисления Кавальери доказал, что
х2dх = 1/3 а2dх
или иначе:
|
|
|
Эту теорему Кавальери сумел обобщить на случай суммирования более высоких степеней неделимых, вплоть до девятой, решив таким образом группу задач, эквивалентных вычислению определённых интегралов вида:
хпdх , для п = 1, …, 9.
Теорема Паскаля.
Среди последователей Кавальери самыми видными учёными, подготавливавшими создание интегрального и дифференциального исчисления, были Дж.Валлик, П.Ферма, Б.Паскаль.
|
Вычислением интегралов от степеней хr, или, как говорили в то время, квадратурой «парабол» у = хr, где r – рациональное число, П.Ферма занимался ещё в 1644 г. позже Ферма изложил общую теорию всех различных случаев.
Ещё более чётко понятие определённого интеграла выступает в трудах Б.Паскаля. все его усилия были направлены на уточнение метода неделимых. Попытка уточнения состоит в том, что он сумму всех неделимых понимал как сумму элементарных площадок, образуемых бесконечно близкими, одинаково отстоящими друг от друга ординатами, ограниченными отрезком оси абсцисс и кривой (то есть сумму вида åуdх). В ряде задач он вводил сумму всех синусов, определяя её как сумму произведений ординат на элементы дуги (åуds), которая в случае окружности единичного радиуса оправдывает своё название (åsin jd j).
Для примера рассмотрим следующую теорему из «Трактата о синусе четверти круга» (1658) Паскаля:
 |
Сумма синусов какой–нибудь дуги (BF) четверти круга (рис. 9) равна отрезку основания (АО) между крайними синусами, умноженному на радиус (АВ).
Дуга BF делится на равные части, отмеченные точками из которых из которых проводятся синусы DI. Точки пересечения касательных к дуге окружности в точках D обозначены точками Е; из последних затем опускаются перпендикуляры ER.
Предварительно Паскаль указывает, что
DI . EE = RR . AB (1)
Действительно (рис. 10), из подобных прямоугольников DIA и EKE (ÐЕЕК = ÐDAI) следует:
AD/DI = EE/EK
Ввиду того, что AB = AD, получаем равенство (1).
«Я утверждаю, — пишет после этого Паскаль, — что сумма синусов DI каждого умноженного на одну из равных дуг DD, равна прямой АО умноженной на радиус АВ». Заменяя каждую касательную ЕЕ дугой DD, Паскаль получает в левой части равенства (1) «сумму синусов», а в правой произведение АВ на сумму отрезков RR, то есть, на АО. Итак, теорема доказана. Отождествление дуги DD с отрезком касательной Паскаль только подразумевает.
Чтобы перевести доказательство Паскаля на современный язык введём соответствующую систему декартовых координат, обозначим «синус DI» через у, элемент дуги DD – через ds, дифференциал независимого переменного – через dх, радиус АВ – через r. Тогда равенство (1) можно записать так:
уds = rdх
Интегрируя согласно содержанию теоремы Паскаля, получим:
уds = rdх. (2)
Более сложный интеграл, стоящий в левой части этого равенства, сводится таким образом к более простому интегралу правой части, равному rx, а для целой четверти r2.
Положим r = 1 и введём угол DAB = Ð ADI = j. Тогда (рис. 10)
S = rj = j, у = DI = AD cos j = cos j, х = sin j.
Равенство (2) даёт:
cos j dj = х = sin j.
На рассмотренном выше DЕЕК Лейбниц построил своё дифференциальное исчисление и назвал его характеристическим.
Дата: 2019-12-22, просмотров: 263.
