Y by Mango247
Let
be an acute triangle. The altitudes
and
intersect at point
. Let
be the symmetric of
wrt
and
be the center of the circle circumscribed to the triangle
.
a) Prove that points
and
are concyclic.
b) Prove that
and
are concyclic.

![$[AA_1], [BB_1]$](http://latex.artofproblemsolving.com/7/f/3/7f3004437fe162f4c6ba43469f83729359397865.png)
![$[CC_1]$](http://latex.artofproblemsolving.com/0/7/1/07101372bff0d22bd9e122c53156023c8a91f70e.png)






a) Prove that points


b) Prove that

