Differentiating,
using
fact
and
fact ,
yields
(
y
f
−
1
(
y
)
−
F
(
f
−
1
(
y
)
)
)
′
=
f
−
1
(
y
)
+
y
1
f
′
(
f
−
1
(
y
)
)
−
f
(
f
−
1
(
y
)
)
1
f
′
(
f
−
1
(
y
)
)
=
f
−
1
(
y
)
.
{\displaystyle {}{\begin{aligned}{\left(yf^{-1}(y)-F{\left(f^{-1}(y)\right)}\right)}'&=f^{-1}(y)+y{\frac {1}{f'(f^{-1}(y))}}-f{\left(f^{-1}(y)\right)}{\frac {1}{f'{\left(f^{-1}(y)\right)}}}\\&=f^{-1}(y).\end{aligned}}}
◻
{\displaystyle \Box }
The graph with its inverse function, and the areas relevant for the computation of the integral of the inverse function.
f
:
[
a
,
b
]
→
R
+
{\displaystyle {}f\colon [a,b]\rightarrow \mathbb {R} _{+}}
[
a
,
b
]
{\displaystyle {}[a,b]}
[
f
(
a
)
,
f
(
b
)
]
{\displaystyle {}[f(a),f(b)]}
∫
a
b
f
(
s
)
d
s
+
∫
f
(
a
)
f
(
b
)
f
−
1
(
t
)
d
t
=
b
f
(
b
)
−
a
f
(
a
)
,
{\displaystyle {}\int _{a}^{b}f(s)\,ds+\int _{f(a)}^{f(b)}f^{-1}(t)\,dt=bf(b)-af(a)\,,}
or, equivalently,
∫
f
(
a
)
f
(
b
)
f
−
1
(
t
)
d
t
=
b
f
(
b
)
−
a
f
(
a
)
−
∫
a
b
f
(
s
)
d
s
.
{\displaystyle {}\int _{f(a)}^{f(b)}f^{-1}(t)\,dt=bf(b)-af(a)-\int _{a}^{b}f(s)\,ds\,.}
For the primitive function
G
{\displaystyle {}G}
f
−
1
{\displaystyle {}f^{-1}}
f
(
a
)
{\displaystyle {}f(a)}
F
{\displaystyle {}F}
f
{\displaystyle {}f}
G
(
y
)
=
∫
f
(
a
)
y
f
−
1
(
t
)
d
t
=
∫
f
(
a
)
f
(
f
−
1
(
y
)
)
f
−
1
(
t
)
d
t
=
f
−
1
(
y
)
f
(
f
−
1
(
y
)
)
−
a
f
(
a
)
−
∫
a
f
−
1
(
y
)
f
(
s
)
d
s
=
y
f
−
1
(
y
)
−
a
f
(
a
)
−
F
(
f
−
1
(
y
)
)
+
F
(
a
)
=
y
f
−
1
(
y
)
−
F
(
f
−
1
(
y
)
)
−
a
f
(
a
)
+
F
(
a
)
,
{\displaystyle {}{\begin{aligned}G(y)&=\int _{f(a)}^{y}f^{-1}(t)\,dt\\&=\int _{f(a)}^{f(f^{-1}(y))}f^{-1}(t)\,dt\\&=f^{-1}(y)f(f^{-1}(y))-af(a)-\int _{a}^{f^{-1}(y)}f(s)\,ds\\&=yf^{-1}(y)-af(a)-F(f^{-1}(y))+F(a)\\&=yf^{-1}(y)-F(f^{-1}(y))-af(a)+F(a),\end{aligned}}}
where
−
a
f
(
a
)
+
F
(
a
)
{\displaystyle {}-af(a)+F(a)}
![{\displaystyle {}f\colon [a,b]\rightarrow [c,d]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e8faf8fddce81ed3f3c24cfe4ab39689bbb08c)
![{\displaystyle {}f\colon [a,b]\rightarrow \mathbb {R} _{+}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8c738d85af0f368551ae42c888f23155f280ec0)
![{\displaystyle {}[a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e5a6e660b5cdc1a9c76f6e6b0d486328c3f6937)
![{\displaystyle {}[f(a),f(b)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f141aa192b2c226a55d1b336a87b57a0074fa294)
