La siguiente es la relación entre los ángulos y lados relevantes:

• Ángulo ACE = Ángulo ECD = ½ Ángulo ACD

• Ángulo ACO = 90º - ½ Ángulo BAC

• Angular OCE = Angular ACE - ACO

• OE = ½ línea BC x tan (OCE)

• AE = OA + OE

• ED = ANUNCIO-AE

• Línea EDF = ½ Línea BDC

• EF = sin (EDF) x ED