OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Para todos los enteros positivos $m$ y $n$ con $n$ múltiplo de $m$, se tiene que $\lfloor nr\rfloor$ es múltiplo de $\lfloor mr\rfloor$. Probar que $r$ es un número entero.
Nota. $\lfloor x\rfloor$ denota la parte entera de un número real $x$.
Por tanto, podemos suponer que $\frac{3}{2}\leq r\lt 2$ y vamos a repetir un razonamiento similar al anterior, considerando el único entero $q\geq 2$ tal que \[2-\frac{1}{q}\leq r\lt 2-\frac{1}{q+1}.\] Multiplicando por $q+1$ y por $2(q+1)$ nos quedan las desigualdades siguientes: \begin{align*} 2q+1-\frac{1}{q}\leq (q+1)r\lt 2q+1&\quad \Longrightarrow\quad \lfloor (q+1)r\rfloor= 2q,\\ 4q+2-\frac{2}{q}\leq r\lt 4q+2&\quad\Longrightarrow\quad \lfloor 2(q+1)r\rfloor= 4q+1. \end{align*} Deducimos que $2q$ debe dividir a $4q+1$, luego $2q$ divide a $1$, lo cual es imposible.