Konjugatregeln

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

Inom matematik är konjugatregeln ett ofta använt resultat då man vill skriva en differens som en produkt. Om a och b är två tal så är

a^2 - b^2 = (a+b)(a-b).\,

Konjugatregeln gäller även för andra matematiska objekt än tal. Objekten a och b måste då kommutera.

Innehåll

Den allmänna konjugatregeln

Om man ersätter exponenten 2 med ett annat positivt heltal får man vad som kallas den allmänna konjugatregeln:

a^n-b^n = (a-b)\cdot\left(\sum_{k=0}^{n-1}a^{n-1-k} \, b^{k}\right), \quad n = 1,2,3,\dots.

Exempel

a^5 - b^5 = (a - b)\cdot(a^4 \, b^0 + a^3 \, b + a^2\,b^2 + a^1\,b^3 + a^0\,b^4)

Tillämpning inom talteori

Låt a, b och n beteckna positiva heltal. Den allmänna konjugatregeln visar att ett tal på formen a^n - b^n\, bara kan vara ett primtal om differensen mellan a och b är ett. Om man är intresserad av att hitta primtal på denna form är det därför tillräckligt att inskränka letandet till tal av typen a^n - (a-1)^n.\, Speciellt ger valet a = 2 det som kallas Mersennetal:

2^n - 1.\,

För vissa värden på det positiva heltalet n är 2^n - 1\, ett primtal (Mersenneprimtal); för sådana värden måste följande tal vara ett primtal enligt konjugatregeln.

1+2+2^2+2^3+\cdots + 2^{n-1}.

Bevis av den allmänna konjugatregeln

Vi bevisar den allmänna konjugatregeln med hjälp av matematisk induktion med avseende på det positiva heltalet n:

  • Först visar vi att regeln är sann då n=1.
  • Sedan antar vi att regeln är sann då n=N, där N är ett positivt heltal.
  • Sedan visar vi att regeln är sann för nästa positiva heltal n=N+1.
  • Slutligen åkallar vi principen för matematisk induktion som låter oss säga att regeln är sann för alla positiva heltal n.

Då det positiva heltalet n=1, säger den allmänna konjugatregeln att följande samband råder:

a^1-b^1 = (a-b) \cdot \left(\sum_{k=0}^{1-1}a^{1-1-k} \, b^k\right) = (a-b) \cdot (a^0 \, b^0).

Eftersom a^1 = a och b^1 = b och a^0 = 1 och b^0 = 1, så säger den allmänna konjugatregeln i detta fall att a-b = a-b,\, vilket vi vet är sant. Den allmänna konjugatregeln är därför sann för det positiva heltalet n=1.

Vi antar nu att den allmänna konjugatregeln är sann för det positiva heltalet n=N, det vill säga:

a^N - b^N = (a-b)\cdot\left(\sum_{k=0}^{N-1}a^{N-1-k} \, b^{k}\right).

Med utgångspunkt från detta antagande skall vi visa att regeln är sann för nästa positiva heltal; Vi skall därför bevisa att:

a^{N+1} - b^{N+1} = (a-b)\cdot\left(\sum_{k=0}^{N}a^{N-k} \, b^{k}\right).

För att göra detta använder vi ett matematiskt knep:

Vi gör ingenting, men vi gör det på ett smart sätt!

I detta fall handlar det om att skriva om differensen aN + 1bN + 1 på ett sätt som gör att vi kan använda det vi vet om differensen aNbN;

a^{N+1} - b^{N+1} = a^{N} a - a^N  b + a^N  b - b^{N}  b.\,

Vi slår samman de termer som innehåller faktorn aN och vi slår även samman de termer som innehåller faktorn b:

a^{N+1}-b^{N+1} = a^{N}\,(a-b) + (a^N-b^N) \, b.

Nu ersätter vi differensen aNbN med det uttryck som vi har antagit vara sant:

a^{N+1}-b^{N+1} = a^N\,(a-b) + b \cdot (a-b)\cdot\left(\sum_{k=0}^{N-1}a^{N-1-k} \, b^{k}\right).

Sedan bryter vi ut den gemensamma faktorn (a-b)\, och skriver ut i detalj det som blir kvar:

a^{N+1}-b^{N+1} = (a-b) \cdot 
\left(a^N + b \cdot \left(a^{N-1} + a^{N-2}b + \cdots + a b^{N-2} + b^{N-1}\right)\right).

Om vi multiplicerar in faktorn b i summan ovan ser vi att:

a^{N+1}-b^{N+1} = (a-b) \cdot 
\left(a^N + a^{N-1} b  + a^{N-2}b^2 + \cdots + a b^{N-1} + b^{N}\right).

Med hjälp av summa-symbolen kan vi skriva vårt resultat på en form som visar att vi har uppnått det vi ville visa, nämligen att:

a^{N+1}-b^{N+1} = (a-b) \cdot 
\left(\sum_{k=0}^N a^{N-k} \, b^k\right).

Vi har härmed lyckats visa att om den allmänna konjugatregeln är sann för det positiva heltalet n=N, så är den även sann för nästa positiva heltal n=N+1.

Enligt principen för matematisk induktion är den allmänna konjugatregeln sann för alla positiva heltal n.

Se även

Personliga verktyg
På andra språk