Concurrent lines
Source: North Korea Team Selection Test 2013 #1
May 17, 2014
geometrycircumcircletrigonometryNorth Korea
Problem Statement
The incircle of a non-isosceles triangle with the center touches the sides at respectively. The line meets the circumcircle of at . The line meets the line at and the line meets the circumcircle of at . Define similarly. Prove that the lines are concurrent.