Supongamos que $f \in \mathbb{C}[x]$ es tal que $f(10u+5)$ y $f(10u+8)$ son enteros, para todos los enteros $u$ .
Reclamación: $\;f(0)$ es un número entero.
Prueba:
Desde $f(v)$ es un número entero para infinitos enteros $v$ se deduce, por interpolación de Lagrange, que $f$ tiene coeficientes racionales.
Dejemos que $g\in\mathbb{Q}[x]$ sea tal que $f(x)=xg(x) + f(0)$ .
Dejemos que $G\in \mathbb{Z}[x]$ sea tal que $g(x) = {\large{\frac{G(x)}{D}}}$ , donde $D$ es un número entero positivo.
Escribe $D=(2^a)(5^b)D'$ , donde $a,b$ son enteros no negativos, y $D'$ es un número entero positivo, con $\gcd(D',10)=1$ .
Elija $m,n\in\mathbb{Z}$ tal que
- $D'{\,\mid\,}(2m+1)$ y $5^b{\,\mid\;}5(2m+1)$$ \\[4pt]$
- $D'{\,\mid\,}(5n+4)$ y $2^a{\,\mid\;}2(5n+4)$
Entonces \begin{align*} &f(10m+5)\in \mathbb{Z}\\[4pt] \implies\;&(10m+5)g(10m+5)+f(0)\in \mathbb{Z}\\[4pt] \implies\;&\left(5(2m+1)\frac{G(10m+5)}{D}\right)+f(0)\in \mathbb{Z}\\[4pt] \implies\;&2^af(0)\in \mathbb{Z} \end{align*} y \begin{align*} &f(10n+8)\in \mathbb{Z}\\[4pt] \implies\;&(10n+8)g(10n+8)+f(0)\in \mathbb{Z}\\[4pt] \implies\;&\left(2(5n+4)\frac{G(10n+8)}{D}\right)+f(0)\in \mathbb{Z}\\[4pt] \implies\;&5^bf(0)\in \mathbb{Z} \end{align*} por lo tanto, cuando se reduce a los términos más bajos, el denominador de $f(0)$ es a la vez una potencia de $2$ y un poder de $5$ .
De ello se desprende que $f(0)$ es un número entero.
0 votos
¿Cómo estás seguro de que la respuesta es sí, si no tienes una solución? Por favor, no se limite a reportar aquí las preguntas de la AOPS. A diferencia de la AOPS, este sitio no está pensado como un lugar para publicar simplemente preguntas sin ningún contexto adicional, ni como un lugar para publicar preguntas como desafíos para otros.
0 votos
Para obtener información sobre lo que buscamos en este sitio, consulte "Cómo formular una buena pregunta" en math.meta.stackexchange.com/questions/9959/ .