Inversion (géométrie)

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant la géométrie.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Sommaire

1 Définition générale dans le cadre d’un espace affine euclidien
2 Propriétés
3 Dans le plan
- 3.1 Dans le plan affine euclidien
- 3.2 Dans le plan complexe
4 Voir aussi
- 4.1 Lien externe
- 4.2 Articles connexes

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

Soit $\mathcal{E}\,$ un espace affine euclidien, $\Omega\,$ un point de $\mathcal{E}\,$ et $k \in \mathbb{R}\,$ , alors pour tout point $M\,$ de $\mathcal{E}\,$ distinct de $\Omega\,$ , il existe un unique point $M'\,$ de $\mathcal{E}\,$ tel que :

$\Omega\,$ , $M\,$ et $M'\,$ sont alignés ;
$\overline{\Omega M}.\overline{\Omega M'} = k\,$ (produit des valeurs algébriques).

On peut ainsi définir l’inversion de centre $\Omega\,$ et de rapport $k\,$ comme l’application de $\mathcal{E}\backslash\{\Omega\}$ dans lui-même qui, à un point $M$ , associe l’unique point $M'\,$ correspondant aux caractéristiques précédentes.

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

Analyse: Supposons qu’un tel point $M'\,$ existe. Alors $M\,$ , $M'\,$ et $\Omega\,$ sont alignés. Ainsi, $\exists \lambda \in \mathbb{R}, \overrightarrow{\Omega M'} = \lambda \overrightarrow{\Omega M}$ .; Et comme $\left( \overrightarrow{\Omega M} | \overrightarrow{\Omega M'} \right) = k$ , car pour des points alignés le produit scalaire est identique au produit des valeurs algébriques, on a :; $\lambda . || \overrightarrow{\Omega M} ||^2 = k$ .; Puisque $M\,$ est distinct de $\Omega\,$ , on peut écrire :; $\lambda = \frac{k}{|| \overrightarrow{\Omega M} ||^2}$ .
Synthèse: Le point $M' = \Omega + \frac{k}{|| \overrightarrow{\Omega M} ||^2} . \overrightarrow{\Omega M}$ satisfait bien aux contraintes, et de part notre analyse il est le seul.
Remarque: Pourquoi n’avons nous pas simplement définit une inversion à partir de la formule précédente ? Parce qu’en fait la définition reste valable dans un espace affine quelconque, dès lors que l’on dispose d’une valeur algébrique sur les droites...

[modifier] Propriétés

Une inversion de rapport non-nul est bijective (c’est une involution : elle est sa propre réciproque).
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 invariante point par point lorsque le rapport est positif.
Les hyperplans passant par $\Omega\,$ sont aussi des invariants globaux.

Le principal intérêt des inversions est la propriété de conservation hyperplans/hypersphères (ou des droites/cercles dans le plan) :

Théorème: L’ensemble constitué par les hypersphères et les hyperplans est stable par inversion. Autrement dit, l’image, par une inversion, d’une hypersphère ou d’un hyperplan, est une hypersphère ou un hyperplan. Mais il est parfaitement possible que l’image d’une hypersphère (resp. d’un hyperplan) soit un hyperplan (resp. une hypersphère).

Démonstration

à faire

[modifier] Dans le plan

[modifier] Dans le plan affine euclidien

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

Démonstration

à faire

Signalons aussi l’existence de "machines à inversion", l’inverseur de Peaucellier :

Pour $a\,$ un point du plan affine euclidien et un rapport $R = \sqrt{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 $a\,$ et de rapport $R\,$ , de tout point dans la couronne centrée en $a\,$ , de rayon intérieur $r_1 - r_2\,$ , et de rayon extérieur $r_1 + r_2\,$ de la façon suivante :

Un point $x\,$ dans la couronne étant donnée, il existe deux points d’intersection $p(x)\,$ et $q(x)\,$ du cercle de centre $a\,$ et de rayon $r_1\,$ , et du cercle de centre $x\,$ et de rayon $r_2\,$
Puis on construit l’unique point $i(x)\,$ tel que $[x, p(x), i(x), q(x)]\,$ soit un losange.
On vérifie alors que l’application $i\,$ ainsi définie correspond bien à l’inversion cherchée.

Il faut un dessin.

[modifier] Dans le plan complexe

Dans le plan complexe, une inversion particulière est celle par rapport au cercle unité ; en terme 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.

Démonstration

à faire

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.

Démonstration

à faire