Problem

Source: French MO 1996 P1

Tags: geometry



Consider a triangle $ABC$ and points $D,E,F,G,H,I$ in the plane such that $ABED$, $BCGF$ and $ACHI$ are squares exterior to the triangle. Prove that points $D,E,F,G,H,I$ are concyclic if and only if one of the following two statements hold: (i) $ABC$ is an equilateral triangle. (ii) $ABC$ is an isosceles right triangle.