Cuadrado y proporcionalidad en el arbelos

Se tienen dos círculos cA y cB de centroa A y B, tangentes externamente entre sí en O e internamente al círculo cC en E y F, y cuyo centro C está alineado con A y B. Si c es uno de los círculos tangentes a los tres en H, J y D respectivamente, se tienen que: EO/FO = ED/FD [HOJD] es un cuadrado
Para conocer más de la inversión, ver La inversión en el plano. Para establecer finalmente la proporción entre segmentos, se utiliza el Teorema de la Bisectriz.