Aquí es informal argumento:
La primera nota que su integral es de la forma ∫10f(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
- ∫10f(x)dx es el área de la región acotada arriba por la gráfica de f
en el intervalo de 0≤x≤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),
- ∫10f−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≤x≤1, y a la izquierda por
el intervalo de 0≤y≤1.
Las dos regiones mencionadas coinciden; por lo tanto, tenemos ∫10f(x)dx=∫10f−1(x)dx.
Y así, ∫10f(x)−f−1(x)dx=0.