14.12.2012 Views

EXAMENSARBETEN I MATEMATIK - Matematiska institutionen ...

EXAMENSARBETEN I MATEMATIK - Matematiska institutionen ...

EXAMENSARBETEN I MATEMATIK - Matematiska institutionen ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.4.6 Den starka principen, exempel med tv˚a basfall<br />

Det är ganska vanligt att man har induktion som bygger p˚a tv˚a basfall (eller<br />

flera). Jag visar ett exempel hämtat fr˚an Biggs ([2], s. 33).<br />

EXEMPEL:<br />

Visa att om un definieras genom u1 = 1, u2 = 5 och un+1 = 5un −6un−1<br />

för n ≥ 2, s˚a är un = 3 n − 2 n för alla n ∈ N.<br />

LÖSNING:<br />

Basfallet:<br />

Vi ser att utsagan stämmer för n = 1 och n = 2, eftersom<br />

3 1 − 2 1 = 1 = u1 och 3 2 − 2 2 = 5 = u2<br />

Induktionsantagande:<br />

Vi antar att formeln un = 3 n − 2 n är korrekt för alla k ≤ n, och speciellt<br />

för uk och uk−1. Vi f˚ar:<br />

uk = 3 k − 2 k<br />

uk−1 = 3 k−1 − 2 k−1<br />

Induktionssteg: Vi testar om formeln är sann för uk+1. Vi har att<br />

uk+1 = 5uk − 6uk−1<br />

Här kan vi nu använda v˚art induktionsantagande för uk och uk−1, och<br />

vi skriver om det högra ledet:<br />

5uk − 6uk−1 = 5(3k − 2 k ) − 6(3 k−1 − 2 k−1 )<br />

= (5 · 3 k − 5 · 2 k ) − (6 · 3 k−1 − 6 · 2 k−1 )<br />

= (5 · 3 k − 6 · 3 k−1 ) − (5 · 2 k − 6 · 2 k−1 )<br />

= (5 · 3 − 6)3 k−1 − (5 · 2 − 6)2 k−1<br />

= 9 · 3 k−1 − 4 · 2 k−1<br />

= 3 2 · 3 k−1 − 2 2 · 2 k−1<br />

= 3 k+1 − 2 k+1<br />

Slutsats:<br />

Detta är den sökta formeln för uk+1.<br />

Eftersom vi visat att basfallet är sant, och eftersom vi visat att induktionen<br />

fungerar - dvs att P (uk−1) och P (uk) ⇒ P (uk+1) - vet vi genom den<br />

starka induktionsprincipen att formeln un = 3 n −2 n stämmer för alla n ≥ 1.<br />

3.4.7 Spridningsprincipen<br />

Metoden med induktionsbevis är inte bara begränsad till att gälla heltal eller<br />

naturliga tal. Generellt kan man säga att metoden innebär att man utg˚ar<br />

32

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!