Home
Random
Log in
Settings
Donate
About Wikiversity
Disclaimers
Search
Integration/Substitution/dx version/Fact/Proof
Language
Watch
Edit
<
Integration/Substitution/dx version/Fact
Proof
Because of
fact
, we have
∫
φ
−
1
(
a
)
φ
−
1
(
b
)
f
(
φ
(
s
)
)
φ
′
(
s
)
d
s
=
∫
φ
(
φ
−
1
(
a
)
)
φ
(
φ
−
1
(
b
)
)
f
(
t
)
d
t
=
∫
a
b
f
(
t
)
d
t
.
{\displaystyle {}\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\,.}
To fact