Problem

Source:

Tags: geometry, LaTeX, angle bisector



A circle with center O is inscribed in a quadrilateral ABCD and touches its non-parallel sides BC and AD at E and F respectively. The lines AO and DO meet the segment EF at K and N respectively, and the lines BK and CN meet at M. Prove that the points O,K,M and N lie on a circle.