С помощью теоремы 2.2 выведем основную формулу интегрального исчисления – формулу Ньютона-Лейбница. Эта формула дает способ вычисления определенного интеграла через первообразную от подынтегральной функции, не прибегая к составлению интегральной суммы и к вычислению ее предела.
Теорема 2.3. Если
есть какая-либо первообразная от непрерывной на отрезке
функции
, то справедлива формула Ньютона-Лейбница:
.
Доказательство. По теореме 2.2 функция
является первообразной от функции
на отрезке
, т.е.
.
Определим постоянную С, подставляя в это равенство значение
и используя свойство 5 определенного интеграла:
, так как
.
Тогда
.
Полагая в полученном равенстве
и затем заменяя переменную интегрирования t на x, получаем формулу Ньютона-Лейбница.
Пример
.