Définition d’une inversion

On considère un espace affine euclidien $E$ .

Si $Ω$ est un point de $E$ , on appelle inversion de centre $Ω$ l’application qui à un point $M$ de $E$ distinct de $Ω$ associe le point $M^{'}$ tel que le vecteur $\vec{Ω M^{'}}$ soit colinéaire et de même sens que le vecteur $\vec{Ω M}$ et de norme inverse de celle de $\vec{Ω M}$ .

Autrement dit,

\vec{Ω M^{'}} = \frac{\vec{Ω M}}{Ω M^{2}}

L’inversion de centre $Ω$ est donc l’application

M \in E ∖ {Ω} \mapsto Ω + \frac{\vec{Ω M}}{Ω M^{2}}

On constate immédiatement que l’inversion de centre $Ω$ est une permutation de $E ∖ Ω$ puisque c’est clairement une involution.

On remarque également que si $M$ et $N$ sont de points de $E$ distincts de $Ω$ et $M^{'}$ et $N^{'}$ leurs images respectives par l’inversion de centre $Ω$ , alors

\begin{aligned} M^{'} N^{' 2} & = {(\vec{Ω N^{'}} - \vec{Ω M^{'}})}^{2} \\ = Ω M^{' 2} + Ω N^{' 2} - 2 \vec{Ω M^{'}} \cdot \vec{Ω N^{'}} \\ = \frac{1}{Ω M^{2}} + \frac{1}{Ω N^{2}} - 2 \frac{\vec{Ω M} \cdot \vec{Ω N}}{Ω M^{2} \cdot Ω N^{2}} \\ = \frac{Ω M^{2} + Ω N^{2} - 2 \vec{Ω M} \cdot \vec{Ω N}}{Ω M^{2} \cdot Ω N^{2}} \\ = \frac{{(\vec{Ω N} - \vec{Ω M})}^{2}}{Ω M^{2} \cdot Ω N^{2}} \\ = \frac{M N^{2}}{Ω M^{2} \cdot Ω N^{2}} \end{aligned}

et donc

M^{'} N^{'} = \frac{M N}{Ω M \cdot Ω N}

Formulation complexe

Dans le cas où $E$ est le plan complexe $C$ muni de sa structure euclidienne ususelle, l’inversion de centre $ω$ est tout simplement l’application

z \in C ∖ {ω} \mapsto ω + \frac{z - ω}{| z - ω |^{2}} = \frac{1}{\overset{―}{z - ω}}

Hypersphères et hyperplans

On rappelle qu’un hyperplan affine est un sous-espace affine dont la direction est un hyperplan vectoriel, c’est-à-dire le noyau d’une forme linéaire. Si $E$ est de dimension $2$ , un hyperplan affine est une droite affine et si $E$ est de dimension $3$ , un hyperplan affine est un plan affine.

On appelle hypersphère de centre $O \in E$ et de rayon $R \in R_{+}$ l’ensemble des points équidistants situés à une distance $R$ de $0$ , c’est-à-dire

{M \in E, O M = R}

A noter que, si $E$ est de dimension $2$ , alors une hypersphère est un cercle et, si $E$ est de dimension $3$ , alors une hypersphère est une sphère.

Equation d’un hyperplan

Un hyperplan affine $H$ contenant un point $O$ et de vecteur normal $\vec{n}$ est l’ensemble des points $M$ de $E$ vérifiant $\vec{O M} \cdot \vec{n} = 0$ . Ceci équivaut à $\vec{Ω M} \cdot \vec{n} = k$ avec $k = \vec{Ω O} \cdot \vec{n}$ .

Réciproquement, si $k \in R$ et $\vec{n}$ est un vecteur non nul, l’ensemble $H$ des points $M$ de $E$ vérifiant $\vec{Ω M} \cdot \vec{n} = k$ est bien un hyperplan de $E$ . En effet, la forme linéaire $φ : \vec{u} \mapsto \vec{u} \cdot \vec{n}$ est non nulle puisque $\vec{n}$ ne l’est pas : elle est donc surjective. Il existe donc un vecteur $\vec{u}$ tel que $\vec{u} \cdot \vec{n} = k$ . On vérifie alors aisément qu’en posant $O = Ω + \vec{u}$ , $H = O + Ker φ$ .

Les ensembles d’équations $\vec{Ω M} \cdot \vec{n} = k$ , avec $\vec{n}$ un vecteur non nul et $k \in R$ , sont exactement les hyperplans affines de $E$ .

On peut remarquer que si $k = 0$ , l’hyperplan affine contient le point $Ω$ .

Equation d’une hypersphère

L’hypersphère $S$ de centre $O$ et de rayon $R$ est l’ensemble des points $M$ vérifiant $O M^{2} = R^{2}$ . En remarquant que $\vec{O M} = \vec{O Ω} + \vec{Ω M}$ , ceci se réécrit via une identité remarquable

O Ω^{2} + 2 \vec{O Ω} \cdot \vec{Ω M} + Ω M^{2} = R^{2}

ou encore

Ω M^{2} + \vec{Ω M} \cdot \vec{n} = k

en posant $\vec{n} = 2 \vec{O Ω}$ et $k = R^{2} - O Ω^{2}$ .

Réciproquement, si $k \in R$ et $\vec{n}$ est un vecteur, l’ensemble $S$ des points $M$ de $E$ vérifiant

Ω M^{2} + \vec{Ω M} \cdot \vec{n} = k

est bien une hypersphère. En effet, en posant $O = Ω - \frac{1}{2} \vec{n}$ et $R^{2} = k + \frac{1}{4} | \vec{n} |^{2}$ , l’équation précédente devient $O M^{2} = R^{2}$ .

Les ensembles d’équations $Ω M^{2} + \vec{Ω M} \cdot \vec{n} = k$ , avec $\vec{n}$ un vecteur et $k \in R$ , sont exactement les hypersphères de $E$ .

On peut remarquer que si $k = 0$ , l’hypersphère contient le point $Ω$ .

Image des hyperplans affines et des hypersphères par une inversion

Dans tout ce paragraphe, on note $M^{'}$ l’image d’un point $M$ distinct de $Ω$ par l’inversion de centre $Ω$ .

Image d’un hyperplan affine

On se donne un hyperplan affine $H$ de $E$ . Il existe donc un réel $k$ et un vecteur non nul $\vec{n}$ tel que $H$ soit l’ensemble des points $M$ tels que $\vec{Ω M} \cdot \vec{n} = k$ .

Ainsi, pour tout point $M$ distinct de $Ω$ ,

\begin{aligned} M \in H & ⟺ \vec{Ω M} \cdot \vec{n} = k \\ ⟺ \frac{\vec{Ω M}}{Ω M^{2}} \cdot \vec{n} = \frac{k}{Ω M^{2}} \\ ⟺ \vec{Ω M^{'}} \cdot \vec{n} = k Ω M^{' 2} \end{aligned}

Si $k = 0$ , $H$ est l’hyperplan affine contenant $Ω$ et de vecteur normal $\vec{n}$ et son image par l’inversion de centre $Ω$ est ce même hyperplan affine $H$ .

Si $k \neq 0$ , $H$ est un hyperplan affine ne contenant pas $Ω$ et son image par l’inversion de centre $Ω$ est l’ensemble des points $M^{'}$ tels que

Ω M^{' 2} + \vec{Ω M^{'}} \cdot (- \frac{1}{k} \vec{n}) = 0

c’est-à-dire une hypersphère contenant $Ω$ .

On peut le vérifier à l’aide de l’applet suivante. L’image d’une droite $(A B)$ du plan par l’inversion de centre $Ω$ est bien un cercle passant par $Ω$ dans le cas général et une droite si $(A B)$ passe par $Ω$ .

Les points $A$ , $B$ et $Ω$ peuvent être déplacés.

La vidéo suivante montre l’image (en vert) d’un plan mobile (en bleu) par une inversion dont le centre est représenté par un point rouge.

L’image du plan est bien une sphère passant par le centre de l’inversion sauf lorsque le plan passe lui-même par le centre de l’inversion.

from numpy import meshgrid, linspace, cos, sin, pi, ones, logspace
from mpl_toolkits.mplot3d import Axes3D
from matplotlib.pyplot import figure
from matplotlib.animation import FuncAnimation, writers


def generate_plane(z):
    Zp = z * ones((n, n))
    return Zp


def generate_sphere(z):
    n = x ** 2 + y ** 2 + z ** 2
    Xi = x / n
    Yi = y / n
    Zi = z / n
    return Xi, Yi, Zi


def update(i):
    ax.cla()
    ax.set_aspect('equal')
    ax.set_axis_off()
    ax.set_xlim(-3, 3)
    ax.set_ylim(-3, 3)
    ax.set_zlim(-3, 3)
    ax.view_init(-10 + i / frames * 20, i / frames * 180)
    ax.scatter([0], [0], [0], color='red')
    z = -2 + i * 4 / frames
    Zp = generate_plane(z)
    ax.plot_surface(Xp, Yp, Zp, alpha=.5, color='blue')
    Xi, Yi, Zi = generate_sphere(z)
    ax.plot_surface(Xi, Yi, Zi, alpha=.5, color='green')


fig = figure()
ax = fig.gca(projection='3d')

n = 50
x = linspace(-2, 2, n)
y = linspace(-2, 2, n)
Xp, Yp = meshgrid(x, y)

r = logspace(-2, 2, n)
p = linspace(0, 2 * pi, n)
R, P = meshgrid(r, p)
x, y = R * cos(P), R * sin(P)

frames = 100
ani = FuncAnimation(fig, update, frames=frames, interval=100, repeat=True)
Writer = writers['ffmpeg']
writer = Writer(fps=20, metadata=dict(artist='Laurent Garcin'), bitrate=18000)
ani.save('inversion_plan.mp4', writer=writer)

Image d’une hypersphère

On se donne une hypersphère $S$ de $E$ . Il existe donc un réel $k$ et un vecteur $\vec{n}$ tel que $S$ soit l’ensemble des points $M$ tels que $Ω M^{2} + \vec{Ω M} \cdot \vec{n} = k$ .

Ainsi, pour tout point $M$ distinct de $Ω$ ,

\begin{aligned} M \in S & ⟺ Ω M^{2} + \vec{Ω M} \cdot \vec{n} = k \\ ⟺ 1 + \frac{\vec{Ω M}}{Ω M^{2}} \cdot \vec{n} = \frac{k}{Ω M^{2}} \\ ⟺ 1 + \vec{Ω M^{'}} \cdot \vec{n} = k Ω M^{' 2} \end{aligned}

Si $k = 0$ , $S$ est une hypersphère contenant $Ω$ et son image par l’inversion de centre $Ω$ est un hyperplan affine ne contenant pas $Ω$ .

Si $k \neq 0$ , $S$ est une hypersphère ne contenant pas $Ω$ et son image par l’inversion de centre $Ω$ est l’ensemble des points $M^{'}$ tels que

Ω M^{' 2} + \vec{Ω M^{'}} \cdot (- \frac{1}{k} \vec{n}) = \frac{1}{k}

c’est-à-dire une hypersphère ne contenant pas $Ω$ .

A nouveau, on peut vérifier que l’image du cercle de rayon $[A B]$ par l’inversion de centre $Ω$ est bien un cercle dans le cas général et une droite si le cercle de rayon $[A B]$ passe par $Ω$ .

Les points $A$ , $B$ et $Ω$ peuvent encore être déplacés.

La vidéo qui suit montre l’image (en vert) d’une sphère mobile (en bleu) par une inversion dont le centre est représenté par un point rouge.

On constate bien que l’image de la sphère mobile est bien une sphère sauf lorsqu’elle passe par le centre de l’inversion, auquel cas c’est un plan.

from numpy import meshgrid, linspace, cos, sin, pi
from mpl_toolkits.mplot3d import Axes3D
from matplotlib.pyplot import figure
from matplotlib.animation import FuncAnimation, writers


def generate_sphere(X):
    n = X ** 2 + Y ** 2 + Z ** 2
    Xi = X / n
    Yi = Y / n
    Zi = Z / n
    return Xi, Yi, Zi


def update(i):
    ax.cla()
    ax.set_aspect('equal')
    ax.set_axis_off()
    ax.set_xlim(-3, 3)
    ax.set_ylim(-3, 3)
    ax.set_zlim(-3, 3)
    ax.scatter([0], [0], [0], color='red')
    X = X0 - 3 + 6 * i / frames
    ax.plot_surface(X, Y, Z, alpha=.5, color='blue')
    Xi, Yi, Zi = generate_sphere(X)
    ax.plot_surface(Xi, Yi, Zi, alpha=.5, color='green')


fig = figure()
ax = fig.gca(projection='3d')

n = 50
frames = 100

r = 1
p = linspace(0, 2 * pi, n)
t = linspace(-pi / 2, pi / 2)
P, T = meshgrid(p, t)
X0, Y, Z = r * cos(P) * cos(T), r * sin(P) * cos(T), r * sin(T)

ani = FuncAnimation(fig, update, frames=frames, interval=100, repeat=True)
Writer = writers['ffmpeg']
writer = Writer(fps=20, metadata=dict(artist='Laurent Garcin'), bitrate=18000)
ani.save('inversion_sphere.mp4', writer=writer)

Inégalité de Ptolémée

On se place maintenant dans le cas où $E$ est un plan affine euclidien.

L’image d’une droite $D$ par l’inversion de centre $Ω$ est donc un cercle passant par $Ω$ si $D$ ne passe pas par $Ω$ et $D$ elle-même sinon.
De même, l’image d’un cercle $C$ par l’inversion de centre $Ω$ est un cercle ne passant pas par $Ω$ si $C$ ne passe pas par $Ω$ et une droite ne passant pas par $Ω$ sinon.

On considère quatre points $A$ , $B$ , $C$ et $D$ deux à deux distincts de l’espace affine $E$ . On note $A^{'}$ , $B^{'}$ et $C^{'}$ les images des points $A$ , $B$ et $C$ par l’inversion de centre $D$ .

Remarquons que

\begin{aligned} A^{'} B^{'} & = \frac{A B}{A D \cdot B D} & B^{'} C^{'} & = \frac{B C}{B D \cdot C D} & A^{'} C^{'} & = \frac{A C}{A D \cdot C D} \end{aligned}

Par inégalité triangulaire

\frac{A C}{A D \cdot C D} = A^{'} C^{'} \leq A^{'} B^{'} + B^{'} C^{'} = \frac{A B}{A D \cdot B D} + \frac{B C}{B D \cdot C D}

ou encore

A C \cdot B D \leq A B \cdot C D + A D \cdot B C

Cas d’égalité

Le cas d’égalité dans l’inégalité précédente se produit si et seulement si $A^{'} C^{'} = A^{'} B^{'} + B^{'} C^{'}$ autrement dit si et seulement si $A^{'}$ , $B^{'}$ et $C^{'}$ sont alignés dans cet ordre.

Cas de cocyclicité

Si $A^{'}$ , $B^{'}$ et $C^{'}$ sont alignés dans cet ordre mais non alignés avec $D$ , alors leurs images par l’inversion de centre $D$ , à savoir les points $A$ , $B$ et $C$ (car l’inversion est une involution), sont placées sur un cercle $C$ passant par $D$ . De plus, l’inversion de centre $D$ est continue sur $E ∖ D$ donc l’image d’une partie connexe par arcs est connexe par arcs. Notamment l’image de $[A^{'} C^{'}]$ par l’inversion de centre $D$ est une partie connexe par arcs du cercle $C$ . Comme l’inversion de centre $D$ est également injective¹, il s’agit de l’arc du cercle $C$ d’extrémités $A$ et $C$ ne contenant pas $D$ ( $D$ n’est pas dans l’image de l’inversion). Puisque $B^{'}$ appartient à $[A^{'} C^{'}]$ , $B$ appartient à cet arc de cercle. Finalement, $A$ , $B$ , $C$ et $D$ sont cocycliques dans cet ordre.

Réciproquement, supposons que $A$ , $B$ , $C$ , $D$ soient cocycliques dans cet ordre. Alors $A^{'}$ , $B^{'}$ et $C^{'}$ sont alignés et le même argument de connexité et d’injectivité que précédemment montre qu’ils sont alignés dans cet ordre.

Cas d’alignement

Si les points $A^{'}$ , $B^{'}$ et $C^{'}$ sont alignés dans cet ordre avec $D$ sur une droite $D$ , alors leurs images, à savoir les points $A$ , $B$ et $C$ , sont également alignées sur cette même droite $D$ . Remarquons alors que les points $A$ , $B$ et $C$ sont tous sur la même demi-droite issue de $D$ et alignés dans cet ordre. En effet, si $A$ et $B$ étaient par exemple sur une même demi-droite issue de $D$ et $C$ sur l’autre demi-droite issue de $D$ , $A^{'}$ et $B^{'}$ resteraient sur la même demi-droite issue de $D$ , mais dans un ordre inverse, et $C^{'}$ resterait également sur la même demi-droite issue de $D$ : les points $A^{'}$ , $B^{'}$ et $C^{'}$ seraient alors alignés sur la même droite mais pas dans cet ordre.

Evidemment, puisque l’inversion de centre $D$ est une involution, la réciproque est égalemement vraie : si $A$ , $B$ et $C$ sont alignés dans cet ordre sur une même demi-droite issue de $D$ , alors il en est de même des points $A^{'}$ , $B^{'}$ et $C^{'}$ .

Conclusion

Finalement, le cas d’égalité dans l’inégalité de Ptolémée ne se produit que dans les deux cas suivants :

$A$ , $B$ , $C$ et $D$ sont cocycliques dans cet ordre ;
$A$ , $B$ , $C$ , $D$ sont alignés dans l’ordre $A - B - C - D$ ou $D - A - B - C$ .

Point à l’infini

On peut regrouper les équations d’hyperplan et d’hypersphère en une seule équation générique.

α Ω M^{2} + \vec{Ω M} \cdot \vec{n} = k

avec $α$ , $\vec{n}$ et $k$ non tous trois nuls. Lorsque $α = 0$ , on retrouve une équation d’hyperplan et lorsque $α \neq 0$ , une équation d’hypersphère.

En notant $M^{'}$ l’image du point $M$ par l’inversion de centre $Ω$ , cette équation équivaut à

k Ω M^{' 2} - \vec{Ω M^{'}} \cdot \vec{n} = α

On retrouve bien le fait que l’image d’un hyperplan/hypersphère est bien un hyperplan/hypersphère.

On peut même aller plus loin dans ce rapprochement entre hypersphères et hyperplans. En effet, un hyperplan peut-être vu comme un cas particulier d’hypersphère quitte à rajouter à l’espace affine $E$ un point à l’infini : un hyperplan est alors une hypersphère de rayon infini passant par ce point à l’infini.

En notant $\infty$ ce point à l’infini, on peut étendre l’inversion $I_{Ω}$ de centre $Ω \in E$ – a priori définie sur $E ∖ Ω$ – en une involution de $\hat{E} = E ⊔ \infty$ en posant $I_{Ω} (Ω) = \infty$ et $I_{Ω} (\infty) = Ω$ . Encore mieux, en munissant $\hat{E}$ d’une topologie adéquate ², toute inversion est alors continue. Les arguments de connexité utilisés précédemment fonctionnent alors encore : les images de points alignés ou cocycliques dans un certain ordre restent alignés ou cocycliques dans ce même odre – y compris lorsque l’un des points ou son image est le point à l’infini.

La preuve du cas d’égalité dans l’inégalité de Ptolémée se trouve alors simplifiée. Si $A^{'}$ , $B^{'}$ et $C^{'}$ sont alignés dans cet ordre, on peut également affirmer que $A^{'}$ , $B^{'}$ , $C^{'}$ et $\infty$ sont également “alignés dans cet ordre”. Leurs images par l’inversion de centre $D$ , à savoir les points $A$ , $B$ , $C$ et $D$ sont alors cocycliques ou alignés dans cet ordre³. L’inversion de centre $D$ étant une involution, la réciproque est quasi-automatique.

Notes

Plus précisément, la composée de l’application $t \in [0, 1] \mapsto (1 - t) A + t B$ (chemin décrivant le segment $[A B]$ ) par l’inversion de centre $D$ est injective : elle ne prend donc qu’une fois les valeurs $A^{'}$ et $B^{'}$ , respectivement en $0$ et $1$ . ↩
On ajoute à la topologie de $E$ les parties obtenues comme complémentaires de compacts de $E$ , auxquelles on adjoint le point $\infty$ : muni de cette topologie, l’espace $\hat{E}$ porte le nom de compactifié d’Alexandrov de $E$ . Comme son nom l’indique, il est bien compact. ↩
Il faut néanmoins remarquer que toute droite se “referme à l’infini” en un cercle : dire que $A$ , $B$ , $C$ , $D$ sont alignés sur une droite dans cet ordre signifie que les ponts $A$ , $B$ , $C$ et $D$ sont alignés au sens usuel dans l’ordre $A - B - C - D$ ou $D - A - B - C$ . ↩