nice concyclic
Source: I.F.Sharygin contest 2009 - Correspondence round - Problem 20
May 31, 2009
geometrycircumcirclegeometric transformationreflectiontrigonometrygeometry proposed
Problem Statement
Suppose and are the orthocenter and the circumcenter of acute triangle ; , and are the altitudes of the triangle. Point is the reflection of in . Prove that , , and are concyclic.