The vertices of a square ABCD are labelled anti-clockwise. A and C are the vertices of an equilateral triangle AEC, whose vertices are also labelled anti-clockwise