Maths Olympiad Prep

Library / /3 of 10

, 2017

Geometry Difficulty 5.6 AIME, harder Prove it Canada

One hundred circles of radius one are positioned in the plane so that the area of any triangle formed by the centres of three of these circles is at most 20172017. Prove that there is a line intersecting at least three of these circles.

Solution

We will prove that given nn circles, there is some line intersecting more than n46\frac{n}{46} of them. Let SS be the set of centers of the nn circles. We will first show that there is a line \ell such that the projections of the points in SS lie in an interval of length at most 8068<90\sqrt{8068} < 90 on \ell.

Let AA and BB be the pair of points in SS that are farthest apart and let the distance between AA and BB be dd. Now consider any point CSC \in S distinct from AA and BB. The distance from CC to the line ABAB must be at most 4034d\frac{4034}{d} since triangle ABCABC has area at most 20172017. Therefore if \ell is a line perpendicular to ABAB, then the projections of SS onto \ell lie in an interval of length 8068d\frac{8068}{d} centered at the intersection of \ell and ABAB. Furthermore, all of these projections must lie on an interval of length at most dd on \ell since the largest distance between two of these projections is at most dd. Since min(d,8068/d)8068<90\min(d, 8068/d) \le \sqrt{8068} < 90, this proves the claim.

Now note that the projections of the nn circles onto the line \ell are intervals of length 22, all contained in an interval of length at most 8068+2<92\sqrt{8068} + 2 < 92. Each point of this interval belongs to on average 2n8068+2>n46\frac{2n}{\sqrt{8068}+2} > \frac{n}{46} of the subintervals of length 22 corresponding to the projections of the nn circles onto \ell. Thus there is some point xx \in \ell belonging to the projections of more than n46\frac{n}{46} circles. The line perpendicular to \ell through xx has the desired property. Setting n=100n = 100 yields that there is a line intersecting at least three of the circles. \square

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 and solution reproduced as published; topic and difficulty added by this site.