Функция
называется первообразной функции
, если выполняется условие:
.
Теорема. Если
и
две первообразные одной и той же функции
, то они отличаются не более, чем на константу, то есть
.
Следствие. Если
- одна из первообразных функции
, то любая другая первообразная имеет вид
.
Совокупность всех первообразных функции
называется неопределенным интегралом от
и обозначается
, здесь
называется подынтегральной функцией, а
- подынтегральным выражением.
Таким образом, окончательно
=
.






