другая первообразная непрерывной функции то (см. теорему 9.5). Положим в последней формуле сначала , а затем . Как мы условились (см. п. 1 предыдущего параграфа), для любой функции, принимающей конечное значение в точке а, поэтому . Отсюда
и нами получена основная формула интегрального исчисления. Сформулируем ее в виде теоремы.
Теорема (основная теорема интегрального исчисления). Для того чтобы вычислить определенный интеграл по сегменту от непрерывной функции следует вычислить значение произвольной ее первообразной в точке Ь и в точке а и вычесть из первого значения второе.
Теперь мы имеем правило вычисления определенного интеграла от широкого класса интегрируемых функций. Задача вычисления определенного интеграла свелась к задаче нахождения первообразной непрерывной функции. Естественно, что не для всякой функции найти первообразную просто. Мы уже неоднократно указывали функции, первообразные которых не выражаются через элементарные функции (см. например, этого параграфа). В этом случае, естественно, возникает вопрос о приближенном вычислении определенных интегралов, о чем пойдет речь ниже.
Основную формулу интегрального исчисления часто записывают в форме Где введено обозначение