Problem:
Let be an acute triangle with circumcenter . Let be the foot of the altitude from to and let be the midpoint of . The points and are the circumcenters of triangles and , respectively. If , prove that the points , , and are concyclic.
Solution
Solution:
Note that cannot hold since would imply that is the midpoint of , which is not possible for an acute triangle. So we may assume without loss of generality that .
Let and be the midpoints of and , respectively. Since (the latter since ), the pentagon is cyclic.
Next, notice that is the perpendicular bisector of , is the perpendicular bisector of and is the perpendicular bisector of . Hence these three lines are concurrent - denote their common point by .
The quadrilateral is cyclic if and only if . From the cyclic we have . Hence it now suffices to argue - or equivalently, that , , and are concyclic.
We assume that and so that is in the interior of triangle and is external to the triangle (the other cases are analogous and if or , then or and we are automatically done). We have
as well as (since is a perpendicular bisector of and hence bisects )
and therefore is cyclic, as desired.