Problem

Source: 2015 Final Korean Mathematical Olympiad Day 2 Problem 6

Tags: combinatorics, combinatorial geometry, extremal principle



There are $2015$ distinct circles in a plane, with radius $1$. Prove that you can select $27$ circles, which form a set $C$, which satisfy the following. For two arbitrary circles in $C$, they intersect with each other or For two arbitrary circles in $C$, they don't intersect with each other.