Flott, takk
Såklart, /0 skjelden lurt.
Prøver meg på en til, skal vise for samme følge at
(a_n)^2 - 2 >= 0 for alle n.
Finner først at om a_n har en grenseverdi, så er den den samme for a_n+1 og a_n siden n går mot uendelig.
Setter grenseverdien til a, og får a= (a^2 +2) /2a => a= sqrt(2) (positiv siden a_1=2).
For å vise at grenseverdien eksisterer, prøvre jeg meg på induksjon:
Jeg ønsker å vise at a_n>=a_n+1>=sqrt(2).
Dette er jo sant for 1; 2>= 3/2 >= sqrt (2).
Jeg antar at det gjelder for k:
a_k>=a_k+1>=sqrt(2) (I), og undersøker om det medfører at det gjelder for k+1:
a_k+1>=a_k+2>=sqrt(2)
Setter inn for a_k+1 fra (I) i
a_k+2=((a_k+1)^2+2)/(2a_k+1) >= sqrt(2) , og ser at
a_k+2= (sqrt(2)^2 +2)/2sqrt(2) = sqrt(2) >=sqrt(2). Altså er a_k+1 >= a_k+2 >= sqrt(2).
Derfor er (a_n)^2-2=>0 for alle n.
Dette burde og kunne kanskje vert gjort penere?