V OIM 1990

Sea $f(x)$ un polinomio de grado 3 con coeficientes racionales. Probar que si el gráfico de $f$ es tangente al eje $x$, entonces $f(x)$ tiene sus 3 raíces racionales.

Sean $A$ y $B$ vértices opuestos de un tablero cuadriculado de $n$ por $n$ casillas ($n\geq 1$), a cada una de las cuales se añade su diagonal de dirección $AB$, formándose así $2n^2$ triángulos iguales. Se mueve una ficha recorriendo un camino que va desde $A$ hasta $B$ formado por segmentos del tablero, y se coloca, cada vez que se recorre, una semilla en cada uno de los triángulos que admite ese segmento como lado.

Sean $C_1$ una circunferencia, $AB$ uno de sus diámetros, $t$ su tangente en $B$, y $M$ un punto de $C_1$ distinto de $A$. Se construye una circunferencia $C_2$ tangente a $C_1$ en $M$ y a la recta $t$.

• a) Determinar el punto $P$ de tangencia de $t$ y $C_2$ y hallar el lugar geométrico de los centros de las circunferencias al variar $M$.
• b) Demostrar que existe una circunferencia ortogonal a todas las circunferencias $C_2$.

NOTA: Dos circunferencias son ortogonales si se cortan y las tangentes respectivas en los puntos de intersección son perpendiculares.

Sea $f(x) = (x + b)^2 - c$, un polinomio con $b$ y $c$ números enteros.

• a) Si $p$ es un número primo tal que $p$ divide a $c$ y $p^2$ no divide a $c$, demostrar que, cualquiera que sea el número entero $n$, $p^2$ no divide a $f(n)$.
• b) Sea $q$ un número primo, distinto de 2, que divide a $c$. Si $q$ divide a $f(n)$ para algún número entero $n$, demostrar que para cada entero positivo $r$ existe un número entero $n'$ tal que $q^r$ divide a $f(n')$.

En un triángulo $ABC$, sean $I$ el centro de la circunferencia inscrita y $D, E$ y $F$ sus puntos de tangencia con los lados $BC, AC$ y $AB$, respectivamente. Sea $P$ el otro punto de intersección de la recta $AD$ con la circunferencia inscrita. Si $M$ es el punto medio de $EF$, demostrar que los cuatro puntos $P, I, M$ y $D$ pertenecen a una misma circunferencia.

Sea $f$ una función, definida en el conjunto de los enteros mayores o iguales que cero, que verifica las dos condiciones siguientes:

• (I) Si $n = 2^j -1$, para $n = 0, 1, 2,\ldots$, entonces $f(n)=0$
• (II) Si $n\neq 2^j-1, para n = 0, 1, 2,\ldots, entonces $f(n+1) = f(n) -1$.

a) Demostrar que para todo entero $n$, mayor o igual que cero, existe un entero $k$, mayor que cero, tal que $f(n)+n= 2^k - 1$
b) Calcular $f (2^{1990})$