Problem

Source: Indonesia Mathematics Olympiad 2008 Day 1 Problem 1

Tags: geometry, circumcircle, geometric transformation, rotation, geometry proposed



Given triangle $ ABC$. Points $ D,E,F$ outside triangle $ ABC$ are chosen such that triangles $ ABD$, $ BCE$, and $ CAF$ are equilateral triangles. Prove that cicumcircles of these three triangles are concurrent.