Citat:
Ursprungligen postat av slemsugarn
Tack för ditt engagemang. Jag undrar en sak, när du skriver 2n' menar du då "prim" som i derivata?
Det tecknet finns inte med i min diskretbok i det här avsnittet.
Ytterligare en fråga:
1+2+4...2^n=2^(n+1)-1
Jag testar med n=1 och redan där blir det ju inte VL=HL. Hur tänker jag fel?
Sjukt tacksam för hjälp.
Nej, n' betyder n + 1.
Läs om det med ombytta beteckningar:
"Antag att satsen gäller då n är godtycklig.
om vi nu provar med n+1 får vi:
2 + 4 + . . . + 2n + 2(n+1)
Om formeln är sann ska det ju gälla då att VL = (n+1)(n+2).
Vi ser att HL = (2 + 4 + . . . + 2n) + 2(n+1). Den första termen är ju, enligt vårt antagande, lika med n(n+1) så vi får HL = n(n+1) + 2(n+1) = {bryt ut (n+1)} = (n+1)(n+2), vilket ger HL = VL, vilket skulle bevisas.
På din andra fråga:
1+2+4+ . . . + 2^n
(Det här är alltså summan 2^0 + 2^1 + 2^2 + . . . + 2^n.)
När n = 1 får vi: 2^0 + 2^1 = 1 + 2 = 3. Formeln ger då n=1: 2(1+1) - 1 = 4-1 = 3. OK!
Antag att formeln gäller för ett godtyckligt n.
Prova att sätta in n+1 istället för n.
Då får vi VL = 1 + 2 + 4 + . . . + 2^n + 2^(n+1).
Om formeln stämmer ska vi ju, om vi sätter in n+1, få: HL = 2^(n+2) -1.
Vi ser att VL = (1 + 2 + 4 + . . . + 2^n) + 2^(n+1) = (2^(n+1) - 1) + 2^(n+1) = 2*2^(n+1) -1 = 2^(n + 2) - 1. Vi ser alltså att VL = HL, vilket skulle bevisas.