MathDB
concyclic , touchpoints of incircle related

Source: All-Russian MO 1994 Regional (R4) 11.3

August 26, 2024
geometryConcyclicincircle

Problem Statement

A circle with center OO is tangent to the sides ABAB, BCBC, ACAC of a triangle ABCABC at points E,F,DE,F,D respectively. The lines AOAO and COCO meet EFEF at points NN and MM. Prove that the circumcircle of triangle OMNOMN and points OO and DD lie on a line.