Como los lados AB, BC y AD son cuerdas iguales, sus distancias al centro serán iguales, por lo que OB = OF = OG.
Los triángulos rectángulos OEB y OFB son iguales por tener la hipotenusa común e igual un cateto, por lo que áng EBO = áng FBO; entonces BO es la bisectriz del ángulo ABC.