PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 3 of 'derivative of inverse function'
[ view 'derivative of inverse function' | back to history ]

Title of object: derivative of inverse function
Canonical Name: DerivativeOfInverseFunction
Type: Topic

Created on: 2007-05-10 10:19:31
Modified on: 2007-05-10 10:34:57

Creator: pahio
Modifier: pahio
Author: pahio

Classification: msc:26A24

Revision comment (for changes between this and next version):

new notation of inv. f.

Preamble:

% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here

\theoremstyle{definition}
\newtheorem*{thmplain}{Theorem}
Content:

If the real function $f$ has an inverse function $\overleftarrow{f}$ and the derivative of $f$ in the point \,
$x = \overleftarrow{f}(y)$\; in distinct from zero, then also $\overleftarrow{f}$ is differentiable in the point $y$ and
\begin{align}
\overleftarrow{f}'(y) = \frac{1}{f'(x)}.
\end{align}
That is, the derivatives of a function and its inverse function are inverse numbers of each other, provided that they have been taken in the points which correspond each other.\\

{\em Proof.}\, Now we have
$$f(\overleftarrow{f}(y)) = f(x) =y.$$
The derivatives of both sides must be equal:
$$\frac{d}{dy}\left[f(\overleftarrow{f}(y))\right] = \frac{d}{dy}y$$
Using the chain rule we get
$$f'(\overleftarrow{f}(y))\cdot\overleftarrow{f}'(y) = 1,$$
whence
$$\overleftarrow{f}'(y) = \frac{1}{f'(\overleftarrow{f}(y))}.$$
This is same as the asserted equation (1).