Формула Ньютона-Лейбница
Непосредственное вычисление определённого интеграла по формуле (25.1) связано с трудностями, интегральные суммы имеют громоздкий вид и их нелегко преобразовать. Ньютон и Лейбниц доказали теорему, связывающую два важных понятия математического анализа –интеграла и производной.
♦ Теорема 25.1 (формула Ньютона-Лейбница).
(25.2)
Здесь
– произвольная непрерывная на
функция,
– какая-либо её первообразная на 
.
Доказательство. Пусть R – произвольное разбиение
отрезка
на части. Тогда

.
Отсюда следует формула (25.2). ■
25.3. Свойства определённого интеграла
♦ Теорема 25.2. 1) Если M – постоянная, то
.
Доказательство. 

. ■
♦2) Аддитивное свойство определённого интеграла. Если функция
интегрируема на каждом из отрезков
, 
, то она интегрируема на
и
. (25.3)
Доказательство. Зададим произвольное разбиение отрезка
:
. Пусть
,
,
.
, то есть
. Пусть
, тогда
,
и подавно. Следовательно,
.
Это равенство верно для любых разбиений R. Следовательно, интеграл
существует и имеет место формула (25.3). ■
♦3) По определению
;
.
Доказательство. 
. ■
♦ Теорема 25.3. Если функции
и
интегрируемы на отрезке
и A, B – произвольные числа, то
. (25.4)
В частности, при 
, то есть постоянный множитель можно выносить за знак определённого интеграла.
Доказательство. Для разбиения R имеем:
.
Переходим к пределу при
и получаем (25.4). ■
♦ Теорема 25.4. Если функции
и
интегрируемы на отрезке
и
, то
. (25.5)
Доказательство. Для любого разбиения R:
, так как
. После перехода к пределу при
получим (25.5). ■
♦ Теорема 25.5. Если функции
и
интегрируемы на отрезке
, то при 
. (25.6)
Если a не обязательно меньше b, то
. (25.7)
Доказательство.
для
. По теореме 25.4
,
.
,
откуда получаем
, то есть формулу (25.6).
Если
, то правые части формул (25.6) и (25.7) равны. Если
, то
,
то есть получаем формулу (25.7). Случай
сводится к соотношению
. ■