Пусть функция
определена на отрезке
Произведем разбиение (см. Р5)

отрезка
на частичные отрезки
и выберем произвольно точки
Вычислим значения
и составим так называемую интегральную сумму

Определение 3. Если существует конечный предел интегральных сумм:

и если этот предел не зависит от вида разбиения
и выбора точек
то его называют определенным интегралом от функции
на отрезке
Обозначение:
При этом саму функцию
называют интегрируемой на отрезке 
(заметим, что число
называется диаметром разбиения
).
Пусть теперь функция
По разбиению
строится ступенчатая фигура (см. Р6), состоящая из прямоугольников
высоты
и длиной основания, равной
Площадь этой ступенчатой фигуры (достройте ее самостоятельно) равна интегральной сумме
и эта площадь будет приближенно равна площади криволинейной трапеции[3]
т.е.
причем это равенство будет тем точнее, чем меньше диаметр разбиения
и оно становится точным при 

Мы пришли к следующему геометрическому смыслу определенного интеграла:
интеграл
численно равен площади
криволинейной трапеции
с верхней границей, описываемой уравнением 

Замечание 3. В определении 3 интеграла
предполагается, что отрезок интегрирования ориентирован от
до
(т.е.
). В случае противоположной ориентации отрезка 
(т.е. при
) полагаем по определению
Также полагаем по определению, что 
Перейдем к формулировке свойств определенного интеграла.
Ограниченность подынтегральной функции. Если функция
интегрируема на отрезке
то она ограничена на этом отрезке (т.е.
).
Линейность интеграла. Если функции
и
интегрируемы на отрезке
то на этом отрезке интегрируема и любая их линейная комбинация
и имеет место равенство 
Аддитивность интеграла. Если функция
интегрируема на максимальном из отрезков
то она интегрируема и на двух других отрезках, причем имеет место равенство 
Далее везде предполагаем, что 
Монотонность интеграла. Если функции
и
интегрируемы на отрезке
и
то 
Интегрируемость модуля. Если функции
интегрируема на отрезке
то на этом отрезке интегрируема и функция
причем имеет место неравенство

Теорема о среднем для интеграла. Пусть функция
непрерывна на отрезке
Тогда существует точка
такая, что
(геометрический смысл этой теоремы состоит в том, что существует прямоугольник с основанием
и высоты
равновеликий криволинейной трапеции
) .
Доказательство. Пусть
(по теореме Вейерштрасса значения
и
функцией
достигаются). Имеем
поэтому из свойства монотонности интеграла отсюда получаем

Последние неравенства показывают, что значение
является промежуточным для функции
на отрезке
а, значит, по теореме Больцано-Коши существует
такое, что

Теорема доказана.
Лекция 6. Интеграл с переменным верхним пределом. Формула Ньютона-Лейбница. Замена переменных и интегрирование по частям в определенном интеграле. Интегрирование дробно-рациональных функций
Вычисление определенного интеграла можно свести к вычислению неопределенного. Соответствующая формула носит название формулы Ньютона-Лейбница. Для ее вывода необходимо изучить сначала свойства интеграла с переменным верхним пределом, к описанию которого мы переходим.