I think you need to apply theorem 5 from chapter 12 of Spivaks calculus, but not sure how to. If someone could please help me. The question is:

Suppose $f$ is a one-one function and the inverse of $f$ has a derivative which is nowhere zero. Prove that $f$ is differentiable.

Chapter 12, Theorem 5:

Let $f$ be a continuous one-one function defined on an interval, and suppose that $f$ is differentiable at $f^{-1}(b)$, with derivative $f'(f^{-1}(b))\neq 0$. Then $f^{-1}$ is differentiable at $b$, and $$(f^{-1})'(b) = \frac{1}{f'(f^{-1}(b))}.$$


1 Answer 1


We make the following observations:

  1. If $f$ is one-to-one then $f^{-1}$ is one-to-one.

  2. If $f^{-1}$ is one-to-one then $f^{-1}$ has an inverse, and $(f^{-1})^{-1}=f$.

Now this is a simple case of applying Theorem 5 to the function $f^{-1}$.

  • $\begingroup$ To apply Theorem 5 directly you need continuity of $f^{-1}$, and this follows from differentiability. $\endgroup$ Jan 16, 2013 at 5:29
  • $\begingroup$ @JonasMeyer I thought about making that remark, then figured that the OP should do at least that much :) $\endgroup$ Jan 16, 2013 at 5:30
  • $\begingroup$ Thank you for the answer and editing my question. $\endgroup$
    – Dick
    Jan 16, 2013 at 5:33
  • $\begingroup$ If you liked this answer please consider upvoting and/or accepting it: see math.stackexchange.com/faq#howtoask to learn how the upvoting/accepting system works. $\endgroup$ Jan 16, 2013 at 5:36
  • $\begingroup$ @proximal: Users with less than 15 reputation points cannot vote. $\endgroup$ Jan 16, 2013 at 5:47

You must log in to answer this question.

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