Существование первообразной

Определение 28.9: Пусть - интегрируема на , , тогда: функция интегрируема на и функция называется интегралом с переменным верхним пределом, аналогично функция - интеграл с переменным нижним пределом.

Теорема 28.6: Если функция - непрерывна на , то у неё существует на первообразная, одна из которых равна: , где . Замечание 1: Из дифференцируемости функции следует её непрерывность, т.е. Замечание 2: Поскольку - одна из первообразных , то по определению неопределённого интеграла и теореме о разности первообразных: . Это связь между определённым и неопределённым интегралами