Hay un bonito cálculo visual de la antiderivada de una función inversa: $$F(x) := \int_0^x f^{-1}(t) dt$$ es una antiderivada para $f^{-1}(x)$ y para $x = a$ , $F(a)$ es igual a la zona verde de la imagen siguiente † :
Si pudiéramos averiguar la zona azul, estaríamos listos, porque
\begin{align*} \text{ (green area) } &= \text{ (rectangle area) } - \text{ (blue area) } \\ F(a) &= af^{-1}(a) - \text{ (blue area) }.\ \end{align*}
Pero si reflejamos esta imagen a través de la línea $y = x$ vemos que el área azul es sólo la antiderivada de $f$ , a saber $g(x) := \int_0^x f(t) dt$ evaluado en $f^{-1}(a)$ :
Así que obtenemos $$\text{ (blue area) } = g(f^{-1}(a)),$$
y al introducir esto, obtenemos que $F(a)$ es igual a la segunda de las cuatro opciones:
\begin{align*} F(a) &= af^{-1}(a) - \text{ (blue area) } \\ &= af^{-1}(a) - g(f^{-1}(a)). \ \end{align*}
† Para que la imagen se vea bien, asumimos $f(0) = f^{-1}(0) = 0$ sin pérdida de generalidad.