Формула Ньютона-Лейбница
Непосредственное вычисление определённого интеграла по формуле (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). Случай сводится к соотношению . ■