[tex]\{x\}[/tex] es la parte fraccionaria de [tex]x[/tex]
Suponga lo contrario, es decir:
Para cualquier subconjunto de [tex]X[/tex], la parte fraccional de la suma de sus elementos se encuentra en el intervalo [tex]\left(\frac{1}{n+1},\frac{n}{n+1}\right)[/tex] *
Considere los siguientes [tex]n[/tex] numeros:
[tex]\{x_1\},\{x_1+x_2\},...,\{x_1+x_2+...+x_n\}[/tex]
y los siguientes [tex]n-1[/tex] subintervalos.
[tex]\left(\frac{1}{n+1},\frac{2}{n+1}\right],\left(\frac{2}{n+1},\frac{3}{n+1}\right],...,\left(\frac{n-1}{n+1},\frac{n}{n+1}\right)[/tex].
Por * y por el principio de casillas se sigue que existen [tex]i,j[/tex] con [tex]1\le i\{x_1+...+x_j\}-\{x_1+...+x_i\}=\{x_{i+1}+...+x_j\}[/tex], lo cual contradice *
Caso 2: [tex]\{x_1+...+x_j\}=\{x_1+...+x_i\}+\{x_{i+1}+...+x_j\}-1[/tex]
Aqui tenemos que
[tex]\dfrac{1}{n+1}>\{x_1+...+x_i\}-\{x_1+...+x_j\}=1-\{x_{i+1}+...+x_j\}\Rightarrow[/tex]
[tex]\{x_{i+1}+...+x_j\}>\dfrac{n}{n+1}[/tex]
lo cual tambien contradice *
Finalmente concluimos que * es incorrecto y terminamos
Siento q resolvi el 0.0000001% del problema gracias al hint :
