Olá Leonardo, vamos lá.
Primeiramente, vamos provar que a sequência \(a_n\) é sequência é crescente.
Por indução:
Caso n = 2:
\(\sqrt{a} > 0 \)
\(\sqrt{a} + a > a \)
Como a função \(f(x) = \sqrt{x} \) é estritamente crescente, temos
\(\sqrt{ a + \sqrt{a}} > \sqrt{a} \)
\(a_2\) > \(a_1\)
Caso n \(\Longrightarrow\) n+1
\(a_{n+1} > a_n \) (hipótese de indução)
\(a_{n+1} + a > a_n + a \)
\(\sqrt{a_{n+1} + a} > \sqrt{a_n + a} \)
\(a_{n+2} > a_{n+1} \)
Como queríamos demonstrar. Assim, temos que a sequência é estritamente crescente. Vamos provar agora que ela é limitada.
Sabemos que
\( a_{n+1} > a_n \)
\(\sqrt{ a + a_n} > a_n \)
Como a função \(f(x) = x^2 \) é estritamente crescente para \(x > 0\), temos
\( a + a_n > a_n^2 \)
\( a_n^2 - a - a_n < 0 \)
Por "bhaskara", descobrimos que as raízes dessa inequação são
\( a_n = \frac{1 + \sqrt{1 + 4a}}{2} \) e \( a_n = \frac{1 - \sqrt{1 + 4a}}{2} \)
Como o coeficiente dominante é positivo (ou seja, a parábola é um sorriso "feliz"), os valores em que \( a_n^2 - a - a_n < 0 \) são quando
\( \frac{1 - \sqrt{1 + 4a}}{2} < a_n < \frac{1 + \sqrt{1 + 4a}}{2} \)
Em particular,
\( a_n < \frac{1 + \sqrt{1 + 4a}}{2} \)
Assim, a sequência é limitada.
Como a sequência é crescente e limitada, ela converge.
gg