Sea $a_1 < a_2 < a_3 < \ldots$ una sucesión infinita de números enteros positivos, estrictamente creciente, que cumple la siguiente propiedad: para todo $n \geq 10$, $a_n$ divide a la suma de todos los términos anteriores. Demostrar que existe $m \in \mathbb N$ tal que para todo $n \geq m$ se cumple que $a_n$ es igual a la suma de todos los términos anteriores.
Para cada $n\in \mathbb{N}$, definimos $$s_n=a_1+a_2+\cdots +a_{n-1}$$ Consideremos $n\geqslant 10$, entonces tenemos que $a_n\mid s_n$, y como ambos son positivos, existe un entero positivo $d_n$ tal que $a_nd_n=s_n$, es decir, $a_n=\frac{s_n}{d_n}$. Vamos a ver que eventualmente $d_n=1$.
Veamos primero que la sucesión de los $d_i$ es no creciente (esto es, $d_{n+1}\leqslant d_n$). Notemos que $$s_{n+1}=a_1+a_2+\cdots +a_{n-1}+a_n=s_n+a_n=s_n+\frac{s_n}{d_n}=\frac{d_n+1}{d_n}s_n$$ entonces $$a_{n+1}=\frac{s_{n+1}}{d_{n+1}}=\frac{d_n+1}{d_{n+1}}\frac{s_n}{d_n}=\frac{d_n+1}{d_{n+1}}a_n$$ por lo que $d_{n+1}=(d_n+1)\frac{a_n}{a_{n+1}}$, pero como $a_n<a_{n+1}$, tenemos que $d_{n+1}<d_n+1$, y al ser enteros se sigue que $d_{n+1}\leqslant d_n$.
Veamos ahora que la sucesión de los $d_i$ en algún punto llega a $1$.
Como es una sucesión de enteros positivos, no puede decrecer infinitamente, por lo que en algún momento se vuelve constante, es decir, existe $m\in \mathbb{N}$ tal que $d_n=t$ para $n\geqslant m$. Tenemos entonces que $s_{n+1}=\frac{t+1}{t}s_n$, por lo que $$s_{n+k}=\left (\frac{t+1}{t}\right )^ks_n=\frac{(t+1)^ks_n}{t^k}$$ para todo $k\in \mathbb{N}$. Luego, $t^k\mid (t+1)^ks_n$, pero $t$ y $t+1$ son coprimos, por lo que $t^k$ y $(t+1)^k$ son coprimos, entonces $t^k\mid s_n$. Pero como $s_n>0$ pues los $a_i$ son positivos, tenemos que $t=1$, es decir, $d_n=1$. Luego, $a_n=\frac{s_n}{d_n}=s_n$
De esta forma, tenemos que existe $m\in \mathbb{N}$ tal que $a_n=s_n=a_1+a_2+\cdots +a_{n-1}$ para $n\geqslant m$, y con eso estamos.
Si la serie es $a_0$ $a_1$ $a_2$ ....
$a_{10}=(a_0+a_1+...+a_9)/n_0$
$a_{11}=(a_0+a_1+...+a_9+a_{10})/n_1$
y asi sucesivamente
Lema 1: Si $a_n<=a_{n+1}$, la serie no cumple las condiciones ya que un numero de la serie sería mayor o igual a su siguiente.
Dicho esto para comprobar que la serie tiene que terminar con una serie tal que el numero siguiente es igual a la suma de los anteriores hay que demostrar que el unico $n$ que se puede usar infinitas veces es el $1$ ya que si se usaría otro $n$ y la division en algun momento dejaría de ser entera habría que continuar con un $n$ menor debido al lema y eventualmente se llegaría al 1.
Para demostrar esto se denomina $S$ a la suma de los terminos anteriores a $a_k$, entonces $a_k=S/n$,
$a_{k+1}=(S/n+S)/n=S/n+S/n^2$, $a_{k+2}=S/n+2S/n^2+S/n^3$.
En resumen S tiene que ser divisible por una potencia cada vez mas grande de $n$ lo cual es imposible excepto si $n$ es 1.
Demostración del Lema 1.
Teniendo la misma definición de $S$ que en la demostración anterior, $a_k=S/n$, $a_{k+1}=(S+S/n)/(n+1)=S/(n+1)+S/(n^2+n)=(nS+S)/(n^2+n)=((n+1)S)/(n^2+n)=S/n$.
entonces si al dividir el término por n+1, el término es igual al anterior, si es que este se divide por un numero mayor que n+1 este va a ser menor que el anterior. De las dos formas la serie no va a ser válida.
$3=569936821221962380720^3+(-569936821113563493509)^3+(-472715493453327032)^3$: esta es la tercer menor solucion descubierta para la ecuación $a^3+b^3+c^3=3$ , las otras dos son $1^3+1^3+1^3=3$ y $4^3+4^3+(-5)^3=3$
Gianni De Rico escribió: ↑Mié 22 Ene, 2020 12:00 am
Sea $a_1 < a_2 < a_3 < \ldots$ una sucesión infinita de números enteros positivos, estrictamente creciente, que cumple la siguiente propiedad: para todo $n \geq 10$, $a_n$ divide a la suma de todos los términos anteriores. Demostrar que existe $m \in \mathbb N$ tal que para todo $n \geq m$ se cumple que $a_n$ es igual a la suma de todos los términos anteriores.
$f_{n+1}=\frac{S_{n+1}}{a_{n+1}}=\frac{S_n+a_n}{a_{n+1}}<\frac{S_n+a_n}{a_n}=f_n+1$
Pero, como queremos que $f_n$ sea siempre entero, $f_{n+1}<f_n+1$ implica que $f_{n+1}\leq f_n$.
Por un lado, sabemos que, de decrecer, $f_n$ no estaría acotada por abajo, ya que es una sucesión de enteros positivos, por lo que decrece en al menos $1$ cada vez que decrece. Por lo tanto, en algún momento obtendríamos $f_k=1$, y como $f_n\geq f_{n+1}$, $f_n$ sería igual a $1$ para todo $n\geq k$.
Por lo tanto, debe existir un número $m$ tal que, para todo $n\geq m$, $f_n$ es constante, digamos $f_n=r$.
Sea $S_m=k$
Afirmo que, entonces, $a_n=\frac{k}{r}\times \left(1+\frac{1}{r}\right)^{n-m}$ para todo $n\geq m$.
Supongamos que $a_n=\frac{k}{r}\times \left(1+\frac{1}{r}\right)^{n-m}$ para todo $n$ tal que $t\geq n\geq m$.
Veremos que entonces $a_{t+1}=\frac{k}{r}\times \left(1+\frac{1}{r}\right)^{t+1-m}$.
$a_{t+1}=\frac{S_{t+1}}{f_{t+1}}=\frac{\sum_{i=1}^{t} a_i}{r}=\frac{\sum_{i=1}^{m-1} a_i + \sum_{i=m}^{t} a_i}{r}=\frac{k+\sum_{i=m}^{t}\frac{k}{r}\times \left(1+\frac{1}{r}\right)^{i-m}}{r}=\frac{k}{r}\times \left(1+\frac{\sum_{i=m}^{t} \left(1+\frac{1}{r}\right)^{i-m}}{r}\right)=\frac{k}{r}\times \left(1+\frac{\sum_{i=0}^{t-m} \left(1+\frac{1}{r}\right)^{i}}{r}\right)$
Usando el Lema 1, queda lo siguiente:
$ a_{t+1}=\frac{k}{r}\times \left(1+\frac{\left(\frac{\left(1+\frac{1}{r}\right)^{t-m+1}-1}{\left(1+\frac{1}{r}\right)-1}\right)}{r}\right)=\frac{k}{r}\times \left(1+\frac{\left(\frac{\left(1+\frac{1}{r}\right)^{t-m+1}-1}{\frac{1}{r}} \right )}{r} \right)=\frac{k}{r}\times \left(1+\frac{\left(1+\frac{1}{r}\right)^{t-m+1}-1}{r\times \frac{1}{r}}\right)=\frac{k}{r}\times\left(1+\left(1+\frac{1}{r}\right)^{t-m+1}-1\right)=\frac{k}{r}\times\left(1+\frac{1}{r}\right)^{t-m+1}$
Por lo tanto queda demostrado que $a_n=\frac{k}{r}\times \left(1+\frac{1}{r}\right)^{n-m}$ para todo $n$ tal que $t\geq n\geq m$.
Ahora, supongamos que $r^d|k$ para algún $d$ entero no negativo.
$a_{m+d}=\frac{k}{r}\times \left(1+\frac{1}{r}\right)^{d}$
Utilizando el hecho de que $\left ( x+y \right )^{n}=\sum_{i=0}^{n} \binom{n}{i}x^{n-i}y^i$, nos queda lo siguiente:
$a_{m+d}=\frac{k}{r}\left(\sum_{i=0}^{d} \binom{d}{i}1^{d-i}\left(\frac{1}{r}\right)^i\right)=\frac{k}{r}\left( \sum_{i=0}^{d}\binom{d}{i}\left(\frac{1}{r}\right)^i\right)=\sum_{i=0}^{d}\binom{d}{i}\left(\frac{k}{r}\right)\left(\frac{1}{r}\right)^i=\sum_{i=0}^{d}\binom{d}{i}\left(\frac{k}{r^{i+1}}\right)=\binom{d}{d}\left(\frac{k}{r^{d+1}}\right)+\sum_{i=0}^{d-1}\binom{d}{i}\left(\frac{k}{r^{i+1}}\right)=\frac{k}{r^{d+1}}+\sum_{i=1}^{d}\binom{d}{i-1}\left(\frac{k}{r^{i}}\right)$
Pero todos los términos de la sumatoria son enteros, ya que $r^n|k$ para todo $n\leq d$, y como $a_{m+d}$ también es entero, $\frac{k}{r^{d+1}}$ también debe serlo.
Por lo tanto, si $r^d|k$, entonces $r^{d+1}|k$. Y como sabemos que $d=0$ funciona, eso implica que $r^n|k$ para todo $n\in \mathbb{Z^{+}_{0}}$.
Pero dado que $k$ es un entero positivo (obviamente finito), el único valor de $r$ que puede satisfacer esto es $r=1$.
Por lo tanto, demostramos que existe un $m \in \mathbb N$ tal que para todo $n \geq m$, se cumple que $f_n=1\iff \frac{\sum_{i=1}^{n-1} a_i}{a_n}=1\iff \sum_{i=1}^{n-1} a_i=a_n$.
Supongamos que existe algún $k$ tal que para todo $n\geq k$ se cumple que $b_n=b_{n+1}=c>1$, lo que significa que $c$ divide a $a_1+...+a_n$ para todo $n\geq k$.
Sea $S_i=a_1+...+a_i$ y $V_i=v_c(S_i)$.
Para $i\geq k$
$v_c(a_{i+1})=v_c(\frac{S_i}{c})=V_i-1$
$V_{i+1}=v_c(S_i+a_{i+1})$
Como $c$ divide a $S_i$ y $v_c(S_i)\neq v_c(a_{i+1})$.
Tenemos que $V_{k+V_k}=V_k-V_k=0$ lo que contradice la suposición.
Como trabajamos con enteros positivos, $b_i\geq b_{i+1}$ y no sucede que existe algún $k$ tal que para todo $n\geq k$ se cumple que $b_n=b_{n+1}=c>1$ tenemos que existe un $m$ tal que para todo $n\geq m$ se cumple que $b_n=b_{n+1}=1$ lo cual significa que para todo $n \geq m$ se cumple que $a_n$ es igual a la suma de todos los términos anteriores.
Y entonces $\frac{x}{a_n} = i$ $ \Rightarrow $ $\frac{x}{i}$ = $a_n$
Ahora la suma de $a_1$ hasta $a_n$ es igual a $x$ + $a_n$
Entonces $\frac{x + a_n}{a_n}$ = $i+1$; por ende $\frac{x + a_n}{a_{n+1}} \leq i$ ya que $a_{n+1}$ > $a_n$ entonces necesitamos un divisor mayor a $a_n$ y como $\frac{x + a_n}{a_n}$ = $i+1$ entonces necesitamos que el resultado sea menor a este ultimo porque sino significa que el valor de $a_{n+1}$ disminuye o es igual a $a_n$
Entonces $\frac{x + a_n}{a_{n+1}} \leq i$
Ahora vamos a demostrar que en algun momento esta ultima cuenta va a ser menor que $i$ porque si para cada $a_p$ la division con la suma de todos los numeros anteriores con $a_p$ es igual a $i$, nunca va a existir tal $m$
$\frac{x + a_n}{a_{n+1}}$ = $i$; Veamos que para que esto funcione, $x + a_n$ tiene que ser multiplo de $i$, entonces $a_n$ tiene que ser multiplo de $i$ pero para que esto pase, significa que $x$ = $i^2$ . $c$
Y así la suma de los numeros anteriores a $a_n$ siempre va a tener que ser $i^2$ . $c$ para que $\frac{x + a_n}{a_{n+1}}$ sea siempre $i$ pero veamos que en un momento esto va a parar de pasar(esto porque en un momento la suma de los numeros anteriores de la sucesion no va a poder expresarse mas como $i^2$ ya que se iban reduciendo despues de cada operacion ya que la división retira factores), por ende esa división va a ser por lo menos $i−1$ hasta llegar a que esa división sea igual a $1$. (Veamos que $1^2$ = $1$ y como la suma siempre va a ser positiva y $a_n$ también, esa división siempre va a poder ser $1$).En ese momento llegamos a que $a_n$ es igual a la suma de todos los numeros anteriores, ahora veamos $a_{n+1}$ divide a $a_n$ . $2$ y $a_{n+1}$ es mayor a $a_n$ y $a_n$ es el mayor divisor de la suma diferente a $a_n$ . $2$ entonces significa que $a_{n+1}$ = $a_n$ . $2$
Entonces con esto demostramos que después de $a_n$ todos los números de la sucesión van a ser iguales a la suma de los anteriores numeros de la sucesion