The incircle of a non-isosceles triangle ABC with the center I touches the sides BC,CA,AB at A1,B1,C1 respectively. The line AI meets the circumcircle of ABC at A2. The line B1C1 meets the line BC at A3 and the line A2A3 meets the circumcircle of ABC at A4(=A2). Define B4,C4 similarly. Prove that the lines AA4,BB4,CC4 are concurrent. geometrycircumcircletrigonometryNorth Korea