IMO 2011

Sea $f$ una función del conjunto de los números reales en sí mismo que satisface $$f(x + y)\leq yf(x) + f(f(x))$$ para todo par de números reales $x, y$. Demostrar que $f(x) = 0$ para todo $x\leq0$.

Sea $S$ un conjunto finito de dos o más puntos del plano. En $S$ no hay tres puntos colineales. Un remolino es un proceso que empieza con una recta $l$ que pasa por un único punto $P$ de $S$. Se rota $l$ en el sentido de las manecillas del reloj con centro en $P$ hasta que la recta encuentre por primera vez otro punto de $S$ al cual llamaremos $Q$. Con $Q$ como nuevo centro se sigue rotando la recta en el sentido de las manecillas del reloj hasta que la recta encuentre otro punto de $S$. Este proceso continúa indefinidamente.

Sea $ABC$ un triángulo acutángulo con circuncírculo $\Gamma$. Sea $l$ una tangente a $\Gamma$, y sean $l_a,l_b,l_c$ las rectas obtenidas de $l$ mediante reflexión en $BC,CA,AB$, respectivamente. Demostrar que el circuncírculo del triángulo determinado por las rectas $l_a,l_b,l_c$ es tangente al círculo $\Gamma$.

Sea $f$ una función de los enteros a los enteros positivos. Suponga que, para cualesquiera dos enteros $m,n$, la diferencia $f(m)-f(n)$ es divisible entre $f(m-n)$. Demostrar que, para todos los enteros $m$ y $n$ con $f(m)\leq f(n)$, el número $f(n)$ es divisible entre $f(m)$.

 Sea $n>0$ un entero. Se tiene disponible una balanza y $n$ pesas de pesos $2^0,2^1,2^2,\ldots,2^{n-1}$. Debemos colocar cada una de las pesas en la balanza, una después de otra, de tal manera que el lado derecho nunca sea más pesado que el izquierdo. En cada paso elegimos una de las pesas que aún no ha sido colocada en la balanza, y la colocamos en alguno de los dos lados, hasta que todas las pesas han sido colocadas. Determinar el número de formas en que eso puede hacerse.