Integration/Substitutionsregel/dx Version/Fakt/Beweis

Beweis

Nach Fakt ist

${}\int _{\varphi ^{-1}(a)}^{\varphi ^{-1}(b)}f(\varphi (s))\varphi '(s)\,ds=\int _{\varphi {\left(\varphi ^{-1}(a)\right)}}^{\varphi {\left(\varphi ^{-1}(b)\right)}}f(t)\,dt=\int _{a}^{b}f(t)\,dt\,.$

Zur bewiesenen Aussage