Пусть функция y = f(x) непрерывна на отрезке [a; b] и F(x) - одна из первообразных функции на этом отрезке, тогда справедлива формула Ньютона-Лейбница: формула.
Формулу Ньютона-Лейбница называют основной формулой интегрального исчисления.
Для доказательства формулы Ньютона-Лейбница нам потребуется понятие интеграла с переменным верхним пределом.
Если функция y = f(x) непрерывна на отрезке [a; b], то для аргумента формула интеграл вида формула является функцией верхнего предела. Обозначим эту функцию формула, причем эта функция непрерывная и справедливо равенство формула.
Действительно, запишем приращение функции формула, соответствующее приращению аргумента формула и воспользуемся пятым свойством определенного интеграла и следствием из десятого свойства:
формула
где формула.
Перепишем это равенство в виде формула. Если вспомнить определение производной функции и перейти к пределу при формула, то получим формула. То есть, формула - это одна из первообразных функции y = f(x) на отрезке [a; b]. Таким образом, множество всех первообразных F(x) можно записать как формула, где С – произвольная постоянная.
Вычислим F(a), используя первое свойство определенного интеграла: формула, следовательно, формула. Воспользуемся этим результатом при вычислении F(b): формула, то есть формула. Это равенство дает доказываемую формулу Ньютона-Лейбница формула.
Приращение функции принято обозначать как формула. Пользуясь этим обозначением, формула Ньютона-Лейбница примет вид формула.
