MathDB
Prove lines are concurrent.

Source: Vietnam TST 2008

April 5, 2008
geometrygeometric transformationreflectionratioangle bisectorperpendicular bisectorgeometry proposed

Problem Statement

On the plane, given an angle xOy xOy. M M be a mobile point on ray Ox Ox and N N a mobile point on ray Oy Oy. Let d d be the external angle bisector of angle xOy xOy and I I be the intersection of d d with the perpendicular bisector of MN MN. Let P P, Q Q be two points lie on d d such that IP \equal{} IQ \equal{} IM \equal{} IN, and let K K the intersection of MQ MQ and NP NP. 1. 1. Prove that K K always lie on a fixed line. 2. 2. Let d1 d_1 line perpendicular to IM IM at M M and d2 d_2 line perpendicular to IN IN at N N. Assume that there exist the intersections E E, F F of d1 d_1, d2 d_2 from d d. Prove that EN EN, FM FM and OK OK are concurrent.