Difference between revisions of "1999 IMO Problems/Problem 1"

(Solution)
(Solution)
Line 7: Line 7:
 
==Solution==
 
==Solution==
  
Upon reading this problem and drawing some points, one quickly realizes that the set  
+
Upon reading this problem and drawing some points, one quickly realizes that the set <math>S</math> consists of all the vertices of any regular polygon.
 +
 
 +
Now to prove it with some numbers:
 +
 
 +
Let <math>S=\left\{ P_{1},P_{2},...,P_{n} \right\}</math>, where <math>P_{i}</math> is a vertex of a polygon which we can define their <math>xy</math> coordinates as: <math>P_{i}=\left\langle Rcos\left( \frac{2\pi}{n}i \right),Rsin\left( \frac{2\pi}{n}i \right) \right\rangle</math>
  
 
{{alternate solutions}}
 
{{alternate solutions}}

Revision as of 19:33, 12 November 2023

Problem

Determine all finite sets $S$ of at least three points in the plane which satisfy the following condition:

For any two distinct points $A$ and $B$ in $S$, the perpendicular bisector of the line segment $AB$ is an axis of symmetry of $S$.

Solution

Upon reading this problem and drawing some points, one quickly realizes that the set $S$ consists of all the vertices of any regular polygon.

Now to prove it with some numbers:

Let $S=\left\{ P_{1},P_{2},...,P_{n} \right\}$, where $P_{i}$ is a vertex of a polygon which we can define their $xy$ coordinates as: $P_{i}=\left\langle Rcos\left( \frac{2\pi}{n}i \right),Rsin\left( \frac{2\pi}{n}i \right) \right\rangle$

Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.