3. Дифференцирование определенного интеграла по верхнему пределу.
Если функция
интегрируема на отрезке
то она интегрируема на любой части этого отрезка и потому при любом
существует интеграл
Чтобы не
Рис. 12
Рис. 13
Так как функция
непрерывна, а при
будет с
то
Поэтому
что и требовалось доказать.
Из доказанного утверждения вытекает, что если функция
непрерывна на отрезке
то она имеет на этом отрезке первообразную, а именно функцию
Поэтому доказанная теорема носит название теоремы о существовании первообразной для непрерывной функции.
Пример 1. Найдем производную функции
Решение.
Пример 2. Найдем производную функции
Решение. В данном случае верхний предел является функцией от
поэтому воспользуемся правилом дифференцирования сложной функции: