Par opération de fonctions dérivables, u×v est dérivable sur [a ;b] et (u×v)′=u′v+uv′. Donc, pour tout réel x∈[a ;b], on a (u×v)′(x)=(u′v+uv′)(x).
u et v sont des fonctions dérivables sur [a ;b] et sont donc continues.
Par opérations sur les fonctions continues, (uv)′, u′v, uv′ et u′v+uv′ sont continues sur [a ;b]. Elles admettent donc des primitives.
On obtient ∫ab(uv)′(x)dx=∫ab[(u′v)(x)+(uv′)(x)]dx soit [(uv)(x)]ab=∫ab(u′v)(x)dx+∫ab(uv′)(x)dx, par linéarité de l'intégrale.
D'après l'égalité précédente, on écrit ∫ab(u′v)(x)dx=[(uv)(x)]ab−∫ab(uv′)(x)dx.