Browse · MathNet
PrintBaltic Way 2019
Baltic Way 2019 geometry
Problem
Several points are given in the plane. A child wants to draw (closed) discs in such a manner, that for any two points () there exists a disc that contains only one of these points. What is the minimum , such that for any initial configuration of 2019 points it is possible to draw the discs with the above property?
Solution
Answer: , where is the number of points.
We say that discs separates two points if it contains only one of them.
Estimation. Consider a set of points on a circle. Then any disc can separate at most two consecutive pairs, therefore we need at least discs.
Example. Let be a set of points, and be the convex hull of . Let be a disc that contains exactly points. There are points in the boundary of , such that and the (open) interval does not contain other points of . Let be a disc that separates points from the other points of .
Denote the set by and its convex hull by . There are points in the boundary of , such that and the (open) interval does not contain other points of . Let be a disc that separates points from the other points of .
By continuing this procedure we get a set of discs. (The description of the final step of the process we left to the reader. The last point that has no pair is .) This set of discs has the desired separating property. Indeed, let . If for some , then separates them. If and , , (or if and , ), then separates them.
We say that discs separates two points if it contains only one of them.
Estimation. Consider a set of points on a circle. Then any disc can separate at most two consecutive pairs, therefore we need at least discs.
Example. Let be a set of points, and be the convex hull of . Let be a disc that contains exactly points. There are points in the boundary of , such that and the (open) interval does not contain other points of . Let be a disc that separates points from the other points of .
Denote the set by and its convex hull by . There are points in the boundary of , such that and the (open) interval does not contain other points of . Let be a disc that separates points from the other points of .
By continuing this procedure we get a set of discs. (The description of the final step of the process we left to the reader. The last point that has no pair is .) This set of discs has the desired separating property. Indeed, let . If for some , then separates them. If and , , (or if and , ), then separates them.
Final answer
1010
Techniques
Convex hullsConstructions and lociColoring schemes, extremal arguments