has no horizontal tangent there, d. H. for which applies
its inverse function at the point is also differentiable with derivative
The validity of this equation can be illustrated with a sketch: The formation of the inverse function corresponds to an exchange of the coordinates and . The graphs of the function and its inverse function are therefore symmetrical to one another with respect to the bisector of the I. and III. Quadrant with the equation . The derivative of a function at a certain point corresponds to the slope of the associated tangent , i.e. equal to the tangent of the angle of inclination with respect to the horizontal. This gives:
to then substitute with. At the limit crossing for and thus also (note that differentiable functions are especially continuous) the assertion follows.
Alternatively, using the chain rule results in the property
of the inverse function when differentiating according to both sides of the equation also the inverse rule (with ):
However, the differentiability of is already assumed at the point , while it is also proven in the first proof sketch.
In a very similar way, one also obtains an expression for the 2nd derivative of the inverse function by differentiating the last equation again using the product rule (again is or ):
Another important application of the inverse rule is the derivatives of the inverse functions of the trigonometric functions . So z. B. for the derivative of the arcsine for due
If one demands the continuity of the first derivative of , then the prerequisite is sufficient , since it follows directly on a small area around and from this in turn the existence of the inverse function of on this small area follows (consider the monotony of !). This basic idea is the starting point for the multidimensional generalization of the inverse rule, the theorem of the inverse mapping.
Different spellings in physics and other natural sciences
In physics and other natural sciences, Leibniz's notation with differentials is sometimes used. The reverse rule then takes the following form:
Generalizations
The inverse rule can be generalized to the derivatives of functions in several dimensions. The multidimensional equivalent of the inverse rule is the theorem of inverse mapping .