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{aligned}
\vert x_0 \vert &\leq \vert x_0-x\vert + \vert x \vert\\
&< \alpha + \vert x \vert.
\end{aligned}
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{aligned}
\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{aligned}
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{aligned}
\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{aligned}
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 !