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