OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Nota: $f^2(x)=f(f(x))$, $f^3(x)=f(f^2(x))=f(f(f(x)))$ y, en general, \[f^n(x)=f(f^{n-1}(x))=f(f(\ldots f(x))\ldots))\quad (n\text{ veces}).\]
Esto nos dice que, para cada $n\in\mathbb{N}$ podemos expresar $f^{n-1}(x)=x p_{n-1}(x)+1$ para cierto polinomio $g_{n-1}(x)$. Tenemos así que \begin{align*} \mathrm{mcd}(f(x),f^n(x))&=\mathrm{mcd}(f(x),f^{n-1}(f(x)))\\ &=\mathrm{mcd}(f(x),f(x) p_{n-1}(f(x))+1)=1. \end{align*}
Nota. El resultado es también cierto cambiando $f(x)=x^{1997}-x+1$ por cualquier polinomio $f(x)$ con coeficientes enteros y $f(0)=f(1)=1$. También es cierto que $f^n(y)$ y $f^m(y)$ son primos relativos para cualesquier $m,n\in\mathbb{N}$ (basta aplicar el enunciado a $x=f^{m-1}(y)$ con $n+1$ en lugar de $n$).
Por un lado, si existe tal punto en $OP$, esto quiere decir que existen $c,d\in\mathbb{N}$ y $0\lt\lambda\lt 1$ tales que $(c,d)=\lambda(a,b)$. En particular, $\lambda=\frac{c}{a}=\frac{d}{b}$ es un número racional. Supongamos que $\lambda=\frac{m}{n}$ como fracción irreducible, luego \[c=\frac{m}{n}a,\qquad d=\frac{m}{n}b,\] de forma que $n$ debe ser un divisor común a $a$ y $b$. Observemos que $n\gt 1$ ya que $0\lt \lambda\lt 1$, luego hemos probado que $a$ y $b$ no son primos entre sí. Recíprocamente, si $n\gt 1$ es un divisor común a $a$ y $b$, entonces el punto $(c,d)=(\frac{a}{n},\frac{b}{n})$ es un punto de coordenadas enteras en el segmento $OP$, lo que concluye la demostración.
Con esta información, el problema se traduce en ver cuántos números enteros $k$ entre $1$ y $1998$ son primos relativos con $1000$. Como $1000=2^3\cdot 5^3$, estamos buscando los valores de $k$ que no tienen factores primos $2$ ni $5$. De los $1998$ números considerados, hay $999$ múltiplos de $2$, $399$ múltiplos de $5$ y $199$ múltiplos de $10$ (¿sabrías contarlos rápidamente?). Por tanto, la cantidad de primos relativos con $1000$ (la solución al problema) es: \[1998-999-399+199=799\] (hay que añadir $199$ ya que estamos quitando los múltiplos de $10$ dos veces).
En el resto de casos $a=1$, $a=4$ y $a=9$, el propio $a$ es un cuadrado perfecto, luego tendremos que ver que el número $b$ formado sólo por unos no lo es. Por reducción al absurdo, si $b=m^2$ fuera un cuadrado perfecto, entonces la cifra de las unidades de $m$ será $1$ o $9$, luego $m=10k+1$ o bien $m=10k+9$ para cierto $k\geq 1$. Elevando al cuadrado tenemos que \[b=(10k+1)^2=100k^2+20k+1=20(5k^2+k)+1,\] luego $b$ es un múltiplo de $20$ más $1$, es decir, la cifra de las decenas de $b$ es par, lo que contradice que $b$ está formado sólo por unos. De la misma forma, \[(10k+9)^2=100k^2+180k+81=20(5k^2+9k+4)+1\] no puede estar formado sólo por unos.
Los únicos números naturales menores que $100$ cuyos cuadrados tienen repetida las cifras de las unidades y las decenas (y son no nulas) son $12$, $38$, $62$ y $88$, que cumplen que $12^2=144$, $38^2=1444$, $62^2=3844$ y $88^2=7744$. Hemos reducido el problema a buscar los números naturales $m$ tales que $m^2=44\ldots4=4\cdots 11\ldots1$. Esto exige que $\frac{m}{2}$ sea impar (ya que el cuadrado de un número par es par). Podemos escribir $\frac{m}{2}=2l+1$ para cierto número $l$, de donde $(2l+1)^2=11\ldots1$ o bien $4l(l+1)=11\ldots10$. Esto no es posible porque los múltiplos de $4$ tienen sus dos últimos dígitos $00$ o múltiplo de $4$, pero $10$ no es múltiplo de $4$.
Nota. Esta es una solución aportada por Samuel Gómez Moreno.
A partir de los valores $\ell_1$ y $\ell_2$, ¿puede calcular Sophie el área de la superficie de la mesa? En caso afirmativo, indica cómo hacerlo.
equiespaciadospor reducción al absurdo, tomando dos puntos consecutivos $p_k$ y $p_{k+1}$ que definen el menor de los $12$ arcos en que $p_1,\ldots,p_{12}$ dividen a la circunferencia. Si $p_j$ y $p_{j+1}$ definieran un arco mayor, lo único que hay que hacer es, una vez estemos en $p_j$, repetir el mismo número de avances de longitud $\ell_1$ que llevan de $p_k$ a $p_{k+1}$: esto nos llevará de $p_j$ a un punto $p'_j$ que está estrictamente entre $p_j$ y $p_{j+1}$, lo que nos da la contradicción buscada.
Podemos entonces identificar el vértice $p_k$ con el número $k$ y $\ell_1$ y $\ell_2$ con enteros $6\lt\ell_1\lt \ell_2\lt 12$ tales que avanzar $\ell_i$ desde $p_k$ se corresponde con sumar $k+\ell_i$ módulo $12$. Los únicos números $\ell_1$ y $\ell_2$ que permiten pasar por los $12$ puntos son los primos relativos con $12$, lo que nos dice necesariamente que $\ell_1=7$ y $\ell_2=11$. Tenemos así que el radio de la mesa $r$ verifica $\ell_1=\frac{7}{12}\cdot 2\pi r$, lo que nos da $r=\frac{6\ell_1}{7\pi}$ y nos permite calcular su área a partir del dato $\ell_1$ que conoce Sophie: \[A=\pi r^2=\frac{36\pi\,\ell_1^2}{49}.\]
Nota. En realidad, no es necesario que se envíe el segundo Whatsapp puesto que, una vez se dibujan los 12 puntos, Sophie puede demostrar que son equidistantes con el argumento dado, y después sabe que avanzar la distancia $\ell_1$ supone 7 posiciones (porque ella puede contarlas, aunque nosotros no tengamos ese dato, es decir, ella sabe distinguir si avanza 7 u 11 posiciones).
Para terminar, justificaremos que esta elección cumple lo que queremos. Al sumar dos o más de los números $x_1,x_2,\ldots,x_{n+1}$, si ninguno de ellos es $x_{n+1}$, ya tenemos que su suma no es un cuadrado perfecto (habíamos supuesto que $x_1,\ldots,x_n$ cumplen la propiedad). Por el contrario, si $x_{n+1}$ es uno de los números elegidos, entonces la suma será $k^2+1$ más otro número que es como mucho $x_1+x_2+\ldots+x_n\lt 2k$, es decir, la suma estará entre $k^2$ y $(k+1)^2$, luego no puede ser un cuadrado.