l'inversion géométrique
(Pcoq & GeoView)
produit scalaire et projection orthogonale
puissance d'un point par rapport à un cercle
une caractérisation des points cocycliques
définition de l'inversion géométrique
image par une inversion d'une droite (2 cas : la droite passe par le pôle ou non)
image par une inversion d'un cercle (2 cas : le cercle passe par le pôle ou non)
écriture complexe d'une inversion
JFLA 2004 F. GUILHOT