Solution:
The circumcircles of ABC and BHC have the same radius. So, XB=XC=XH=XO=r (where r is the radius of the circle ABC) and O′ lies on C(X,r). We conclude that OX is the perpendicular bisector for [BC]. So, BOX and COX are equilateral triangles.
It is known that AH=2ON=r. So, AHO′X is a parallelogram, and XK=KH=r/2. Finally, XL=XK=XN=XM=r/2. So, K, L, M and N lie on the circle c(X,r/2).