L'application z
1/z de
* sur
* est une involution qui correspond à l'involution F : (x,y)
(x/(x² + y²) , -y/(x² + y²)) de
² \ { (0 , 0) } sur lui-même .
Si (X,Y) = F(x,y) on a donc (x,y) = F(X,Y) et inversement .
Soient a et r des réels vérifiant a > r > 0 et C(a,r) le cercle d'équation (x - a)² + y² - r² = 0 .
Si (x,y)
C(a,r) et si on pose (X,Y) = F(x,y) on a donc x = X/(X² + Y²) et y = -Y/(X² + Y²) et donc
X² + Y² -2aX/(a² - r²) + 1/(a² - r²) = 0 qui est l'équation du cercle C(b,R) où b = a/(a² - r²) et R = a/(a² - r²)1/2 .
Reste à vérifier que F(C(b,R)) est contenu dans C(a,r) pour avoir F(C(a,r)) = C(b,R)