Respuesta "ligeramente" más larga :)
Me saltaré la parte de la base del IM. Por lo tanto, es cierto para algunos $k$ . $$ \sum \limits_{i = 1}^k \sqrt{a_i - (i - 1)} = \frac 12 \sum \limits_{i = 1}^k a_i - \frac {k(k - 3)}4 $$ Ahora, observemos qué ocurre si tomamos $k + 1$ términos $$ \sum \limits_{i = 1}^{k+1} \sqrt{a_i - (i - 1)} = \frac 12 \sum \limits_{i = 1}^{k+1} a_i - \frac {(k+1)(k - 2)}4 $$ Ahora, utilice la igualdad para el $k$ términos en LHS $$ \frac 12 \sum \limits_{i = 1}^k a_i - \frac {k(k - 3)}4 + \sqrt{a_{k+1}-k} = \frac 12 \sum \limits_{i = 1}^{k+1} a_i - \frac {(k+1)(k - 2)}4 \implies \\ \sqrt{a_{k+1} - k} = \frac {a_{k+1}}2 - \frac 14\left [{(k+1)(k-2) - k(k-3)} \right ] = \frac {a_{k+1}}2 - \frac 12(k-1) \implies \\ 4 (a_{k+1} - k) = a_{k+1}^2 - 2a_{k+1}(k-1) + (k-1)^2 \implies\\ a_{k+1}^2 - 2a_{k+1}(k-1+2) + (k-1)^2 + 4k = a_{k+1}^2 - 2a_{k+1}(k+1) + (k+1)^2 = 0 \implies \\ a_{k+1} = k+1 $$
0 votos
Haces muy buenas preguntas ^^
0 votos
¿Querías decir $\sqrt{a_1}+\sqrt{a_2-1} + \ldots + \sqrt{a_n-(n-1)}$ ?
1 votos
Me siento halagado. Gracias.
0 votos
Ah, sí. Gracias.
1 votos
5050. La respuesta de Gauss ;)
0 votos
Perdona, ¿qué quieres decir?
1 votos
@You-know-me quiere decir que $a_n = n$ .
0 votos
Oh, es una mera suposición. Sin embargo, la respuesta es correcta.
0 votos
@You-know-me puedes probarlo por inducción, supongo.
1 votos
@Ya-sabes-yo no creo que sea una suposición ;)