Maths Olympiad Prep

Library / /44 of 56

Geometry Difficulty 6.1 National Olympiad Prove it Singapore

There are 20172017 distinct points in the plane. For each pair of these points, construct the midpoint of the segment joining the pair of points. What is the minimum number of distinct midpoints among all possible ways of placing the points?

Solution

Suppose the points are placed on the xx-axis with coordinates (i,0)(i, 0), i=0,,2016i = 0, \dots, 2016. Then midpoints are (i/2,0)(i/2, 0), i=1,2,,4031i = 1, 2, \dots, 4031. Thus there are 40314031 distinct midpoints.

Next we shall prove that there are at least 40314031 distinct midpoints. Let A1,,A2017A_1, \dots, A_{2017} be the points and assume that A1,A2A_1, A_2 are the pair that are furthest apart. Consider the 40304030 segments from A1A_1 and A2A_2 to A3,,A2015A_3, \dots, A_{2015}. The midpoints are distinct. For if X,YX, Y are two points so that the midpoints of A1XA_1X and A2YA_2Y coincide, then we have two cases. If the four points are not collinear, then they are vertices of a parallelogram with A1X,A2YA_1X, A_2Y as diagonals and A1A2A_1A_2 as a side. This is not possible as the longer diagonal is longer than a side. Otherwise A1,A2,X,YA_1, A_2, X, Y are collinear. Then it is easy to verify that if XX is in the segment A1A2A_1A_2, then YY must be outside making A1A2<A2YA_1A_2 < A_2Y, a contradiction. Also none of these midpoints is the midpoint of A1A2A_1A_2. Thus we have at least 40314031 distinct midpoints.

In conclusion, the minimum number of midpoints is 40314031.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.