Problem

Source: IMO LongList, Netherlands 3, IMO 1977, Day 1, Problem 1

Tags: complex numbers, geometry, square, polygon, IMO, IMO 1977



In the interior of a square $ABCD$ we construct the equilateral triangles $ABK, BCL, CDM, DAN.$ Prove that the midpoints of the four segments $KL, LM, MN, NK$ and the midpoints of the eight segments $AK, BK, BL, CL, CM, DM, DN, AN$ are the 12 vertices of a regular dodecagon.