l'inversion géométrique
(Pcoq & GeoView)
définition de l'inversion géométrique
image par une inversion d'une droite passant par le pôle
produit scalaire et projection orthogonale
image par une inversion d'une droite ne passant pas par le pôle
image par une inversion d'un cercle passant par le pôle
image par une inversion d'un cercle ne passant pas par le pôle
écriture complexe d'une inversion
JFLA 2004 F. GUILHOT