Ich beweise zunächst mittels Induktion, dass
an+1−an=(−3)nb−a
gilt.
Induktionsanfang:
n=0 : a1−a0=b−a=(−3)0b−a
n=1 : a2−a1=31(2a1+a0)−a1=−3a1−a0=(−3)1b−a
Induktionsschritt n → n+1:
Aus
an=31(2an−1+an−2)
folgt:
an+2=31(2an+1+an)∣−an+1
an+2−an+1=31(2an+1+an)−an+1=−3an+1−an
Nach Induktionsvoraussetzung gilt:
an+1−an=(−3)nb−a
Wird jetzt in der vorletzten Gleichung der Ausdruck an+1 - an entsprechend ersetzt, erhält man:
an+2−an+1=(−3)n+1b−a
w.z.b.w.
Zum Teleskoptrick:
an=an+i=0∑n−1ai−i=0∑n−1ai
an=a0+i=1∑nai−i=0∑n−1ai
an=a0+i=0∑n−1ai+1−i=0∑n−1ai
an=a0+i=0∑n−1(ai+1−ai)
Wird nun ai+1 - ai mittels oben bewiesener Gleichung ersetzt, erhält man:
an=a+(b−a)i=0∑n−1(−31)i
Die Summe bildet die (n-1)-te Partialsumme einer geometrischen Reihe. Für sie gilt:
i=0∑n−1(−31)i=1−(−31)1−(−31)n=43[1−(−31)n]
Somit erhält man folgende explizite Darstellung der Folge:
an=a+43(b−a)[1−(−31)n]
Bildet man den Grenzwert für n→∝, so geht (-1/3)n gegen Null und man erhält:
n→∞liman=a+43(b−a)=4a+3b