Administración     

Olimpiadas de Matemáticas
Página de preparación y problemas

Selector
La base de datos contiene 1154 problemas y 775 soluciones.
OME Local
OME Nacional
OIM
OME Andalucía
Retos UJA
Problema 169
Supongamos que $n$ es un número natural tal que $2n+1$ es un cuadrado perfecto. Demostrar que $n+1$ es la suma de los cuadrados de dos números consecutivos.
pistasolución 1info
Pista. Expresa $2n+1=(2a-1)^2$.
Solución. El número $2n+1$ es impar y cuadrado perfecto, luego existirá $a\in\mathbb{N}$ tal que $2n+1=(2a-1)^2$, de donde $n=\frac{1}{2}((2a-1)^2-1)=2a^2+2a$. Podemos escribir entonces \[n+1=2a^2+2a+1=a^2+{(a-1)^2}.\]
Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
Problema 168
Encontrar un conjunto infinito de enteros positivos $S$ tal que la suma de los elementos de cualquier subconjunto finito de $S$ no sea un cuadrado perfecto.
pistasolución 1info
Pista. El siguiente cuadrado perfecto después de $m^2$ es $(m+1)^2=m^2+(2m+1)$, lo que deja $2m$ números que no son cuadrados entre ambos: ¿cómo podemos aprovecharnos de ésto?
Solución. Definamos la sucesión de números $\{x_n\}$ como $x_1=2$ y, para $n\geq 2$, \[x_n=(x_1+x_2+\ldots+x_{n-1})^2+1.\] Vamos a probar que el conjunto $S$ formado por todos los números $x_n$ cumple la condición del enunciado. Para ello, tomemos una cantidad finita de ellos $x_{n_1},x_{n_2},\ldots,x_{n_j}$ y demostremos que $N=x_{n_1}+x_{n_2}+\ldots+x_{n_j}$ no es un cuadrado perfecto. Podemos suponer sin perder generalidad que $0\lt n_1\lt n_2\lt\ldots\lt n_j$, luego llamando $A=x_1+x_2+\ldots+x_{n_j-1}$ tenemos que \[A^2\lt x_{n_j}\leq N\leq x_1+x_2+\ldots+x_{n_j}=A^2+A+1\lt (A+1)^2,\] lo que nos dice que $N$ está estrictamente entre dos cuadrados consecutivos y, por tanto, no puede ser un cuadrado como queríamos probar.

Nota. Uno puede preguntarse cómo se le ocurre la solución. El truco está en caer en la cuenta de que el siguiente cuadrado a $m^2$ es $(m+1)^2=m^2+2m+1$. Por tanto, si todo elemento es de la forma $m^2+1$ y entre todos los que son menores que él no suman $2m$, la sucesión cumplirá el enunciado. La forma en que lo hemos hecho es una entre una infinidad de posibilidades.

Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
Problema 167
Demostrar que si $p\geq 7$ es un número primo y $k$ es un número natural cualquiera, entonces existe una potencia de $p$ cuya representación decimal tiene $k$ ceros consecutivos.
pistasolución 1info
Pista. Una forma de hacerlo es encontrar $n$ tal que los últimos $k+1$ dígitos de $p^n$ sean $0\stackrel{(k)}{\ldots}01$.
Solución. El truco está en probar que existe $n\in\mathbb{N}$ tal que los últimos $k+1$ dígitos de $p^n$ son $0\stackrel{(k)}{\ldots}01$, o lo que es lo mismo tal que $p^n\equiv 1 (\mathrm{mod}\ 10^{k+1})$. Usando el teorema de Euler y el hecho de que $p$ y $10^{k+1}$ son primos entre sí (ya que $p$ es primo distinto de $2$ y $5$), bastará tomar $n=\varphi(10^{k+1})$, siendo $\varphi$ la función de Euler.

Nota. Para $p=3$ y, más general, para cualquier natural $p$ (no necesariamente primo) tal que $\mathrm{mcd}(p,10)=1$ la demostración es la misma.

Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
Problema 166
Demostrar que no existen enteros positivos $x$ e $y$ tales que \[x^{2008}+2008!=21^y.\]
pistasolución 1info
Pista. Piensa en cuál es el exponente de $7$ en $2008!$ y cómo puede ayudarte saber eso para resolver el problema.
Solución. El exponente de $7$ en la descomposición de $2008!$ en factores primos es $331$ (¿por qué?). Entonces podemos expresar $2008!=7^{331}\cdot a$ para cierto número natural $a$ que no es múltiplo de $7$, luego en la ecuación original tenemos que \[x^{2008}=7^y\cdot 3^y-7^{331}\cdot a.\] Si $y\gt 331$, entonces el exponente de $7$ en la descomposición del miembro de la derecha en factores primos es $331$, mientras que si $y\leq 331$, dicho exponente es igual a $y$. Como el exponente de $7$ en el miembro de la izquierda es múltiplo de $2008$, la única posibilidad es que este exponente sea cero, es decir, $y=0$. No obstante, no puede haber ninguna solución de la ecuación con $y=0$ ya que en tal caso $x^{2008}=21^0-2008!\lt 0$ pero $x^{2008}$ siempre es mayor o igual que cero. Esto termina de probar el enunciado.
Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
Problema 165
Hallar todos los números enteros $x$ e $y$ que cumplen la ecuación \[xy-4x-5y=27.\]
pistasolución 1info
Pista. Expresa la ecuación de otra forma: ¿qué le falta al miembro de la izquierda para ser el producto de dos binomios?
Solución. La ecuación del enunciado se puede expresar como \[(x-5)(y-4)=47.\] Como $47$ es un número primo, llegamos a que $x-5$ e $y-4$ tienen que ser $\pm 1$ ó $\pm 47$. Tenemos así cuatro posibilidades:
  • $x-5=1$ e $y-4=47$, lo que nos lleva a $x=6$ e $y=51$.
  • $x-5=-1$ e $y-4=-47$, lo que nos lleva a $x=4$ e $y=-43$.
  • $x-5=47$ e $y-4=1$, lo que nos lleva a $x=52$ e $y=5$.
  • $x-5=-47$ e $y-4=-1$, lo que nos lleva a $x=-42$ e $y=3$.
Éstas son las cuatro soluciones del problema.
Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
José Miguel Manzano © 2010-2024. Esta página ha sido creada mediante software libre