Consider 21 points on a circle. Show that at least 100 pairs of these points define a central angle less than or equal to .
Solution
Let's find the right triangle-free graph: we connect two points if the central angle they define is strictly greater than . Three such points are then never connected pairwise, so the graph is triangle-free. The number of edges is then less than or equal to , which is 110. In the complementary graph, there are therefore edges, which concludes.
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.