Euclides tiene una herramienta llamada divisor que solo puede hacer los siguientes dos tipos de operaciones : • Dados tres puntos marcados no colineales $X,Y,Z$ puede dibujar la línea que forma la bisectriz del ángulo interior de $\angle{XYZ}$ . • Puede marcar el punto de intersección de dos líneas no paralelas dibujadas previamente . Suponga que a Euclides solo se le dan tres puntos marcados no colineales $A,B,C$ en el plano . Pruebe que Euclides puede usar el divisor varias veces para dibujar el centro del círculo que pasa por $A,B$ y $C$ .