Citat:
Ursprungligen postat av
Talica
Så jag testar det här med induktionsbevis nu men det går åt pipan just nu känner jag.
7 | (2^(n+2) + 3^(2n+1))
så ser uppgiften ut och det första jag gör är att förenkla lite och testa och det funkar när jag stoppar in att n=0 och att n=1
( 7 | (4*2^n + 3*9^n))
Nä jag sen ska gå vidare så gör jag det genom att skriva utrycket:
k_p+1= 8*2^p + 27*9^p
Men sen när jag ska gå vidare så förstår jag inte riktigt hur det ska gå till. Jag har spanat på wikipedia ett tag men jag gissar på att det exemplet är fel för det ser helt galet ut:
1. (k_{p+2}=27*9^{p+1}+25*25^{p+1}
2. k_{p+2}=27*9^{p+1}+25*25^{p+1}+216*9^p-216*9^p+600*25^p-600*25^p
3. k_{p+2}=(27*9^p+25*25^p)+216*9^p+600*25^p)
Jag hänger med i ettan men när nr 2. kommer så ser det ut som att dem gör något som dem inte visar ordentligt så jag behöver hjälp med just det steget tack!
Så här gör du:
1. Testa om 7 | 2^(n+2) + 3^(2n+1) för det minsta n-värdet (0). Detta har du redan gjort.
2. Antag att det är sant för n=p. Visa att det då är sant för n=p+1.
Vi antar alltså att 7 | 2^(p+2) + 3^(2p+1)
För n=p+1 har vi då
2^(n+2) + 3^(2n+1) = 2^(p+1+2) + 3^(2•(p+1)+1)
Skriv om detta så att det blir så likt som möjligt det vi hade för n=p. 2^(p+1+2)=2•2^(p+2) och 3^(2p+2+1)=3^2•3^(2p+1), så sammantaget får vi
2•2^(p+1) + 9•3^(2p+1) = 2•(2^(p+1)+3^(2p+1)) + 7•3^(2p+1)
Den första termen delas av 7 enligt induktionsantagandet, och den andra termen har faktorn 7 och delas ju av 7. Alltså delas hela uttrycket av 7. Vi har alltså visat att om påståendet är sant för n=p så medför det att det även är sant för n=p+1.
3. Alltså är det sant för alla n ≥ 0.
(Varför? I 1 visade vi att det är sant för n=0. Enligt 2 är det då också sant för n=0+1=1. Och då är det enligt 2 även sant för n=1+1=2. Och sen för n=2+1=3, n=3+1=4,
ad infinitum, dvs för alla n ≥ 0.)