Es sei f : [a,b]→R integrierbar über dem Interval [a,b] und φ : R→[a,b] irgendeine differenzierbare Funktion.
a∫bf(φ(x))φ′(x)dx=φ(a)∫φ(b)f(x)dx
Beweis: Sei F(x) eine Stammfunktion von f(x), i.e. F′(x)=f(x). Mit der Kettenregel ergibt sich
dxdF(φ(x))=f(φ(x))φ′(x)
Das bedeutet für widerum
a∫bf(φ(x))φ′(x)dx=F(φ(b))−F(φ(a))=φ(a)∫φ(b)f(x)dx