Let ABC be a triangle and D be a point on BC. Let O be the circumcenter of ABC, O1 be the circumcenter of ABD, and O2 be the circumcenter of ACD. Then O, O1, O2 and A are on a circle.

Solution