Problem:
On the circumcircle of , let be the midpoint of arc (not containing ).
a. Show that are collinear.
b. Show that is the circumcenter of .
Problem:
On the circumcircle of , let be the midpoint of arc (not containing ).
a. Show that are collinear.
b. Show that is the circumcenter of .
Solution:

a. Since bisects the arc , the two arcs and are equal, and so . Thus, lies on the angle bisector of . Since also lies on the angle bisector of , we see that are collinear.
b. We have
Therefore, . By similar arguments, . So, is equidistant from , and thus is its circumcenter.