MarcFIle1

Author:
Mike May
Suppose that we know all about a function  and its derivative ′. If  has an inverse, g, can we use our knowledge of  to compute the derivative of g? Yes!If  and g are inverse functions, then In the applet above, we will see a geometric justification for this formula. Drag the slider through the steps and consider the questions below.Explore
  • Step 0. We are given  and g and our goal is to compute g′(c). Just by looking at the graphs, what tells you that  and g are inverses? . Can you express d in terms of g and c?
  • Step 1. Justify: if point (cd) lies on the graph of g, then the point (dc) lies on the graph of .
  • Step 2. Consider the line tangent to  through (dc). In the applet, the slope of the line is labeled as m. What is m in terms of c, and d?
  • Step 3. Now consider the line tangent to g through (cd). Remember that our goal was to compute g′(c), in other words, the slope of this line. What is the relation between the slope of this line and the slope of the line in step 2? Move the red point on the x axis to help you see this.
  • Finally, justify the boxed formula in the introduction.
Alternate ProofIf  and g are inverse functions and x is in the domain of g, then . Take the derivative of both sides, using the chain rule on the left: Solve for g′(x): . Done! 
This is a proof of concept attempt at saving one of the applets from Marc Renault's Calculus Applet project to GeoGebra materials. Done with Marc's permission.