Consider 1000 points inside a square with sidelength 16. Prove that there is an equilateral triangle with sidelength 23 that covers at least 16 of those points.
Solution
Since (2316)2=364=21+31 lies between 4.52=20.25 and 52 and the altitude of the triangle is 223⋅3=3, we can cover a square with sidelength 16 with 2⋅5⋅⌊316⌋=60 equilateral triangles. Since ⌊601000⌋=16, by the pigeon hole principle there is an equilateral triangle that covers at least 17 points.
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.