Aquí es informal argumento:
La primera nota que su integral es de la forma $\int_0^1 f(x)-f^{-1}(x)\,dx$ donde $f$ es una función decreciente con $f(0)=1$, $f(1)=0$, y $f^{-1}$ es la inversa de a $f$.
Entonces
- $ \int_0^1 f(x)\,dx$ es el área de la región acotada arriba por la gráfica de $f$
en el intervalo de $0\le x\le 1$;
y, observando que la gráfica de la ecuación de $x=f^{-1}(y)$ es, precisamente, la gráfica de la ecuación de $y=f(x)$,
- $ \int_0^1 f^{-1}(y)\,dy$ es el área de la región delimitada a la derecha por la
gráfico de $f$, por debajo del intervalo de $0\le x\le 1$, y a la izquierda por
el intervalo de $0\le y\le1$.
Las dos regiones mencionadas coinciden; por lo tanto, tenemos $\int_0^1 f(x)\,dx =\int_0^1 f^{-1}(x)\,dx $.
Y así, $\int_0^1 f(x)-f^{-1}(x)\,dx=0$.