2019 Serbia MO Day 2 P4
Source: 2019 Serbia MO
April 7, 2019
geometryangle bisectorsymmetrycircumcircle
Problem Statement
For a , let be the symmetric point of the intersection of angle bisector of and , where center of the symmetry is the midpoint of side , In the same way we define ( on ) and (on ). Intersection of circumcircle of and line is the set , with is the set and with is the set . If the perpendicular lines from on and , respectively are concurrent , prove that is isosceles.