Aloha :)
Wir betrachten die rekursiv definierte Folge:an+1=2−an1;a1 : =21
Die ersten Glieder:a2=2−211=231=32;a2=2−321=341=43;a4=2−431=451=54legen die Vermutung für folgende explizite Formel nahe:an=n+1nfu¨r alle n∈N
Wir beweisen ihre Gültigkeit durch vollständige Induktion.
Verankerung bei n=1:an=a1=21=1+11=n+1n✓
Induktionsschritt von n auf (n+1):an+1=2−an1=2−n+1n1=2(n+1)−nn+1=n+2n+1=(n+1)+1(n+1)✓
Damit ist die explizite Formel bewiesen und die Folge wohldefiniert.
Für die Differenz benachbarter Folgenglieder gilt:an+1−an=n+2n+1−n+1n=(n+2)(n+1)(n+1)2−(n+2)(n+1)n(n+2)an+1−an=(n+2)(n+1)n2+2n+1−(n+2)(n+1)n2+2n=(n+2)(n+1)1>0Daher ist an+1>an für alle n∈N, sodass die Folge streng monoton steigt.
Wegen der Montonie ist die Folge durch das Minimum a1=21 nach unten beschränkt.
Wegen n<n+1 ist an=n+1n<1 durch den Wert 1 nach oben beschränkt.
Der Grenzwert der Folge lautet:a=n→∞limn+1n=n→∞lim(1−n+11)=1