Circumcenter on angle bisector