IMO

IMO 2020 6

Pruebe que existe una constante positiva $c$ para la que se satisface la siguiente afirmación: Sea $n \gt 1$ un entero y sea $S$ un conjunto de $n$ puntos del plano tal que la distancia entre cualesquiera dos puntos diferentes de $S$ es al menos $1$. Entonces existe una recta $\ell$ separando $S$ tal que la distancia de cualquier punto de $S$ a $\ell$ es al menos $cn^{−1/3}$. (Una recta $\ell$ separa un conjunto de puntos $S$ si $\ell$ corta a alguno de los segmentos que une dos puntos de $S$.) Nota. Los resultados más débiles que se obtienen al sustituir $cn^{−1/3}$ por $cn^{−\alpha}$ se podrán valorar dependiendo del valor de la constante $\alpha \gt 1/3$.

Solución
Regreso a IMO 2020