Maths Olympiad Prep

Library / /21 of 520

Geometry Difficulty 4.8 AIME Find the answer

If P\mathrm{P} and Q\mathrm{Q} are two points in the plane, let m(PQ)\mathrm{m}(\mathrm{PQ}) be the perpendicular bisector of PQ.S\mathrm{PQ} . \mathrm{S} is a finite set of n>1n>1 points such that: (1) if PP and QQ belong to SS, then some point of m(PQ)m(P Q) belongs to S, (2) if PQ, PQ,PQ\mathrm{P}^{\prime} \mathrm{Q}^{\prime}, \mathrm{P}^{\prime \prime} \mathrm{Q}^{\prime \prime} are three distinct segments, whose endpoints are all in S, then if there is a point in all of m(PQ),m(PQ),m(PQ)\mathrm{m}(\mathrm{PQ}), \mathrm{m}\left(\mathrm{P}^{\prime} \mathrm{Q}^{\prime}\right), \mathrm{m}\left(\mathrm{P}^{\prime \prime} \mathrm{Q}^{\prime \prime}\right) it does not belong to S\mathrm{S}. What are the possible values of nn ?

## Answer

n=3\mathrm{n}=3 (equilateral triangle), 5 (regular pentagon).

A number or a short expression. Spacing and $ signs are ignored.

Solution

There are n(n1)/2n(n-1) / 2 pairs of points. Each has a point of SS on its bisector. But each point of SS is on at most two bisectors, so 2nn(n1)/22 n \geq n(n-1) / 2. Hence n5n \leq 5.

The equilateral triangle and regular pentagon show that n=3,5\mathrm{n}=3,5 are possible.

Consider n=4\mathrm{n}=4. There are 6 pairs of points, so at least one point of S\mathrm{S} must be on two bisectors. wlog A\mathrm{A} is on the bisectors of BC\mathrm{BC} and BD\mathrm{BD}. But then it is also on the bisector of CD.

Contradiction.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.