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 ».

Le concept d'inversion peut être généralisé aux espaces de dimension supérieure.

Cette transformation envoie des cercles ou des lignes vers d'autres cercles ou lignes. Elle préserve les angles entre les courbes de croisement. De nombreux problèmes difficiles en géométrie voient leur résolution simplifiée lorsqu'une inversion est appliquée. L'inversion semble avoir été découverte par un certain nombre de personnes à la même époque, dont Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs et Ingram (1842-3) et Kelvin (1845).

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}$.

Inverse d'un point

• 
  Avant
• 
  Après

Inverser un nombre en arithmétique signifie généralement prendre son inverse. Une idée étroitement liée en géométrie est celle de « l'inversion » d'un point. Dans le plan, l'inverse d'un point P par rapport à un cercle de référence (Ø) de centre O et de rayon r est un point P', situé sur le rayon O passant par P tel que

$OP\cdot OP^{\prime }=r^{2}.$

C'est ce qu'on appelle l'inversion par un cercle ou l'inversion par un plan. L'inversion prenant tout point P (différent de O) à son image P' ramène également P' à P, donc le résultat de l'application de la même inversion deux fois est la transformation d'identité sur tous les points du plan autres que O (involution) . Pour faire de l'inversion une involution il faut introduire un point à l'infini, un seul point placé sur toutes les droites, et prolonger l'inversion, par définition, pour intervertir le centre O et ce point à l'infini.

Il découle de la définition que l'inversion de tout point à l'intérieur du cercle de référence doit se trouver à l'extérieur de celui-ci, et vice versa, avec le centre et le point à l'infini changeant de position, tandis que tout point du cercle n'est pas affecté (est invariant par inversion). En résumé, plus un point est proche du centre, plus sa transformation est éloignée, et vice versa.

Construction au compas et à la règle

Point à l'extérieur du cercle

Pour construire l'inverse P' d'un point P extérieur à un cercle Ø :

• on dessine le segment de O (centre du cercle Ø) à P
• on note M le milieu de OP
• on trace le cercle c de centre M passant par P (le cercle bleu sur le schéma)
• Soient N et N' les points d'intersection de Ø et c.
• on dessine le segment NN'.
• P ' est l'intersection de OP et NN'.

Point à l'intérieur du cercle

Pour construire l'inverse P d'un point P' à l'intérieur d'un cercle Ø :

• on trace le rayon r de O (centre du cercle Ø ) passant par P' (c'est la ligne horizontale)
• on trace la droite s passant par P' perpendiculaire à r (c'est la ligne verticale)
• Soit N un des points où Ø et s se coupent.
• on dessine le segment ON.
• on trace la ligne t passant par N perpendiculaire à ON.
• P est l'intersection du rayon r et de la droite t.

• 
  P ' est l'inverse de P par rapport au cercle.
• 
  Pour construire l'inverse P' d'un point P extérieur à un cercle Ø : Soit r le rayon de Ø. Les triangles rectangles OPN et ONP ' sont semblables. OP est à r ce que r est à OP '.

Construction de Dutta

Il existe une construction du point inverse de A par rapport à un cercle P qui est indépendante du fait que A soit à l'intérieur ou à l'extérieur de P .

On considère un cercle P de centre O et un point A qui peut être à l'intérieur ou à l'extérieur du cercle P.

• on prend le point d'intersection C du rayon OA avec le cercle P.
• on connecte le point C avec un point quelconque B sur le cercle P (différent de C)
• Soit h la réflexion du rayon BA sur la droite BC . Alors h coupe le rayon OC en un point A'. A' est le point inverse de A par rapport au cercle P.

Propriétés générales

Toute inversion est une involution.

• 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 :

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).

Propriété géométriques

• 
  L'inverse, par rapport au cercle rouge, d'un cercle passant par O (bleu) est une droite ne passant pas par O (vert), et inversement.
• 
  L'inverse, par rapport au cercle rouge, d'un cercle ne passant pas par O (bleu) est un cercle ne passant pas par O (vert), et inversement.
• 
  L'inversion par rapport à un cercle ne fait pas correspondre le centre du cercle au centre de son image

L'inversion d'un ensemble de points du plan par rapport à un cercle est l'ensemble des inverses de ces points. Les propriétés suivantes rendent l'inversion de cercle utile.

• un cercle qui passe par le centre O du cercle de référence s'inverse en une droite ne passant pas par O, mais parallèle à la tangente au cercle d'origine en O, et vice versa ; alors qu'une droite passant par O est inversée sur elle-même (mais pas invariante ponctuellement).
• Un cercle ne passant pas par O s'inverse en un cercle ne passant pas par O . Si le cercle rencontre le cercle de référence, ces points d'intersection invariants sont également sur le cercle inverse. Un cercle (ou une droite) est invariant par inversion si et seulement s'il est orthogonal au cercle de référence aux points d'intersection.

Les propriétés supplémentaires incluent :

• Si un cercle q passe par deux points distincts A et A' inverses par rapport à un cercle k, alors les cercles k et q sont orthogonaux.
• Si les cercles k et q sont orthogonaux, alors une droite passant par le centre O de k et coupant q, le fait en des points inverses par rapport à k.
• Étant donné un triangle OAB dans lequel O est le centre d'un cercle k, et les points A' et B' inverses de A et B par rapport à k, alors

${\widehat {OAB}}={\widehat {OB'A'}}\ {\text{ et }}\ {\widehat {OBA}}={\widehat {OA'B'}}.$

• Les points d'intersection de deux cercles p et q orthogonaux à un cercle k, sont inverses par rapport à k.
• Si M et M' sont des points inverses par rapport à un cercle k sur deux courbes m et m', également inverses par rapport à k, alors les tangentes à m et m' aux points M et M' sont soit perpendiculaires à la droite droite MM', soit forment avec cette droite un triangle isocèle de base MM'.
• L'inversion laisse la mesure des angles inchangée, mais inverse l'orientation des angles orientés.

Exemples en deux dimensions

Exemples d'inversion des cercles A à J par rapport au cercle rouge en O. Les cercles A à F, qui passent par O, correspondent à des droites. Cercles G à J, qui ne correspondent pas à d'autres cercles. Le cercle de référence et la ligne L correspondent à eux-mêmes. Les cercles coupent leurs inverses, le cas échéant, sur le cercle de référence.

• L'inversion d'une droite est un cercle contenant le centre d'inversion ; ou c'est la ligne elle-même si elle contient le centre
• L'inversion d'un cercle est un autre cercle ; ou c'est une ligne si le cercle d'origine contient le centre
• L'inversion d'une parabole est une cardioïde
• L'inversion de l'hyperbole est une lemniscate de Bernoulli

Application

Pour un cercle ne passant pas par le centre d'inversion, le centre du cercle en cours d'inversion et le centre de son image en inversion sont colinéaires au centre du cercle de référence. Ce fait peut être utilisé pour prouver que la droite d'Euler du triangle de contact d'un triangle coïncide avec sa ligne OI. La preuve va à peu près comme suit :

On inverse par rapport au cercle inscrit du triangle ABC. Le triangle médian du triangle de contact est inversé en triangle ABC, c'est-à-dire que le centre circonscrit du triangle médial, c'est-à-dire que le centre du cercle d'Euler du triangle de contact, le centre et le centre circonscrit du triangle ABC sont colinéaires.

Deux cercles non sécants peuvent être inversés en cercles concentriques. Ensuite, la distance d'inversion (généralement notée δ) est définie comme le logarithme népérien du rapport des rayons des deux cercles concentriques.

De plus, deux cercles non sécants peuvent être inversés en cercles congruents, en utilisant un cercle d'inversion centré en un point sur le cercle d'antisimilitude.

Le dispositif de Peaucellier-Lipkin est une implémentation mécanique de l'inversion dans un cercle. Il fournit une solution exacte au problème important de la conversion entre le mouvement linéaire et le mouvement circulaire.

Pôle et polaire

La polaire q en un point Q par rapport à un cercle de rayon r centré sur le point O. Le point P est le point d'inversion de Q ; la polaire est la droite passant par P perpendiculaire à la droite contenant O, P et Q .

Si le point R est l'inverse du point P alors les droites perpendiculaires à la droite PR passant par l'un des points est la polaire de l'autre point (le pôle).

Les pôles et les polaires ont plusieurs propriétés utiles :

• Si un point P se trouve sur une droite l, alors le pôle L de la droite l se trouve sur la polaire p du point P.
• Si un point P se déplace le long d'une droite l, sa polaire p tourne autour du pôle L de la droite l.
• Si deux lignes tangentes peuvent être tracées d'un pôle au cercle, alors sa polaire passe par les deux points tangents.
• Si un point se trouve sur le cercle, sa polaire est la tangente passant par ce point.
• Si un point P est sur sa propre ligne polaire, alors P est sur le cercle.
• Chaque ligne a exactement un pôle.

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.

En trois dimensions

Inversion d'une sphère à la sphère rouge

Inversion d'un sphéroïde (au niveau de la sphère rouge)

Inversion d'un hyperboloïde à une nappe

L'inversion par rapport à un cercle est généralisable à l'inversion par rapport à une sphère en trois dimensions. L'inversion d'un point P en 3D par rapport à une sphère de référence centrée en un point O de rayon R est un point P ' sur le rayon de direction OP tel que $OP\cdot OP^{\prime }=||OP||\cdot ||OP^{\prime }||=R^{2}$ . Comme avec la version 2D, une sphère s'inverse en sphère, sauf que si une sphère passe par le centre O de la sphère de référence, alors elle s'inverse en un plan. Tout plan passant par O, s'inverse en une sphère touchant O. Un cercle, c'est-à-dire l'intersection d'une sphère avec un plan sécant, s'inverse en cercle, sauf si le cercle passe par O, auquel cas il s'inverse en droite. Cela se réduit au cas 2D lorsque le plan sécant passe par O, mais est un vrai phénomène 3D si le plan sécant ne passe pas par O.

Exemples

• Sphère : la surface la plus simple (après le plan) est la sphère. La première image montre une inversion non triviale (le centre de la sphère n'est pas le centre d'inversion) d'une sphère avec deux faisceaux de cercles qui se croisent orthogonalement.
• Cylindre, cône, tore : l'inversion d'un cylindre, d'un cône ou d'un tore donne un cyclide de Dupin (en).
• Sphéroïde : un sphéroïde est une surface de révolution et contient un faisceau de cercles qui est projeté sur un faisceau de cercles (voir image). L'image inverse d'un sphéroïde est une surface de degré 4.

Hyperboloïde d'une feuille

Un hyperboloïde à une nappe, qui est une surface de révolution contenant un faisceau de cercles qui est projeté sur un faisceau de cercles. Un hyperboloïde à une nappe contient deux faisceaux de lignes supplémentaires, qui sont projetés sur des faisceaux de cercles. L'image montre une telle ligne (bleue) et son inversion.

Dans des dimensions supérieures

Dans un espace à n dimensions où il y a une sphère de rayon r, l'inversion dans la sphère est donnée par

$x_{i}\mapsto {\frac {r^{2}x_{i}}{\sum _{j}x_{j}^{2}}}$

La transformation par inversion en hyperplans ou hypersphères dans Eⁿ peut être utilisée pour générer des dilatations, des translations ou des rotations. En effet, deux hypersphères concentriques, utilisées pour produire des inversions successives, entraînent une dilatation ou une contraction au centre des hypersphères. Une telle application s'appelle une similarité.

Lorsque deux hyperplans parallèles sont utilisés pour produire des réflexions successives, le résultat est une translation. Lorsque deux hyperplans se coupent dans un (n –2) -hyperplan, les réflexions successives produisent une rotation où chaque point du (n –2)-hyperplan est un point fixe de chaque réflexion et donc de la composition.

Ce sont toutes des applications conformes et, en fait, lorsque l'espace a trois dimensions ou plus, les applications générées par inversion sont les seules applications conformes. Le théorème de Liouville est un théorème classique de géométrie conforme.

L'ajout d'un point à l'infini à l'espace évite la distinction entre hyperplan et hypersphère ; la géométrie inversive de dimension supérieure est alors fréquemment étudiée dans le contexte présumé d'une n -sphère comme espace de base. Les transformations de la géométrie inversive sont souvent appelées transformations de Möbius. La géométrie inverse a été appliquée à l'étude des colorations, ou partitionnements, d'une n-sphère.

Projection stéréographique comme inversion d'une sphère

Projection stéréographique comme inversion d'une sphère

Une projection stéréographique projette généralement une sphère à partir d'un point $N$ (pôle nord) de la sphère sur le plan tangent au point opposé $S$ (pôle Sud). Cette cartographie peut être réalisée par une inversion de la sphère sur son plan tangent. Si la sphère (à projeter) a pour équation $x^{2}+y^{2}+z^{2}=-z$ (écrit alternativement $x^{2}+y^{2}+(z+{\tfrac {1}{2}})^{2}={\tfrac {1}{4}}$ ; de centre $(0,0,-0.5)$, de rayon $0,5$, en vert sur l'image), alors il sera projeté par l'inversion par rapport à la sphère unité (rouge) sur le plan tangent au point $S=(0,0,-1)$. Les droites passant par le centre d'inversion (point $N$ ) sont projetés sur eux-mêmes. Ce sont les lignes de projection de la projection stéréographique.

Coordonnées à 6 sphères

Les coordonnées à 6 sphères sont un système de coordonnées pour l'espace tridimensionnel obtenu en inversant les coordonnées cartésiennes.

Axiomatique et généralisation

L'un des premiers à considérer les fondements de la géométrie inversive fut Mario Pieri en 1911 et 1912. Edward Kasner a rédigé sa thèse sur "La théorie des invariants du groupe d'inversion".

Plus récemment, la structure mathématique de la géométrie inversive a été interprétée comme une structure d'incidence où les cercles généralisés sont appelés "blocs": En géométrie d'incidence, tout plan affine avec un seul point à l'infini forme un plan de Möbius, également appelé plan inversif. Le point à l'infini est ajouté à toutes les droites. Ces plans de Möbius peuvent être décrits axiomatiquement et existent à la fois dans des versions finies et infinies.

Un modèle du plan de Möbius issu du plan euclidien est la sphère de Riemann.

Invariant

Le birapport entre 4 points $x,y,z,w$ est invariant par inversion. En particulier si O est le centre de l'inversion et $r_{1}$ et $r_{2}$ sont les distances aux extrémités d'une ligne L, puis la longueur de la ligne $d$ va devenir $d/(r_{1}r_{2})$ sous une inversion de centre O. L'invariant est :

$I={\frac {|x-y||w-z|}{|x-w||y-z|}}$

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}$.

Relation avec le programme d'Erlangen

Selon Coxeter, la transformation d'inversion par rapport à un cercle a été inventée par L.I. Magnus en 1831. Depuis lors, cette projection a ouvert la voie vers les mathématiques supérieures. À travers quelques étapes d'application de la projection d'inversion de cercle, un étudiant en géométrie des transformations apprécie rapidement l'importance du programme d'Erlangen de Felix Klein, une excroissance de certains modèles de géométrie hyperbolique.

Dilatation

La combinaison de deux inversions en cercles concentriques se traduit par une similitude, une homothétie ou une dilatation caractérisée par le rapport des rayons des cercles.

$x\mapsto R^{2}{\frac {x}{|x|^{2}}}=y\mapsto T^{2}{\frac {y}{|y|^{2}}}=\left({\frac {T}{R}}\right)^{2}x.$

Réciprocité

Lorsqu'un point du plan est interprété comme un nombre complexe $z=x+\mathrm {i} y,$ avec complexe conjugué ${\bar {z}}=x-\mathrm {i} y,$ alors l'inverse de z est

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

Par conséquent, la forme algébrique de l'inversion dans un cercle unité est donnée par $z\mapsto w$ où:

$w={\frac {1}{\bar {z}}}={\overline {\left({\frac {1}{z}}\right)}}$ .

La réciprocité est la clé de la théorie de la transformation en tant que générateur du groupe de Möbius. Les autres générateurs sont la translation et la rotation, tous deux familiers par des manipulations physiques dans l'espace 3 ambiant. L'introduction de la réciprocité (dépendante de l'inversion du cercle) est ce qui produit la nature particulière de la géométrie de Möbius, qui est parfois identifiée à la géométrie inversive (du plan euclidien). Cependant, la géométrie inversive est l'étude la plus large puisqu'elle inclut l'inversion brute dans un cercle (pas encore faite, avec conjugaison, en va-et-vient). La géométrie inverse comprend également la cartographie de conjugaison. Ni la conjugaison ni l'inversion dans un cercle ne sont dans le groupe de Möbius car elles ne sont pas conformes (voir ci-dessous). Les éléments du groupe de Möbius sont des fonctions analytiques du plan entier et sont donc nécessairement conformes.

Transformer des cercles en cercles

On considère, dans le plan complexe, le cercle de rayon $r$ autour du point $a$

$(z-a)(z-a)^{*}=r^{2}$

où sans perte de généralité, $a\in \mathbb {R} .$ En utilisant la définition de l'inversion

$w={\frac {1}{z^{*}}}$

on peut montrer directmeent que $w$ vérifie l'équation

$ww^{*}-{\frac {a}{(a^{2}-r^{2})}}(w+w^{*})+{\frac {a^{2}}{(a^{2}-r^{2})^{2}}}={\frac {r^{2}}{(a^{2}-r^{2})^{2}}}$

et donc que $w$ décrit le cercle de centre ${\textstyle {\frac {a}{a^{2}-r^{2}}}}$ et rayon ${\textstyle {\frac {r}{|a^{2}-r^{2}|}}.}$

Lorsque $a\to r,$ le cercle se transforme en la droite parallèle à l'axe imaginaire $w+w^{*}={\tfrac {1}{a}}.$

Pour $a\not \in \mathbb {R}$ et $aa^{*}\neq r^{2}$ le résultat pour $w$ est

${\begin{aligned}&ww^{*}-{\frac {aw+a^{*}w^{*}}{(a^{*}a-r^{2})}}+{\frac {aa^{*}}{(aa^{*}-r^{2})^{2}}}={\frac {r^{2}}{(aa^{*}-r^{2})^{2}}}\\[4pt]\Longleftrightarrow {}&\left(w-{\frac {a^{*}}{aa^{*}-r^{2}}}\right)\left(w^{*}-{\frac {a}{a^{*}a-r^{2}}}\right)=\left({\frac {r}{\left|aa^{*}-r^{2}\right|}}\right)^{2}\end{aligned}}$

montrant que le $w$ décrit le cercle de centre ${\textstyle {\frac {a}{(aa^{*}-r^{2})}}}$ et rayon ${\textstyle {\frac {r}{\left|a^{*}a-r^{2}\right|}}}$ .

Lorsque $a^{*}a\to r^{2},$ l'équation pour $w$ devient

${\begin{aligned}&aw+a^{*}w^{*}=1\Longleftrightarrow 2\operatorname {Re} \{aw\}=1\Longleftrightarrow \operatorname {Re} \{a\}\operatorname {Re} \{w\}-\operatorname {Im} \{a\}\operatorname {Im} \{w\}={\frac {1}{2}}\\[4pt]\Longleftrightarrow {}&\operatorname {Im} \{w\}={\frac {\operatorname {Re} \{a\}}{\operatorname {Im} \{a\}}}\cdot \operatorname {Re} \{w\}-{\frac {1}{2\cdot \operatorname {Im} \{a\}}}.\end{aligned}}$

Géométrie de dimensions supérieures

Comme mentionné ci-dessus, l'origine nécessite une attention particulière dans la projection d'inversion de cercle. L'approche consiste à joindre un point à l'infini noté ∞ ou 1/0 . Dans l'approche des nombres complexes, où la réciprocité est l'opération apparente, cette procédure conduit à la droite projective complexe, souvent appelée la sphère de Riemann. Ce sont des sous-espaces et des sous-groupes de cet espace et groupe de mappages qui ont été appliqués pour produire les premiers modèles de géométrie hyperbolique par Beltrami, Cayley et Klein. Ainsi, la géométrie inversive inclut les idées de Lobachevski et Bolyai dans leur géométrie plane. De plus, Klein est tellement conquis par cette facilité des cartographies à identifier les phénomènes géométriques qu'il livre un manifeste, le programme d'Erlangen, en 1872. Depuis lors, de nombreux mathématiciens réservent le terme géométrie à un espace avec un groupe de cartographies de cet espace. Les propriétés significatives des figures dans la géométrie sont celles qui sont invariantes sous ce groupe.

Par exemple, Smogorzhevsky développe plusieurs théorèmes de géométrie inversive avant de commencer la géométrie lobachevskienne.

Propriété de projection anti-conforme

L'image d'inversion de cercle est anti-conforme, ce qui signifie qu'en tout point elle conserve les angles et inverse l'orientation (une carte est dite conforme si elle conserve les angles orientés ). Algébriquement, une application est anti-conforme si en tout point le jacobien est un scalaire multiplié par une matrice orthogonale à déterminant négatif : en deux dimensions le jacobien doit être un scalaire multiplié par une réflexion en tout point. Cela signifie que si J est le jacobien, alors $J\cdot J^{T}=kI$ et $\det(J)=-{\sqrt {k}}.$ Le calcul du jacobien dans le cas z_i = x_i / |x|², où |x|² = x₁² + ... + x_n² donne JJ^T = kI, avec k = 1 / |x|⁴, et de plus det(J) est négatif ; donc la carte inversive est anticonforme.

Dans le plan complexe, l'application d'inversion de cercle la plus évidente (c'est-à-dire utilisant le cercle unité centré à l'origine) est le complexe conjugué de l'application complexe inverse prenant z en 1 / z. L'application inverse analytique complexe est conforme et son conjugué, l'inversion de cercle, est anti-conforme. Dans ce cas, une homographie est conforme tandis qu'une anti-homographie est anti-conforme.

Géométrie inverse et géométrie hyperbolique

La (n − 1)-sphère d'équation

$x_{1}^{2}+\cdots +x_{n}^{2}+2a_{1}x_{1}+\cdots +2a_{n}x_{n}+c=0$

aura un rayon positif si a²
₁ + ... + a²
_n est supérieur à c, et par inversion donne la sphère

$x_{1}^{2}+\cdots +x_{n}^{2}+2{\frac {a_{1}}{c}}x_{1}+\cdots +2{\frac {a_{n}}{c}}x_{n}+{\frac {1}{c}}=0.$

Par conséquent, il sera invariant par inversion si et seulement si c = 1. Mais cette condition correspond à l'orthogonalité avec la n-sphère unité. On est donc amené à considérer les (n − 1)-sphères d'équation

$x_{1}^{2}+\cdots +x_{n}^{2}+2a_{1}x_{1}+\cdots +2a_{n}x_{n}+1=0,$

qui sont invariantes par inversion, orthogonales à la sphère unité, et ont des centres en dehors de la sphère. Cellesx-ci, avec les hyperplans de sous-espace séparant les hémisphères, sont les hypersurfaces du modèle de disque de Poincaré en géométrie hyperbolique.

Puisque l'inversion par la sphère unité laisse les sphères orthogonales à elle invariantes, l'inversion envoie les points à l'intérieur de la sphère unitaire vers l'extérieur et vice-versa. Ceci est donc vrai en général des sphères orthogonales, et en particulier l'inversion dans l'une des sphères orthogonales à la sphère unité envoie la sphère unité sur elle-même. Il projette également l'intérieur de la sphère unité sur elle-même, avec des points à l'extérieur de la sphère orthogonale envoyée à l'intérieur, et vice versa ; ceci définit les réflexions du modèle de disque de Poincaré si l'on y inclut également les réflexions à travers les diamètres séparant les hémisphères de la sphère unité. Ces réflexions génèrent le groupe d'isométries du modèle, qui nous indique que les isométries sont conformes. Par conséquent, l'angle entre deux courbes dans le modèle est le même que l'angle entre deux courbes dans l'espace hyperbolique.

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Inversive geometry » (voir la liste des auteurs).

Voir aussi

Articles connexes

• Transformation de Möbius
• Cercle généralisé
• Inverseur de Hart
• Cercle d'antisimilitude
• Dualité (géométrie projective)
• Courbe inverse
• Point limite (géométrie)
• Transformation de Möbius
• Géométrie projective
• Hexlet de Soddy

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)
• (en) Nathan Altshiller-Court, College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle, New York, Barnes & Noble, 1952 (LCCN 52-13504)
• (en) David E. Blair, Inversion Theory and Conformal Mapping, American Mathematical Society, 2000 (ISBN 0-8218-2636-0)
• (en) David A. Brannan, Matthew F. Esplen et Jeremy J. Gray, Geometry, Cambridge, Cambridge University Press, 1998, 199–260 p. (ISBN 0-521-59787-0), « Chapter 5: Inversive Geometry »
• (en) H.S.M. Coxeter, Introduction to Geometry, John Wiley & Sons, 1969 (1^re éd. 1961) (ISBN 0-471-18283-4, lire en ligne)
• (en) Robin Hartshorne, Geometry: Euclid and Beyond, Springer, 2000 (ISBN 0-387-98650-2), « Chapter 7: Non-Euclidean Geometry, Section 37: Circular Inversion »
• (en) David C. Kay, College Geometry, New York, Holt, Rinehart and Winston, 1969 (LCCN 69-12075)

Liens externes

• Inversion: Reflection in a Circle sur cut-the-knot
• Wilson Stother's inversive geometry page
• IMO Compendium Training Materials Problèmes pratiques d'application de l'inversion pour des Olympiades de mathématiques
• (en) Eric W. Weisstein, « Inversion », sur MathWorld
• Visual Dictionary of Special Plane Curves Xah Lee
• « 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 ;
• [vidéo] Micmaths, « La plus belle des transformations géométriques », sur YouTube, 8 mai 2025.