Inversion (géométrie)

En géométrie, une inversion est une transformation qui inverse les distances par rapport à un point donné, appelé centre de l'inversion. Cela signifie en substance que l'image d'un point est d'autant plus éloignée du centre de l'inversion que le point d'origine en est proche. Selon une phrase célèbre, « Plaçons une cage sphérique dans le désert, entrons-y et fermons-la. Puis faisons une inversion par rapport à la cage. Le lion est alors à l'intérieur de la cage, et nous sommes à l'extérieur ».

inversion d'un "lion" et d'un "bonhomme"

Définition générale dans le cadre d’un espace affine euclidien

Soient ${\mathcal {E}}$ un espace affine euclidien, $\Omega$ un point de ${\mathcal {E}}$ et $k$ un réel non nul.

Définition — L'inversion de pôle $\Omega$ et de rapport $k$ est l'application de ${\mathcal {E}}\setminus \{\Omega \}$ dans lui-même qui, à un point $M$, associe l’unique point

$M'\in (\Omega M)$ tel que ${\overline {\Omega M}}\times {\overline {\Omega M'}}=k$ (produit des mesures algébriques).

Démonstration de l’existence et de l’unicité de $M'$

Pour tout point $N$ de la droite $(\Omega M)$,

${\begin{aligned}{\overline {\Omega M}}\times {\overline {\Omega N}}=k&\Leftrightarrow {\frac {\overline {\Omega N}}{\overline {\Omega M}}}={\frac {k}{\Omega M^{2}}}\\&\Leftrightarrow {\overrightarrow {\Omega N}}={\frac {k}{\Omega M^{2}}}{\overrightarrow {\Omega M}}\\&\Leftrightarrow N=\Omega +{\frac {k}{\Omega M^{2}}}{\overrightarrow {\Omega M}}.\end{aligned}}$

Soit ${\mathcal {S}}$ la sphère de centre $\Omega$ et de rayon $r$.

Définition — L'inversion par rapport à ${\mathcal {S}}$ est l'inversion de pôle $\Omega$ et de rapport $k=r^{2}$.

Propriétés

• Une inversion de rapport non nul est bijective.
• Une inversion est une involution : elle est sa propre bijection réciproque.
• L'inversion par rapport à une sphère ${\mathcal {S}}$ laisse les points de la sphère fixes, et les points intérieurs et extérieurs sont échangés. L'inversion est la version « sphérique » de la réflexion.
• On appelle sphère d’inversion (ou cercle d’inversion dans le plan) la sphère de centre $\Omega$ et de rayon ${\sqrt {|k|}}$. Elle est toujours globalement invariante, et elle est fixe (invariante point par point) lorsque le rapport est positif. Toute inversion de rapport positif est l'inversion par rapport à sa sphère d’inversion.
• Les hyperplans passant par $\Omega$ sont aussi des invariants globaux.

Le principal intérêt des inversions est la transformation d'hyperplans (droites) en hypersphères (cercles) et réciproquement, tout en préservant les angles :

L'image d'un cercle passant par le pôle est une droite

Théorème — Toute inversion de centre $\Omega$ et de rapport non nul envoie :

• les hypersphères (cercles) passant par $\Omega$ (exclu) en des hyperplans (droites) ne passant pas par $\Omega$, et réciproquement ;
• les hypersphères (cercles) ne passant pas par $\Omega$ en des hypersphères (cercles) ne passant pas par $\Omega$ ;
• les (hyper)plans (droites) passant par $\Omega$ en eux-mêmes (ils sont invariants).

L'ensemble constitué par les hypersphères et les hyperplans est donc stable par inversion.

Ainsi si dans le plan $A'$, $B'$ et $C'$ sont les images respectives de $A$, $B$ et $C$ par une inversion de centre $\Omega$ de rapport non nul, alors $A'$, $B'$ et $C'$ sont alignés si et seulement si $\Omega$,$A$, $B$ et $C$ sont cocycliques, ce qui est la raison profonde de l'égalité et de l'inégalité de Ptolémée.

Théorème — Les inversions de rapport non nul préservent les angles (orientés).

Ainsi par exemple deux droites ne passant pas par $\Omega$ sont perpendiculaires si et seulement si leurs cercles images le sont (deux cercles étant dits perpendiculaires si leurs tangentes aux points d'intersection le sont).

Distances

Si $A'$ et $B'$ sont les images respectives de $A$ et $B$ par une inversion de centre $\Omega$ de rapport $k$ ($\neq 0$), alors on a la relation entre les distances

$A'B'=|k|\,{\frac {AB}{\Omega A\times \Omega B}}$.

Démonstration

Soient ${\overrightarrow {u}},{\overrightarrow {v}}$ unitaires et $a,b>0$ tels que ${\overrightarrow {\Omega A}}=a{\overrightarrow {u}}$ et ${\overrightarrow {\Omega B}}=b{\overrightarrow {v}}$. Alors,

$A'B'=\left\|{\overrightarrow {\Omega B'}}-{\overrightarrow {\Omega A'}}\right\|=\left\|{\frac {k{\overrightarrow {v}}}{b}}-{\frac {k{\overrightarrow {u}}}{a}}\right\|={\frac {|k|}{ab}}\left\|a{\overrightarrow {v}}-b{\overrightarrow {u}}\right\|={\frac {|k|}{\Omega A\times \Omega B}}AB$

car

$\left\|a{\overrightarrow {v}}-b{\overrightarrow {u}}\right\|^{2}=a^{2}+b^{2}-2ab\langle {\overrightarrow {u}},{\overrightarrow {v}}\rangle =\left\|b{\overrightarrow {v}}-a{\overrightarrow {u}}\right\|^{2}=AB^{2}$.

Dans le plan

Dans le plan affine euclidien

Inverseur de Peaucellier.

Dans le plan affine euclidien, l’inverse d’un point est constructible au compas lorsqu’on connait le cercle d'inversion, ce qui permet de démontrer le :

Théorème de Mohr et Mascheroni — Toute construction à la règle et au compas peut se faire uniquement au compas (à l’exception des tracés des portions de droites).

Signalons aussi l’existence de « machines à inversion », l’inverseur de Peaucellier, utilisé pour transformer un mouvement rectiligne en mouvement circulaire :

L'inverseur est un objet mécanique avec deux barres OP et OQ de longueur fixe $r_{1}$ et 4 autres barres MP, MQ, M'P, M'Q de longueurs fixes $r_{2}$ avec les points de pivots aux sommets du losange OMPQM'.

Pour un point $O$ du plan affine euclidien et un rapport $k=r_{1}^{2}-r_{2}^{2}$, avec $0<r_{2}<r_{1}$, on peut construire l’inverse géométrique, pour l’inversion de centre $O$ et de rapport $k$, de tout point dans la couronne centrée en $O$, de rayon intérieur $r_{1}-r_{2}$, et de rayon extérieur $r_{1}+r_{2}$ de la façon suivante :

• Un point $M$ dans la couronne étant donné, il existe deux points d’intersection $P$ et $Q$ du cercle de centre $O$ et de rayon $r_{1}$, et du cercle de centre $M$ et de rayon $r_{2}$
• Puis on construit l’unique point $M'$ tel que $PMQM'$ soit un losange.
• L’application qui à $M$ fait correspondre $M'$ est bien l’inversion cherchée.

Dans le plan complexe

Dans le plan complexe, une inversion particulière est celle par rapport au cercle unité ; en termes d’affixe complexe, elle est codée par l'application

$z\mapsto {\frac {1}{\overline {z}}}={\frac {z}{|z|^{2}}}.$

On voit ainsi que cette inversion est composée de la conjugaison complexe et d’une homographie.

C’est en fait un résultat général : un cercle d’inversion étant donné, on choisit trois points $z_{1},z_{2},z_{3}$ sur ce cercle, puis l’unique homographie $f$ qui envoie $z_{1},z_{2},z_{3}$ respectivement sur $0,1,\infty$. On vérifie alors que l’application $f^{-1}\circ c\circ f$, où $c$ dénote la conjugaison complexe, est précisément l’inversion cherchée, et son écriture comme composée d’une homographie et de la conjugaison complexe découle de l’écriture de $f$ et $f^{-1}$ comme homographie.

On fait ensuite le lien avec le groupe circulaire, qui est l’ensemble des transformations, définies en fait sur la droite projective complexe, et qui envoient les droites et les cercles sur des droites et des cercles ; en identifiant la droite projective complexe à la sphère de Riemann, cette propriété de conservation s’exprime plus simplement : ce sont les cercles tracés sur cette sphère qui sont conservés. Il est clair que les inversions appartiennent au groupe circulaire ; et relativement simple de montrer qu’il en est de même pour les homographies. On peut montrer ensuite qu’en fait, le groupe circulaire est engendré par inversions et homographies.

Géométrie anallagmatique

La géométrie anallagmatique est l'étude (au sens du programme d'Erlangen) de la géométrie dont le groupe d'invariants est le groupe circulaire^{[réf. souhaitée]} ; elle est aussi connue sous le nom de géométrie de Möbius, ou (dans l'espace) de géométrie conforme.

Voir aussi

Articles connexes

• Transformation de Möbius
• Inverseur de Hart

Liens externes

• « Inversion et ses propriétés sur Math Web, avec la démonstration du théorème des 7 cercles, du théorème de Ptolémée et de l'inverseur de Hart »
• Inversion sur BibM@th
• Inversion de Cercles avec GeoGebra
• Xavier Hubaut, « Une transformation non linéaire ? », sur Mathématiques du secondaire
• Xavier Hubaut, « Cercles et droites », sur Mathématiques du secondaire
• Hamza Khelif, « Sur l'inversion conique », sur Images des mathématiques, juin 2016
• Inversion d'une courbe sur MathCurve.

Bibliographie

• Michèle Audin, Géométrie, EDP Sciences, 2006, 3^e éd., 428 p. (ISBN 978-2-7598-0180-0, lire en ligne)
• Marcel Berger, Géométrie [détail des éditions] (Tome 1)
• Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009 (ISBN 978-2-91-635208-4)
• Petite encyclopédie de mathématique, Didier
• Jean Fresnel, Méthodes modernes en géométrie
• D. Lehmann et Rudolf Bkouche, Initiation à la géométrie, PUF, 1988 (ISBN 978-2-13-040160-5)