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.