La secante común AC a las dos circunferencias es perpendicular al segmento OO’, y este segmento es mediatriz de AC; como las dos circunferencias son iguales, la secante AC es medatriz de OO’.
Entonces las diagonales del cuadrilátero AOCO’ son perpendiculares y se cortan en su punto medio, por lo que se trata de un rombo.
