Dejemos que $\lfloor x \rfloor = n \in \mathbb Z$
Entonces $n \le x < n+1$ . Dejemos que $\alpha = x - n$ . Entonces $0 \le \alpha < 1$ y $x = n + \alpha$ .
Asimismo,
Dejemos que $\lfloor y \rfloor = j \in \mathbb Z$ Entonces $j \le y < j+1$ . Dejemos que $\beta = y - j$ . Entonces $0 \le \beta < 1$ y $y = j +\beta$ .
Supongamos que $x + \lfloor x \rfloor = n + \alpha + n = 2n + \alpha = \lfloor y \rfloor = j + \beta + j = 2j + \beta$ .
Así que $2n + \alpha = 2j + \beta$ y luego $\alpha - \beta = 2j - 2n$ .
$2j - 2n\in \mathbb Z$ .
Y porque $0 \le \alpha < 1$ sabemos $-beta \le \alpha - \beta < 1 - \beta$ .
Y porque $0 \le \alpha < 1$ sabemos $-1 < -beta \le \alpha -\beta$ . Y sabemos que $1 -\beta \ge 1 - beta > \alpha - \beta$ .
Así que $-1 < \alpha -\beta < 1$ . Pero $\alpha - \beta = 2j -2n$ es un número entero. El único número entero entre $-1$ y $1$ es $0$ . Así que $\alpha - \beta = 0$ .
Así que $\alpha = \beta$ .
Y $2j - 2n = 0$ así que $j =n$ . Así que $x = n +\alpha = j + \beta = y$ .
y $0 \le \beta$ entonces $-1 < \alpha - \beta < 1$
5 votos
Una pista: $\;x+ \lfloor x \rfloor\,$ es estrictamente creciente, por tanto inyectiva.
0 votos
@dxiv ¡Hola! gracias por la rápida respuesta, pero no creo que pueda entender mejor de su pista todavía ¿podría elaborar un poco más para mí?
1 votos
¿Qué parte: "estrictamente creciente", "inyectiva" o la implicación entre ambas?
0 votos
@dxiv la implicación entre ellos me resulta confusa de entender :(
2 votos
La pista significa que si x<y entonces f(x)<f(y), donde f denota la función en cuestión. Intenta demostrarlo y el resultado se deduce.
1 votos
@ethelake Si una función es estrictamente creciente, entonces no puede tomar el mismo valor dos veces, y por tanto es inyectiva. Formalmente, $x \lt y \implies f(x) \lt f(y)$ y $x \gt y \implies f(x) \gt f(y)$ Así que $f(x) = f(y) \implies x=y$ .
2 votos
Ahhaaa, ¿entonces la afirmación es realmente cierta?
2 votos
@ethelake Sí, es cierto.
0 votos
¡MUCHAS GRACIAS! :)