3
$\begingroup$

Given that $f$ is a continuous and increasing function on $[a, b]$, $c = f(a), d = f(b)$ and $a, b, c ,d \geq 0$, explain why

$$\int_c^d f^{-1}(t)~dt = bd - ac - \int_a^b f(x)~dx$$

I am not sure how to treat the inverse function or the functions as the limits of integration. I tried to apply what I found here, but couldn't seem to create the RHS exactly.

$$\int_c^d f^{-1}(t)~dt = F^{-1}(d) - F^{-1}(c)$$ $$= F^{-1}(f(b)) - F^{-1}(f(a))$$ $$ = b - a$$

I am trying to understand exactly what the equality is trying to demonstrate in terms of properties of integrals rather than copying a formula from wikipedia superficially.

EDIT:

So, from the RHS, I would be taking the area of $ab$ (largest rectangle) and subtracting $ca$ (shaded rectangle) and then subtracting the area under $f(t)$ (lightly shaded)?

enter image description here

So I'm finding the area between $f^{-1}$ and the vertical axis from $f(a)$ to $f(b)$.

$\endgroup$
6
  • 1
    $\begingroup$ Try drawing a picture, just to get a feeling for why this is true. $\endgroup$ Jun 8, 2012 at 6:58
  • $\begingroup$ I'm having difficulty drawing it since the functions are abstract. Would it be the area under some increasing inverse function and between two other functions all on the positive $x$ axis? Wouldn't that involve finding the points of intersection and splitting things into 3 integrals? $\endgroup$
    – stariz77
    Jun 8, 2012 at 7:10
  • $\begingroup$ Draw a rectangle, with the x-axis going from a to b, and the y-axis going from c to d. Draw an increasing wiggly line from (a,c) to (b,d). This is $f$. What is $f^{-1}$ on this picture? What are the areas in question? $\endgroup$
    – copper.hat
    Jun 8, 2012 at 7:12
  • $\begingroup$ @Ananda: Thanks, momentary mind-blip. I have removed my comment. $\endgroup$
    – copper.hat
    Jun 8, 2012 at 7:22
  • 1
    $\begingroup$ This seems more like an application of Fubini to me. $\endgroup$
    – copper.hat
    Jun 8, 2012 at 8:11

1 Answer 1

5
$\begingroup$

For a formal proof, start by substituting $t=f(x)$ in $\int_c^d f^{-1}(t)\,dt$.

For a pictorial proof:

Pictorial proof

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .