concyclic Points
Source: 2014 Korea Junior Olympiad Round 2 #1
September 29, 2016
geometry
Problem Statement
Given with incenter . Line meets at . The incenter of are , respectively. Line meets the circumcircle of at and line meets the circumcircle of at.
Show that the midpoint of lies on the circumcircle of .