Induktionsbevis

Teori

Ett induktionsbevis är en av de enklaste formerna för bevisföring inom matematiken. Det är den vanligaste bevismetoden när man arbetar med talföljder, alltså en följd av naturliga tal, där man vill bevisa att något gäller för exempelvis alla positiva tal. Grunden är väldigt enkel att förstå, och det går lätt att expandera till svårare problem om man förstår de steg man behöver ta.

Induktionsbevisets mall

1. Induktionsbas
   • Visa att det gäller för ett basfall. Hitta ett tal och använd detta för att visa ett exempel där ekvationen stämmer.
   • Den vanligaste basen för uppgifterna på denna nivå, är ett eller två.
   • Ibland kan man behöva två baser, beroende på hur ekvationen i uppgiften ser ut.
2. Induktionsantagande
   • Antag att ekvationen stämmer för en okänd variabel.
   • Ofta innehåller ekvationen n eller x, då byter man ut denna till p och skriver "Vi antar att ekvationen stämmer för n=p"
3. Induktionssteg
   • Här kommer själva beviset. Du sätter nu variabeln från förra steget till n=p+1. På detta sätt ska du visa att "om det stämmer för förra steget, så ska det fungera med detta steg. Därigenom har du visat att det gäller för alla tal.
   • Det svåra är att kunna koppla ihop induktionsantagandet med induktionssteget. Man vill kunna hitta ett mönster som är gemensamt mellan de två stegen, som ska skilja sig på ett sådant sätt att man ser hur de hänger ihop.
   • Se delen Exempel för en tydligare förklaring.
4. Avslutning
   • Här behöver man avsluta med en sammanfattning av vad man har bevisat, för vilka tal det är bevisat och att det gäller pga. induktionen.

Exempel

Det första som behövs för är en sats eller ett påstående man vill bevisa. För detta exempel har vi följande påstående:
[math]\displaystyle{ 1+2+3+\cdots+n = \frac{n(n+1)}{2} }[/math]

Alltså, summan av alla positiva tal upp till talet n, kan skrivas som talet n gånger n+1, delat på talet 2. Vi vill nu se om detta stämmer för alla positiva tal från och med 1. Om vi bevisar detta i steg enligt mallen ovan, blir det som följer.

1. Induktionsbas
   1. Vi visar först att satsen gäller för [math]\displaystyle{ n=1 }[/math].
   2. Detta gör man genom att helt enkelt sätta in värdet 1 i ekvationen. Ofta kan det för enkelhetens skull vara bra att dela upp högerled (HL) och vänsterled (VL) var för sig, för att sedan jämföra dem.
   3. [math]\displaystyle{ VL:1 }[/math]
   4. [math]\displaystyle{ HL:\frac{1(1+1)}{2}=\frac{1(2)}{2}=\frac{2}{2}=1 }[/math]
   5. Vi kan konstatera att [math]\displaystyle{ HL=VL }[/math]. Därmed har vi ett konstaterat basfall där antagandet stämmer.

1. Induktionsantagande
2. Induktionssteg
3. Avslutning