Fonction inverse

Cette fonction est strictement décroissante sur l'intervalle ]–∞, 0[ des réels strictement négatifs, puis strictement décroissante sur l'intervalle ]0, +∞[ des réels strictement positifs, avec 0 comme « valeur interdite » (pôle). Mais elle n'est pas strictement décroissante sur ℝ* car si a < 0 < b, on conserve l'inégalité 1/a < 0 < 1/b.

La fonction inverse ne s'annule pas et n'admet pas de maximum ou minimum sur ℝ*, ni même sur ]–∞, 0[ ou sur ]0, +∞[.

Elle a pour limite 0 en +∞ et en –∞. Cette fonction permet donc de modéliser un certain nombre de comportements qui décroissent mais qui présentent une « borne inférieure » (les fonctions ne tendent pas vers –∞), comme la gravitation et la force électrostatique qui sont en 1/r².

En 0, sa limite à gauche vaut –∞ et à droite, +∞.

La représentation graphique de la fonction inverse est une hyperbole.

L'hyperbole d'équation ${\displaystyle y={\frac {1}{x}}}$ admet deux asymptotes : une horizontale (l'axe des abscisses, d'équation y = 0) et une verticale (l'axe des ordonnées, d'équation x = 0). Ces deux asymptotes étant (dans un repère orthonormal) perpendiculaires, l'hyperbole est dite équilatère (son excentricité vaut ${\displaystyle {\sqrt {2}}}$).

On remarque d'autre part que le centre de symétrie de cette hyperbole est le point (0, 0), ce qui traduit le fait que la fonction inverse est une fonction impaire.

On remarque enfin que cette hyperbole (H) possède deux axes de symétrie dont la droite d'équation y = x. En effet le point (x, y) appartient à (H) si et seulement si le point (y, x) appartient à (H) (y = 1/x équivaut à x = 1/y). Cette propriété graphique permet de remarquer que la fonction inverse est une involution, c'est-à-dire une bijection qui est sa propre réciproque : ${\displaystyle f\circ f=\mathrm {id} _{\mathbb {R} ^{*}}}$. Ou bien encore, pour tout réel x non nul, l'inverse de l'inverse de x est égal à x.

La fonction inverse est continue (sur ℝ*)[1].

La fonction inverse est même dérivable ; sa dérivée est la fonction ${\displaystyle f'}$ définie par :

${\displaystyle f':{\begin{cases}\mathbb {R} ^{*}\to \mathbb {R} ^{*}\\x\mapsto f'(x)=\displaystyle -{\dfrac {1}{x^{2}}}.\end{cases}}}$

Illustration :

La dérivée de ${\displaystyle y={\dfrac {1}{x}}}$ au point d'abscisse 1 vaut ${\displaystyle -{\dfrac {1}{1^{2}}}=-1}$ donc la pente de la tangente à la courbe de la fonction inverse au point de coordonnées (1, 1) vaut –1.

La fonction inverse est concave sur l'intervalle ]–∞, 0[ et convexe sur ]0, +∞[.

Le logarithme naturel, ou logarithme népérien, noté ln, est défini dans l'article détaillé comme la fonction de ]0,+∞[ dans ℝ dont la dérivée est la fonction inverse, et dont la valeur en 1 est 0. Les primitives sur ]0,+∞[ de la fonction inverse sont donc les fonctions de la forme x ↦ (ln x) + C, où C est une constante réelle arbitraire.

On peut définir de manière générale une fonction inverse ${\displaystyle f}$ dans un groupe ${\displaystyle (G,\times )}$ par

${\displaystyle \forall x\in G\quad f(x)=x^{-1}.}$

L'inverse permet donc d'étendre aux exposants entiers négatifs la notion de puissance d'un nombre (ou d'un élément d'un groupe) en posant, pour tout entier n positif : x^–n = (xⁿ)⁻¹.