Let K2 and L2 be the midpoints of the segments BK and CL respectively (fig. 18). Then MK2∥AC and ML2∥AB. Hence, ∠K2ML2=∠BAC. From the isosceles triangles BK1K and CL1L we have that ∠L1L2K1=∠K1K2L1=90∘ and then L1,L2,K1,K2 lie on the same circle with diameter K1L1. Also note that
∠K2K1L2=∠K2L1L2=90∘−∠BOC=∠BAC=∠K2ML2.
So, M also lies on a circle with diameter K1L1. Hence, ∠K1ML1=90∘.