Si C["p"/"q"] y C["r"/"s"] son círculos de Ford tangentes entre sí, entonces el semicírculo que une ("p"/"q", 0) con ("r"/"s", 0) que es perpendicular con el eje "x" es una recta hiperbólica que también pasa por el punto donde los dos círculos son tangentes entre sí.