Формула Ньютона-Лейбница

Формула Ньютона-Лейбница дает практически удобный метод вычисления определенных интегралов в том случае, когда известна первообразная подынтегральной функции.

Теорема. Если – одна из первообразных непрерывной на отрезке функции , то справедлива следующая формула Ньютона-Лейбница:

. (4.1)

Доказательство. Доказательство проведем, используя свойство 7. обозначим определенный интеграл с переменным верхним пределом через функцию , т.е. . Тогда в силу свойства 7 можно записать . Следовательно, является одной из первообразных для интеграла . Так как, все первообразные отличаются на постоянную, то имеет место равенство , , где – некоторое число. Подставляя в это равенство значение , имеем , т.е. длялюбого имеем . Полагая , получаем соотношение . Обозначим разность . Тогда формулу Ньютона-Лейбница можно записать в виде . Теорема доказана.

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

Пример. Вычислить .

Решение. Взяв неопределенный интеграл и воспользовавшись формулой (4.1), решаем:

.

Ответ: .