We start with some inverse function [i]g[/i]([i]x[/i]) = [math]y=f^{-1}\left(x\right)[/math], for which we know the formula of its inverse function, [i]f[/i]([i]x[/i]). [br]In the app, enter the formulas for [i]g[/i]([i]x[/i]) and [i]f[/i]([i]x[/i]) in their input boxes. The function f is graphed in green if its checkbox is checked. The function [i]g[/i]([i]x[/i]) is graphed in blue. [br][br]The geometric relationship between any pair of inverse functions is that they are reflections of each other over the line [i]y[/i]  = [i]x[/i]. For every point ([i]a[/i], [i]f [/i][sup]-1[/sup]([i]a[/i])) on the graph of [i]f[/i] [sup]-1[/sup] there is an image point ([i]f [/i][sup]-1[/sup]([i]a[/i]), [i]a[/i]) on the graph of [i]f[/i]. [br]In the app we see the function [i]f [/i][sup]-1[/sup]([i]x[/i]) graphed in blue if its checkbox is checked. You should see only one blue graph. If you see two different blue graphs, the the formulas entered for functions [i]f[/i] and [i]g [/i]are not inverses of each other. Correct this problem before proceeding, if necessary. [br][br]The value of [i]a[/i] is controlled by the slider or input box. The point [math]\left(a,f^{-1}\left(a\right)\right)[/math] is graphed on the blue function, and its image point [math]\left(f^{-1}\left(a\right),a\right)[/math] is graphed on the green function. [br][br]We can see the tangent lines to these two curves at these points by checking the Tangent Lines checkbox.  We are wanting to find the derivative of [i]f [/i][sup]-1[/sup]([i]x[/i]) at [i]x= a[/i].  This is the slope of the blue[br]tangent line to the graph of [i]f [/i][sup]-1[/sup]([i]x[/i]) at ([i]a[/i], [i]f[/i][sup]-1[/sup]([i]a[/i])) .  [br][br]Notice that the reflection of this tangent line about the line [i]y = x[/i] produces the green tangent line to the graph of [i]f[/i]([i]x[/i]) at ([i]f [/i][sup]-1[/sup]([i]a[/i]),[i]a[/i]).  If we have a line [i]y[/i] = [i]mx + b[/i] and we reflect it about the line [i]y = x[/i] we obtain[br][i]x[/i] = [i]my + b[/i] or [i]y[/i] = (1/[i]m[/i])[i]x[/i] - [i]b/m[/i].  Therefore, slopes of these two tangent lines are reciprocals of each other.  However, notice that the tangent line to the function [i]f[/i] is not at an input of [i]x = a[/i], but rather at an input of [i]x[/i] = [i]f[/i] [sup]-1[/sup]([i]a[/i]).[br][br]Therefore, we conclude that the derivative of an inverse function [i]f[/i] [sup]-1[/sup] is the reciprocal of the derivative of the function [i]f [/i]evaluated at [i]f[/i] [sup]-1[/sup]([i]x[/i]).  So, if we know the formula for [i]f[/i] '([i]x[/i]), then we can find the formula for the derivative of  [i]f[/i] [sup]-1[/sup]. [br][br]Check the checkbox for Inverse Function Rule to see the statement of this derivative rule. Check on the checkbox for proof to see the algebraic proof of what we have seen here geometrically.