Citat:
Ursprungligen postat av Ishi
Skulle du kunna utveckla det lite? förstår att om p(n) = 4^n + 6n - 1 så kan man sätta in värden tills dess att man ser att p(n)/9 ==> p(n+1)/9 men hur mycket behöver man redogöra på ett bevis?

vet inte vilka delar som är oklara så försöker skriva fler steg:
Man kan alltid börja med att sätta namn på saker: eftersom du gett redan gett namnet p(n) till p(n):= 4^n +6n -1 så kan vi istället använda notationen Q_n för påståendet "p(n) är delbart med 9"
Detta påstående kan även skrivas som p(n) = 0 mod 9, är du med på den notationen?
Vi vill visa att Q_n är _SANT_ för alla n.
Börjar med att visa att Q_1 är sant, det har du redan gjort eftersom 4^1+6*1-1=9=0 mod 9
Vill sedan visa att Q_(n+1) är sann om vi antar Q_n. Detta innebär att vi vill visa att p(n+1)=0 mod 9 om p(n)=0 mod 9.
Alltså, Vill visa p(n+1)=0 mod 9, VET att p(n)=0 mod 9
För att visa detta så gör man omskrivningar:
p(n+1)=p(n)+(p(n+1)-p(n)) (*)
Eftersom p(n)=0 mod 9 så räcker det med att visa att p(n+1)-p(n)=0 mod 9
men p(n+1)-p(n)=4^(n+1)+6(n+1)-1-(4^n+6n-1)=4*4^n-4^n+6n-6n+6-1-(-1)=3*4^n+6
så om 3*4^n+6=0 mod 9 så är p(n+1)=0 mod 9 och vi är klara.
men 4^n=1^n = 1 mod 3 så 4^n=3k+1 för något k ==> 3*4^n=3*3k+3=9k+3 ==>
3*4^n+6=9k+3+6=9(k+1) så (p(n+1)-p(n)) är delbar med 9 och p(n) är delbar med 9 enligt induktionsantagandet, så deras summa, dvs p(n+1) är också delbar med 9. qed. Hoppas ni jobbat en del med modulär aritmetik för "mod" är helt klart mer bekvämt o jobba med notationsmässigt.