Получение формул

[править]Для неопределённого интеграла

Функции и гладкие, следовательно, возможно дифференцирование:

Эти функции также непрерывны, значит можно взять интеграл от обеих частей равенства:

Операция интегрирования обратна дифференцированию:

После перестановок:

Не стоит, однако, забывать, что это равенство подразумевается в смысле равенства множеств, то есть, грубо говоря, с точностью до константы, возникающей во время интегрирования.

Типичную ошибку «потери» константы при обращении с неопределенным интегралом иллюстрирует следующий пример-софизм:

Отсюда «следствие»: , что очевидно неверно.

[править]для определённого интеграла

В целом аналогично случаю неопределённого интеграла: