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

(Solution)
(Solution)
Line 28: Line 28:
  
 
Then, <math>\angle P_{0}OA = \frac{2\pi}{n}a</math>, and <math>\angle P_{0}OB = \frac{2\pi}{n}b</math>
 
Then, <math>\angle P_{0}OA = \frac{2\pi}{n}a</math>, and <math>\angle P_{0}OB = \frac{2\pi}{n}b</math>
 +
 +
The perpendicular bisector of <math>AB</math> passes through <math>O</math>.
 +
 +
Let point <math>M</math>, not in <math>S</math> be a point that passes through the perpendicular bisector of <math>AB</math> at a distance <math>R</math> from <math>O</math>
  
 
{{alternate solutions}}
 
{{alternate solutions}}

Revision as of 19:47, 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_{0},P_{1},P_{2},...,P_{n-1} \right\}$, with $n\ge 3$, 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$ for $i=0,1,2,...,(n-1)$.

That defines the vertices of any regular polygon with $R$ being the radius of the circumcircle of the regular $n$-sided polygon.

Now we can pick any points $A$ and $B$ of the set as:

$A=P_{a}$ and $B=P_{b}$, where $a=0,1,2,...,(n-1)$; $b=0,1,2,...,(n-1)$; and $a\ne b$

Then,

$A=\left\langle Rcos\left( \frac{2\pi}{n}a \right),Rsin\left( \frac{2\pi}{n}a \right) \right\rangle$

and $B=\left\langle Rcos\left( \frac{2\pi}{n}b \right),Rsin\left( \frac{2\pi}{n}b \right) \right\rangle$

Let $O$ be point $(0,0)$ which is not part of $S$

Then, $\angle P_{0}OA = \frac{2\pi}{n}a$, and $\angle P_{0}OB = \frac{2\pi}{n}b$

The perpendicular bisector of $AB$ passes through $O$.

Let point $M$, not in $S$ be a point that passes through the perpendicular bisector of $AB$ at a distance $R$ from $O$

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