Problem 4.
Let ABC be an acute triangle with circumcenter O. Let D be the foot of the altitude from A to BC and let M be the midpoint of OD. The points Ob and Oc are the circumcenters of triangles AOC and AOB, respectively. If AO=AD, then prove that the points A, Ob, M and Oc are concyclic.
Solution
Let

be the reflections of

across

respectively, and

be the midpoint of arc

in circle
. Note that,

and

hence quadrilateral

is a parallelogram, therefore points

are collinear and so

is the midpoint of
. We have the following Claim.
Claim: Quadrilateral

is cyclic.
Proof: Note that
, and so
. Moreover, if

intersects

at point
, then
, and since

we obtain that

bisects
. Since

are isogonal, this means
.
To finish, note that
hence

is cyclic. Thus,
as desired
Back to the problem, since

is cyclic and

are the midpoints of

respectively, we obtain that

is cyclic, too, as desired.