A inversa por I(O,r2) de uma circunferência que não passa por O é uma circunferência homotética da original. O ângulo que a tangente num ponto qualquer P desta circunferência faz com OP é congruente com o ângulo que OP faz com a tangente à inversa em P′ .
Dito de outro modo, as tangente em P e em P′ são imagens uma da outra por reflexão de eixo perpendicular a OP no ponto médio de PP′
No caso da construção que apresentamos a seguir, retomamos esse resultado partindo de duas circunferências tangentes num ponto T. Temos uma homotetia de centro H que transforma a circunferência de centro O na circunferência de centro P e a circunferência com centro em H e raio HT define uma inversão que faz corresponder à circunferência de centro P a circunferência de centro O.
A reta, tirada por H, que corta cada uma das circunferências em dois pontos, define pares de pontos (D,A) e (C,B) correspondentes pela homotetia e pares de pontos (C,A) e (D,B) correspondentes pela inversão I(H,HT2).
HAHD=HBHC=razão da homotetia de centro H da circunferência (P) para O HA×HC=HB×HD=HT2=potência da inversão para além de HC×HD=HR2=potência de H relativamente à circunferência de centro em P A razão de homotetia que transforma a circunferêcnia de centro P na circunferência de centro O é afinal a razão das potências de inversão e do ponto H relativamente à circunferência de centro P, já que HC=HT2HA∧HC=HR2HD e, em consequência, HT2HA=HR2HD ou seja HAHD=HT2HR2◻
Os triângulos isósceles BOA e CPD são semelhantes, sendo OB∥PC e OA∥PD.
A e C são inversos e correspondentes por reflexão relativamente á mediatriz de AC. Também B e D são inversos e correspondentes por reflexão relativamente á mediatriz de BD
Th. Caronnet, Éxercices de Géométrie, Vuibert. Paris:1947
Howard Eves, Fundamentals of Modern Elementary Geometry . Jones and Bartlett Pub. Boston:1992