Let ABC be an acute triangle and A1,B1 and C1, points on the sides BC,CA and AB, respectively, such that CB1=A1B1 and BC1=A1C1. Let D be the symmetric of A1 with respect to B1C1,O and O1 are the circumcenters of triangles ABC and A1B1C1, respectively. If A=D,O=O1 and AD is perpendicular to OO1, prove that AB=AC.
geometryequal segmentsCircumcentersymmetryperpendicular