Álgebra

Se definen las sucesiones $(a_n)_{n\geq 0} , (b_n)_{n\geq 0}$ de la siguiente manera:
$$a_0 =1 , b_0 = 4$$ y, para toda $n\geq 0$,  $$a_{n+1}=a_n^{2001}+b_n, b_{n+1}=b_n^{2001}+a_n$$  Demuestre que 2003 no divide a ninguno de los términos de estas sucesiones.

Pablo estaba copiando el siguiente problema: 

Considere todas las sucesiones de 2004 números reales $(x_0,x_1,x_2,\ldots,x_{2003}),$  tales que $$\begin{eqnarray} x_0 &=&1\\ 0\leq& x_1&\leq 2x_0,\\ 0\leq &x_2&\leq 2x_1,\\ &\vdots&\\ 0\leq &x_{2003}&\leq 2x_{2002}.\end{eqnarray}$$
Entre todas estas sucesiones, determine aquella para la cual la siguiente
expresión toma su mayor valor: $S =\ldots$.

La sucesión de números reales $a_1, a_2,\ldots$ se define como sigue:
$a_1=50$ y $a_{n+1}=a_n-1/a_n$ para cada entero $n > 0$.
Demuestre que existe un entero $k$, $1 \leq k\leq 2002$, tal que $a_k < 0$.

Determinar el número máximo de progresiones aritméticas crecientes de tres términos que puede tener una sucesión $a_1 < a_2<...<a_n$ de $n > 3$ números reales.

Nota: Tres términos $a_i, a_j, a_k$ de una sucesión de números reales forman una progresión aritmética creciente si $a_i < a_j <a_k$ y $a_j - a_i = a_k - a_j$.

Sean $S$ un conjunto de $n$ elementos y $S_1, S_2, \ldots, S_k$ subconjuntos de $S$ ($k\geq 2$), tales que cada uno de ellos tiene por lo menos $r$ elementos.  Demostrar que existen $i$ y $j$, con $1\leq i < j \leq k$ tales que la cantidad de elementos comunes de $S_i$ y $S_j$ es mayor o igual que $$r-\frac{nk}{4(k-1)}$$

Un hexágono convexo se denomina bonito si tiene cuatro diagonales de longitud 1, cuyos extremos incluyen todos los vértices del hexágono.

• (a) Dado cualquier número $k$, mayor que 0 y menor o igual que 1, encontrar un hexágono bonito de área $k$.
• (b) Demostrar que el área de cualquier hexágono bonito es menor que 3/2.

De una progresión aritmética infinita $1, a_1, a_2\ldots,$ de números reales se eliminan términos, obteniéndose una progresión geométrica infinita: $1, a_{n_1}, a_{n_2},\ldots$ de razón $q$. Encontrar los posibles valores de $q$.

Encontrar todas las soluciones de la ecuación
$$(x + 1)^y - x^z = 1$$
Para $x, y, z$ enteros mayores que 1.

 Sean $A$ y $B$ puntos del plano y $C$ un punto de la mediatriz de $AB$. Se construye una sucesión $C_1, C_2, \ldots, C_n, \ldots$ de la siguiente manera: $C_1 = C$ y, para $n\geq 1$, si $C_n$ no pertenece al segmento $AB$, entonces $C_{n+1}$ es el circuncentro del triángulo $ABC_n$.
Determine todos los puntos $C$ tales que la sucesión $C_1, C_2, \ldots, C_n,\ldots$ está definida para todo $n$ y es periódica a partir de un cierto punto.

Nota: Una sucesión $C_1, C_2,\ldots, C_n,\ldots$ es periódica a partir de un cierto punto si existen enteros positivos $k$ y $p$ tales que $C_{n+p} = C_n$ para todo $n\geq k$.

Sea $\lambda$ la raíz positiva de la ecuación $t^2 - 1998t - 1 = 0$. Se define la sucesión $x_0 , x_1 ,x_2 ,\ldots, x_n ,\ldots$ por:
$$x_0 = 1, x_{n + 1} = [\lambda x_n],$$ para $n = 0, 1, 2,\ldots$
Hallar el residuo (resto) de la división de $x_{ 1998}$ entre 1998.
NOTA: $[x]$ es el único entero $k$ tal que $k\leq x \leq k + 1$.