Lösung.

Wir zeigen zunächst unabhängig vom Wert $ \mbox{$a_1$}$ die wachsende Monotonie der Folge. Es wird

$ \mbox{$\displaystyle a_{n+1}-a_n\; =  \; \frac{a_n^2}{4}+1-a_n \; = \; (a_n/2-1)^2 \; \geq \; 0\ . $}$

(i)
Wir zeigen die Beschränktheit der Folge, indem wir per Induktion die Aussage $ \mbox{$0\leq a_n\leq 2$}$ zeigen. Für $ \mbox{$n=1$}$ ist dies klar. Sei nun $ \mbox{$0\leq a_n\leq 2$}$ gegeben, und $ \mbox{$0\leq a_{n+1}\leq 2$}$ zu zeigen. In der Tat wird
$ \mbox{$\displaystyle 0\; \leq \; a_{n+1}\; = \; \frac{a_n^2}{4}+1 \; \leq \; \frac{2^2}{4}+1 \; = \; 2\ . $}$

Nach dem Monotoniekriterium konvergiert die Folge $ \mbox{$(a_n)_n$}$ also gegen einen Grenzwert $ \mbox{$a$}$. Wir behaupten $ \mbox{$a=2$}$. Aus

$ \mbox{$\displaystyle \begin{array}{rcl} a & = & \lim_{n\to\infty} a_n\\ & ... ... & \lim_{n\to\infty} \frac{a_n^2}{4}+1\\ & = & \frac{a^2}{4}+1 \end{array}$}$
folgt $ \mbox{$0=\frac{a^2}{4}+1-a=(a/2-1)^2$}$, also $ \mbox{$a=2$}$.

(ii)
Aus der Monotonie der Folge erhalten wir $ \mbox{$a_n\geq 3$}$ für alle $ \mbox{$n$}$, und somit
$ \mbox{$\displaystyle a_{n+1}-a_n\; =  \; (a_n/2-1)^2 \; \geq \; (3/2-1)^2 \; = \; 1/4\ . $}$
Daher ist die Folge nicht nach oben beschränkt. Da sie monoton wächst, divergiert sie bestimmt gegen $ \mbox{$+\infty$}$.