Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

161. Continuité de la fonction inverse

Soit $x_0$ un réel non nul. L’écriture $\lim_{x\to x_0} \frac{1}{x} = \frac{1}{x_0}$ cache en réalité certaines propriétés assez subtiles et délicates à écrire. Cela va être expliqué en détail dans cet article.

En effet, quand $x$ se rapproche de $x_0$, qu’est-ce qui permet d’affirmer que $\frac{1}{x}$ existe ? Et à supposer qu’il est bien défini, pourquoi est-il proche de $\frac{1}{x_0}$ ?

Le plan

Soit $x_0$ un réel non nul et $\varepsilon$ un nombre réel strictement positif.

Vous allez montrer qu’il existe un réel $\alpha > 0$, de sorte que, dans un premier temps, pour tout $x\in\R, \vert x-x_0\vert < \alpha \implies x\neq 0.$

Cela prouvera que, sur l’intervalle $\left]x_0-\alpha, x_0+\alpha\right[$, la fonction $x\mapsto \frac{1}{x}$ est bien définie.

Dans un second temps, pour un autre réel noté encore $\alpha$, vous montrerez que, pour tout $x\in \left]x_0-\alpha, x_0+\alpha\right[$, $\frac{1}{x}$ est bien défini et $\left\lvert\frac{1}{x}-\frac{1}{x_0} \right\rvert< \varepsilon.$

Etablissez l’existence de $\alpha>0$ satisfaisant l’implication $\forall x\in\R, \vert x-x_0\vert < \alpha \implies x\neq 0$

Le but consiste à minorer la valeur absolue de $x$ par un réel strictement positif.

L’inégalité triangulaire, propriété très importante de la valeur absolue, va vous permettre de conclure.

Soit pour le moment un réel $\alpha >0$ et $x$ un réel tel que $\vert x-x_0\vert < \alpha.$ Par symétrie de la valeur absolue, vous avez aussi $\vert x_0-x\vert < \alpha.$

Remarquez dans un premier temps que $x_0 = (x_0-x) + x.$

Vous en déduisez les majorations suivantes :

$\begin{align*}
\vert x_0 \vert &\leq \vert x_0-x\vert + \vert x \vert\\
&< \alpha + \vert x \vert.
\end{align*}$

Si bien que $\vert x_0 \vert – \alpha < \vert x \vert.$

Maintenant, posez $\alpha = \frac{\vert x_0 \vert}{2}.$ Comme $x_0$ est non nul, le réel $\alpha$ est bien strictement positif.

Soit $x$ un réel tel que $\vert x-x_0\vert < \alpha.$

Alors $\vert x_0 \vert – \alpha < \vert x \vert$ d’où $2\alpha – \alpha < \vert x \vert$ et par suite $0<\alpha<\vert x \vert$ ce qui implique que $x$ est non nul.

Remarque. Vous pourriez choisir $\alpha = \vert x_0 \vert$ ce qui suffirait. Vous auriez $\vert x \vert > 0.$ Mais alors, dans le paragraphe qui suit, vous seriez coincé pour obtenir une majoration de $\frac{1}{\vert x\vert}.$

Effectuez une recherche pour trouver une bonne valeur du réel $\alpha$

Reprenez le nombre $\alpha$ défini par $\frac{\vert x_0 \vert}{2}.$

D’après le paragraphe précédent, pour tout réel $x$ vérifiant $\vert x-x_0\vert < \alpha$ le nombre $x$ est non nul donc le réel $\frac{1}{x}$ est bien défini.

Vous avez même établi que $\vert x \vert > \alpha >0$ donc $\frac{1}{\alpha} > \frac{1}{\vert x \vert}.$

Soit donc $x$ un réel tel que $\vert x-x_0\vert < \alpha.$

Vous établissez les majorations suivantes :

$\begin{align*}
\left\lvert\frac{1}{x}-\frac{1}{x_0} \right\rvert &\leq \left\lvert\frac{x_0-x}{x \times x_0} \right\rvert\\
&\leq \frac{\vert x_0-x \vert }{\vert x_0 \vert}\times \frac{1}{\vert x \vert} \\
&< \frac{\vert x_0-x\vert }{\vert x_0 \vert}\times \frac{1}{\alpha}.
\end{align*}$

Pour que le membre de droite soit strictement inférieur à $\varepsilon$, vous voulez avoir $\vert x_0-x\vert < \varepsilon \alpha \vert x_0 \vert$ ce qui conduit à choisir $x$ tel que $\vert x_0-x\vert < \frac{\varepsilon \vert x_0 \vert ^2}{2}.$

Etablissez l’existence de $\alpha>0$ satisfaisant l’implication $\forall x\in\R, \vert x-x_0\vert < \alpha \implies \left\lvert\frac{1}{x}-\frac{1}{x_0} \right\rvert< \varepsilon$

D’après les deux paragraphes précédents, vous posez $\alpha = \mathrm{Min}\left(\frac{\vert x_0 \vert}{2}, \frac{\varepsilon \vert x_0 \vert^2}{2}\right).$

Soit $x$ un nombre réel tel que $\vert x-x_0\vert < \alpha.$

Par inégalité triangulaire :

$\vert x_0 \vert \leq \vert x_0-x \vert +\vert x\vert$

d’où $\vert x_0 \vert < \alpha +\vert x\vert$ et $\vert x_0 \vert < \frac{\vert x_0 \vert}{2} +\vert x\vert$ et donc $0 < \frac{\vert x_0 \vert}{2} < \vert x \vert.$

Donc $x$ est non nul et $\frac{1}{x}$ est bien défini.

Alors :

$\begin{align*}
\left\lvert\frac{1}{x}-\frac{1}{x_0} \right\rvert &\leq \left\lvert\frac{x_0-x}{x\times x_0} \right\rvert \\
&\leq \frac{\vert x-x_0 \vert}{\vert x_0\vert} \times \frac{1}{\vert x \vert} \\
&\leq \frac{\vert x-x_0 \vert}{\vert x_0\vert} \times \frac{2}{\vert x_0 \vert} \\
&\leq \frac{2\vert x-x_0 \vert}{\vert x_0\vert^2} \\
&< \frac{2 \alpha }{\vert x_0\vert^2} \\
&< \varepsilon.
\end{align*}$

Concluez

Le résultat établi s’écrit en termes de limites.

Pour tout $x_0\neq 0$, $\lim_{x\to x_0} \frac{1}{x} = \frac{1}{x_0}.$

On dit aussi que, pour tout $x_0\neq 0$, la fonction $x\mapsto \frac{1}{x}$ est non seulement bien définie dans un voisinage de $x_0$, mais aussi continue en $x_0.$

Partagez !

Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.

Aidez-moi sur Facebook !

Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.

Lisez d'autres articles !

Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !