MathLabs

Problem 1

Determine all finite sets S S of at least three points in the plane which satisfy the following condition: For any two distinct points A A and B B in S S , the perpendicular bisector of the line segment AB AB is an axis of symmetry of S S .
Step 2 of 6: Show the hull is equilateral
In plain words

Reflect the two neighboring hull vertices.

AiAi+1=Ai+1Ai+2A_iA_{i+1}=A_{i+1}A_{i+2}
Detailed analysis

The perpendicular bisector of AiAi+2 A_iA_{i+2} is an axis of symmetry. Since Ai+1 A_{i+1} is the intervening hull vertex, it must lie on this axis; hence AiAi+1=Ai+1Ai+2 A_iA_{i+1}=A_{i+1}A_{i+2}. Repeating around the hull makes all sides equal.