Aloha :)
Um eine Idee für eine geschlossene Formel zu bekommen, rechnen wir weitere Folgenglieder aus:a2=18;a3=62;a4=258;a5=1022;a6=4098Es fällt sofort auf, dass alle Werte nahe bei einer Zweier-Potenz liegen, genauer weichen sie um den Wert 2 nach oben oder unten von einer Zweierpotenz ab. Wir können daher folgende Vermutung aufstellen:Vermutung : an=22n+(−1)n⋅2;n≥0Wir beweisen unsere Vermutung durch vollständige Induktion:
1) Verankerung bei n=0:a0=3;a0=22⋅0+(−1)0⋅2=20+2=3✓2) Induktionsschritt n→n+1:an+1=3an+4an−1an+1=I.V.3⋅(22n+(−1)n⋅2)+4⋅(22(n−1)+(−1)n−1⋅2)an+1=3⋅22n+(−1)n⋅6+4⋅22n−2+(−1)n−1⋅8an+1=3⋅22n=(+1)−(−1)1(−1)n⋅6+=422⋅22n−2+=1(−1)2(−1)n−1⋅8an+1=3⋅22n−(−1)n+1⋅6+22n+(−1)n+1⋅8an+1=4⋅22n+(−1)n⋅(−6+8)an+1=22n+2+(−1)n⋅2an+1=22(n+1)+(−1)n⋅2✓Damit ist unsere Vermutung bewiesen.