Para demostrar esto, Gergonne consideró rectas que pasaran por los puntos de tangencia de dos de las circunferencias dadas, es decir, la recta determinada por "A","A" y la determinada por "B","B".