Fonction inverse

En mathématiques, la fonction inverse est la fonction qui à tout réel ${\displaystyle x}$ non nul associe son inverse, noté ${\displaystyle {\frac {1}{x}}}$. Elle se note de la manière suivante :

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

Variations

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, +∞.

Représentation graphique

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.

Continuité de la fonction inverse

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

Dérivée de la fonction inverse

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, +∞[.

Primitives de la fonction inverse

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.

Fonction inverse abstraite

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ⁿ)⁻¹.

Extension à d'autres groupes

Plan complexe

La fonction inverse peut donc être étendue sur le plan complexe privé de l'origine par :

${\displaystyle {\begin{aligned}f:&\ \mathbb {C} ^{*}&\to &\ \mathbb {C} ^{*}\\\ &\ z=x+\mathrm {i} y&\mapsto &\ {\frac {1}{z}}={\frac {\overline {z}}{|z|^{2}}}={\frac {x-\mathrm {i} y}{x^{2}+y^{2}}}.\end{aligned}}}$

Quaternions

La fonction inverse peut donc être définie pour tout quaternion non nul (au moins une des quatre composantes x, y, z, w est non nulle) :

${\displaystyle {\begin{aligned}f:&\ \mathbb {H} ^{*}&\to &\ \mathbb {H} ^{*}\\\ &\ q=x+yi+zj+wk&\mapsto &\ q^{-1}={\frac {x-yi-zj-wk}{x^{2}+y^{2}+z^{2}+w^{2}}}.\end{aligned}}}$

Références

Voir aussi

Liens externes

(en) Eric W. Weisstein, « Multiplicative Inverse », sur MathWorld

• Portail de l'analyse