À cet effet, considérons la transformation de sphères précédemment définie. Je vais montrer que, lorsque la sphère
dont elle dépend est une véritable sphère et ne se réduit pas à un plan, il existe toujours un rayon
tel, que toutes les sphères de rayon
ont pour transformées, quelle que soit leur position par rapport à
, des sphères de rayon égal à
.
Désignons par
le rayon de
. Soient
,
deux sphères de rayons
,
, coupant
suivant le même cercle. Si l’on appelle
,
les angles sous lesquels ces sphères coupent
, on établira sans peine la relation
|
,
|
|
d’où l’on déduit
|
.
|
|
Cette relation est de même forme que la formule (1). Il suffira donc de déterminer
par l’équation
|
.
|
|
Alors les sphères
,
seront correspondantes dans la transformation définie par notre deuxième proposition. J’ajoute que leurs centres, situé en ligne droite avec le centre de
, seront inverses par rapport à la sphère
, concentrique à
et de rayon
.
D’après cela, soient
une surface quelconque et
sa transformée. Si l’on prend toutes les sphères
de rayon
tangentes à
, elles auront pour transformées des sphères
de rayon
, tangentes à
. Les surfaces
,
, lieux des centres des sphères
,
, seront évidemment parallèles respectivement à
et à
, et, d’après ce qui vient d’être démontré, elles seront inverses l’une de l’autre par rapport à la sphère
. On voit donc que l’on peut passer de
à
: 1o par une dilatation qui transforme
en
; 2o par une inversion par rapport à la sphère auxiliaire (
, inversion qui transforme
en
; 3o enfin par une nouvelle dilatation qui transforme
en
.
Dans le cas spécial où la sphère
se réduirait à un plan, il faudrait commencer par effectuer une inversion quelconque sur l’ensemble de la figure.
Je terminerai en remarquant que la recherche des modes de transformation des surfaces avec conservation des lignes de courbure est liée de la manière la plus étroite avec celle des systèmes orthogonaux. Toutes les fois