ГЛАВА VI. ИНТЕГРАЛ
§ 1. Определение интеграла и описание множества интегрируемых функций
1. Задача и наводящие соображения.
Пусть точка движется вдоль числовой оси, — ее координата в момент — ее скорость в тот же момент Предположим, что мы знаем положение точки в момент и к нам поступают данные о ее скорости. Располагая ими, мы хотим вычислить для любого фиксированного значения
Если считать скорость меняющейся непрерывно, то смещение точки за малый промежуток времени приближенно можно вычислить как произведение скорости в произвольный момент относящийся к этому промежутку времени, на величину самого промежутка. Учитывая это замечание, разобьем отрезок отметив некоторые моменты так, что и так, что промежутки малы. Пусть тогда имеем приближенное равенство
По нашим представлениям, это приближенное равенство будет уточняться, если переходить к разбиениям отрезка на всё более мелкие промежутки. Таким образом, надо полагать, что в пределе, когда величина А наибольшего из промежутков разбиения стремится к нулю, получим точное равенство
Это равенство есть не что иное, как фундаментальная для всего анализа формула Ньютона—Лейбница. Она позволяет, с одной стороны, численно
находить первообразную по ее производной с другой стороны, по найденной каким-либо способом первообразной функции найти стоящий слева предел сумм
Такие суммы, называемые интегральными суммами, встречаются в самых разнообразных случаях.
Попробуем, например, следуя Архимеду, найти площадь под параболой над отрезком [0,1] (рис. 47). Не останавливаясь здесь на подробном обсуждении понятия площади фигуры, о котором речь будет идти несколько позже, мы, как и Архимед, будем действовать методом исчерпания фигуры посредством простейших фигур — прямоугольников, площади которых мы вычислять умеем. Разбив отрезок [0,1] точками на мелкие отрезки мы, очевидно, можем приближенно вычислить искомую площадь а как сумму площадей изображенных на рисунке прямоугольников:
здесь Полагая мы перепишем полученную формулу в виде
Рис. 47
В этих обозначениях в пределе будем иметь
где, как и выше, А — длина наибольшего из отрезков разбиения.
Формула (2) только обозначениями отличается от формулы (1). Забыв на миг о геометрическом смысле и считая х временем, скоростью, найдем первообразную функции и тогда по формуле (1) получим, что
В нашем случае поэтому
Это и есть результат Архимеда, который он получил прямым вычислением предела в (2).
Предел интегральных сумм называется интегралом. Таким образом, формула (1) Ньютона—Лейбница связывает интеграл и первообразную.
Перейдем теперь к точным формулировкам и проверке того, что на эвристическом уровне было получено выше из общих соображений.