Пусть
- первообразная для функции
, то есть
. (11)
Тогда
. (12)
Действительно, по определению, неопределенный интеграл от функции
по аргументу
равен:
.
Так как
то, разделив обе части приведенного выше соотношения на а, получим формулу (12).
Пример 1.
.
Пример 2. 
.
Пример 3. 