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

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

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

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

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

Действительно, запишем приращение функции , соответствующее приращению аргумента и воспользуемся пятым свойством определенного интеграла и следствием из десятого свойства:

где .

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

Вычислим F(a), используя первое свойство определенного интеграла: , следовательно, . Воспользуемся этим результатом при вычислении F(b): , то есть . Это равенство дает доказываемую формулу Ньютона-Лейбница .

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

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

Пример.

Вычислить значение определенного интеграла по формуле Ньютона-Лейбница.

Решение.

Для начала отметим, что подынтегральная функция непрерывна на отрезке [1;3], следовательно, интегрируема на нем. (Об интегрируемых функциях мы говорили в разделе функции, для которых существует определенный интеграл).

Из таблицы неопределенных интегралов видно, что для функции множество первообразных для всех действительных значений аргумента (следовательно, и для ) записывается как . Возьмем первообразную при C = 0: .

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

Теорема о замене переменной:

Если:

1)Функция и её производная непрерывна на

2)Множеством значений функции при является отрезок

3) и

То

Доказательство:

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