Demostrar que, dados siete números reales cualesquiera, existen dos de ellos, $a$ y $b$, tales que
\[\sqrt{3}|a-b|\lt|1+ab|.\]
Dar un ejemplo de seis números reales que no cumplan esta propiedad.
Solución. El truco de este problema es en darse cuenta de que la expresión $(a-b)/(1+ab)$ es parecida a la de la tangente de la diferencia de dos ángulos. Si escribimos cada uno de los siete números iniciales como la tangente de un número en el intervalo $(-90,90)$, el problema equivale al siguiente: dados siete números en el intervalo $(-90,90)$, demostrar que siempre existen dos de ellos, $x$ e $y$, tales que $|\tan(x-y)|\lt \sqrt{3}/{3}$, es decir, $|x-y|\lt 30$. Dividiendo en seis subintervalos
\[(-90,90)=(-90,-60]\cup(-60,-30]\cup(-30,0]\cup(0,30]\cup(30,60]\cup(60,-60),\]
el principio del palomar nos asegura que al menos uno de ellos contendrá a dos de los siete números considerados y esos dos números verificarán la desigualdad $|x-y|\lt 30$.
Esto nos da también la pista sobre cómo definir seis números que no cumplan la propiedad ya que solo hay que tomar los puntos medios de los subintervalos anteriores (que distan exactamente $30$) y considerar sus tangentes. En definitiva, los seis números reales
\begin{align*}
&-\tan(75),&&-\tan(45),&&-\tan(15),\\
&\tan(15),&&\tan(45),&&\tan(75),
\end{align*}
no cumplen la propiedad del enunciado.