Пусть f и g - абсолютно непрерывные[1] функции на отрезке [a,b]. Тогда
∫abf′(x)g(x)dx=f(b)g(b)−f(a)g(a)−∫abf(x)g′(x)dx
Доказательство