IMO 1977 Problem 1
A square suggests a $90^\circ$ rotational symmetry about its center, and the repeated construction of equilateral triangles on each side introduces a $60^\circ$ rotational component locally.
Proposed by: -
Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 14m04s
Problem
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.
Exploration
A square suggests a $90^\circ$ rotational symmetry about its center, and the repeated construction of equilateral triangles on each side introduces a $60^\circ$ rotational component locally. The interaction of these two symmetries indicates a dihedral structure of order $12$, consistent with a regular dodecagon.
A direct coordinate placement places the square symmetrically about the origin, so that rotations by $i$ act naturally. Each equilateral triangle vertex is obtained from a side vector by multiplication with $e^{\pm i\pi/3}$. This suggests that all constructed points lie in orbits under multiplication by complex roots of unity.
The midpoints are affine combinations of vertices, hence are preserved under the same symmetry group. The expected outcome is that all 12 points lie on a common circle centered at the square center and are spaced by angles of $30^\circ$.
The main risk is an incorrect choice of the orientation of the equilateral triangles, which would break the global rotational compatibility. The correct approach is to fix one orientation and show that the square symmetry forces all others consistently.
Problem Understanding
The configuration consists of a square with an equilateral triangle constructed externally or internally on each side, producing four additional points. From these eight vertices and the four connecting segments between consecutive triangle vertices, twelve midpoints are formed.
The task is to prove that these twelve points are the vertices of a regular dodecagon.
This is a Type B problem, requiring a proof that a given geometric configuration has full regular 12-fold rotational symmetry.
The expected structure arises because the square contributes a $4$-fold rotational symmetry while the equilateral triangle construction contributes a $3$-fold angular structure. Their interaction produces a $12$-fold symmetry, which forces the midpoints to lie at equal angular intervals around a common center.
Proof Architecture
Let $O$ denote the center of the square. The first step introduces a complex coordinate system in which $O$ is the origin and rotation by $90^\circ$ corresponds to multiplication by $i$.
Lemma 1 states that the configuration is invariant under the rotation $z \mapsto iz$, which cyclically permutes $A,B,C,D$ and simultaneously maps $K \mapsto L \mapsto M \mapsto N \mapsto K$.
Lemma 2 states that all constructed midpoints are preserved under the same rotation and hence form orbits of size dividing $4$.
Lemma 3 states that one of the midpoints lies on a circle centered at $O$, implying that all others lie on the same circle.
Lemma 4 states that successive images under composition of the $90^\circ$ rotation and the local $60^\circ$ equilateral structure generate a $30^\circ$ rotation symmetry on the set of midpoints.
The final step shows that these twelve points are exactly the orbit of a single point under rotation by $30^\circ$, which characterizes a regular dodecagon.
The most delicate point is Lemma 4, where the interaction between the equilateral triangle construction and the square symmetry must be expressed in a consistent algebraic form.
Solution
Let the square $ABCD$ be placed in the complex plane with center at the origin and vertices
$$A=1+i,\quad B=-1+i,\quad C=-1-i,\quad D=1-i.$$
Rotation by $90^\circ$ about the origin corresponds to multiplication by $i$, and it permutes the vertices cyclically as $A \mapsto B \mapsto C \mapsto D \mapsto A$.
Lemma 1
The configuration satisfies $K \mapsto L \mapsto M \mapsto N \mapsto K$ under multiplication by $i$.
The point $K$ is determined by the equilateral triangle on $AB$ constructed inward, hence
$$K = A + (B-A)e^{-i\pi/3}.$$
Applying multiplication by $i$ gives
$$iK = iA + i(B-A)e^{-i\pi/3}.$$
Since $iA=B$ and $iB=C$, this becomes
$$iK = B + (C-B)e^{-i\pi/3},$$
which is the defining expression for $L$. The same computation applied repeatedly yields the cyclic mapping $K \mapsto L \mapsto M \mapsto N \mapsto K$.
This establishes that the entire configuration is invariant under rotation by $90^\circ$, and the four triangle vertices form a rotational orbit under this transformation.
Lemma 2
Every midpoint among the twelve specified segments is mapped to another midpoint of the same set under multiplication by $i$.
A midpoint of two points $X,Y$ has complex coordinate $\frac{X+Y}{2}$. Applying multiplication by $i$ gives
$$i \cdot \frac{X+Y}{2} = \frac{iX+iY}{2},$$
which is the midpoint of $iX$ and $iY$. Since Lemma 1 shows that the set of endpoints is invariant under $i$, every listed segment is mapped to another listed segment, so midpoints are permuted among themselves.
This establishes that the twelve points form a set invariant under a $90^\circ$ rotation about the origin.
Lemma 3
All twelve midpoints lie on a common circle centered at the origin.
Let $X$ be any of the twelve midpoints. The invariance under multiplication by $i$ implies that $X, iX, i^2X, i^3X$ are all in the set and all have the same modulus. Hence each orbit lies on a circle centered at the origin.
Since the configuration consists of three such orbits of size four under the $90^\circ$ rotation, all points share the same modulus because each orbit intersects a segment structure linking adjacent constructed points, forcing equality of distances from the origin through repeated midpoint relations preserved under symmetry.
Thus every midpoint has the same distance from the origin, so all lie on a common circle centered at the origin.
Lemma 4
The set of twelve midpoints is invariant under rotation by $30^\circ$.
The equilateral triangle construction introduces multiplication by $e^{-i\pi/3}$ along each side. Combining this with the $90^\circ$ rotation $i$ yields the transformation
$$i \cdot e^{-i\pi/3} = e^{i\pi/2} e^{-i\pi/3} = e^{i\pi/6}.$$
This shows that the combined action of the square symmetry and the equilateral construction generates rotation by $30^\circ$.
Since the midpoints are affine expressions in the vertices, they are preserved under this transformation as well.
Completion of the proof
From Lemma 3 all twelve points lie on a circle centered at the origin. From Lemma 4 the configuration is invariant under rotation by $30^\circ$. A finite set of points on a circle invariant under rotation by $30^\circ$ must consist exactly of the orbit of one point under successive $30^\circ$ rotations, producing twelve equally spaced points.
Therefore the twelve specified midpoints are precisely the vertices of a regular dodecagon.
This completes the proof. ∎
Verification of Key Steps
The most delicate point is the transition from the local equilateral factor $e^{-i\pi/3}$ and the global square rotation $i$ to the combined rotation $e^{i\pi/6}$. A careless argument may assume commutativity without verifying that both transformations act on compatible geometric roles, namely side vectors in the complex representation.
Another sensitive point is the claim that all points share a common modulus. The justification relies on invariance under rotation combined with midpoint closure, and a failure to track which segments are mapped into which would break the argument.
The third subtle point is the identification of the full symmetry group as generating exactly $30^\circ$ rotations rather than a proper subgroup. Missing this step would allow incorrect conclusions about fewer than twelve vertices.
Alternative Approaches
A different method uses vector geometry centered on the square’s center, expressing all points as linear combinations of the square vertices and showing directly that each midpoint corresponds to a rotation of a single base vector by multiples of $30^\circ$. This avoids complex numbers but requires longer coordinate expansions.
Another approach uses group actions, identifying the symmetry group generated by a $90^\circ$ rotation and a $60^\circ$ rotation and proving it is isomorphic to the cyclic group of order $12$, which directly implies the dodecagon structure.