1 SEMINARIE 7 ALG 5 (VERSION 1), 22 oktober 2022

2 XINGYI CHEN

3 Talföljden a1 , a2 , ... är definierad med rekursion enlight följande:

an+1 = an + 2 · an−1 , (∗), f ör n ≥ 2,

a1 = 5,

a2 = 10.
4 Gissa en icke-rekursiv form för an och bevisa den sedan med induktion.
5 Steg 1 så ska vi hitta en mönster och skriv om den till ett form, form som vi hittade
6 var (an = 5 · 2n−1 ),vi undersöker basfallet med den form där n=1 och n=2.

a1 = 5 · 21−1 = 5, (n = 1),

a2 = 5 · 22−1 = 10, (n = 2),

a3 = 5 · 23−1 = 20, (n = 3),

a4 = 5 · 24−1 = 40, (n = 4),

a5 = 5 · 25−1 = 80, (n = 5).

7 Form som vi hittade verka vara ett allmän formel för talföljden, basfallet funkar
8 också utan problem. Nu enligt induktionssteget kan vi direkt anta att(an = 5·2n−1 )
9 och (an−1 = 5 · 2n−1−1 ) ska funga utan problem, men samtidigt ska formen också
10 gälla för alla (n = k) och (n = k + 1), dvs(ak = 5 · 2k−1 ) och (ak+1 = 5 · 2k+1 ) .
11
12 Steg 2 blir att bevisa när vi sätter in ak+1 där ak+1 = 5 · 2k+1 istället för alla ak i
13 orginal form så ska allting stämmer samma.

an+1 = an + 2 · an−1 , (original),

an = 5 · 2n−1 , (vår f orm f ör an ),

ak = 5 · 2k−1 , (n = k),

ak+1 = 5 · 2k+1−1 , (n = k + 1),

ak+1 = ak + 2 · ak−1 , (orginal f orm med alla n = k),

1
 2 XINGYI CHEN

5 · 2k−1+1 = (5 · 2k−1 ) + 2 · (5 · 2k−1−1 ), (sätter in alla ak med 5 · 2k−1 ).

14 Steg3 behöver vi bara bevisa den med beräkning.

5 · 2k−1+1 = (5 · 2k−1 ) + 2 · (5 · 2k−1−1 ),

5 · 2k = (5 · 2k−1 ) + 2 · 5 · 2k−2 ,

5 · 2k = 5 · 2k−1 + 5 · 2k−1 ,

5 · 2k = 2 · 5 · 2k−1 ,

5 · 2k = 5 · 2k .
15 Slutsats: (an = 5 · 2n−1 ) fungar för alla n ≥ 2 enlight induktionsprincipen.