Sean A, B y C tres puntos cocíclicos, y O el centro de la circunferencia que pasa por A, B y C (O es el circuncentro, o centro de la circunferencia circunscrita al triángulo).