OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Para el apartado (b), razonaremos por reducción al absurdo que hay $n$ o más valores distintos. Esto quiere decir que podemos tomar una sucesión estrictamente creciente de valores $x_1\lt x_2\lt\ldots\lt x_n$ y ordenar el resto de valores como $y_1\leq y_2\leq\ldots\leq y_n$. Por lo tanto, se cumple que \[x_1+y_1\lt x_2+y_2\lt\ldots\lt x_n+y_n,\] luego si emparejamos cada $x_k$ con el correspondiente $y_k$, ninguna pareja tendrá la misma suma, contradiciendo el enunciado del problema.
Nota. El apartado (b) nos da una estimación óptima. Por ejemplo, podríamos tomar $n-1$ bolas con los valores del $1$ al $n$ y las otras $n+1$ bolas todas iguales a $1$. No importa como emparejemos, siempre habrá dos parejas formadas únicamente por unos y por tanto tendrán la misma suma.