Bevis

Bevis för formeln för geometrisk summa

Formeln för att bestämma en geometrisk summa kan skrivas som nedan, där $k \neq = 1 .$

$a + a k + a k^{2} + \dots + a k^{n - 1} = \frac{a ( k ^{n} - 1 )}{k - 1}$

Vi kallar summan i vänsterledet för

s_{n}

så att vi får ekvationen:

s_{n} = a + a k + a k^{2} + \dots + a k^{n - 1},

För att bevisa formeln skapar vi en till ekvation där ovanstående ekvation har multiplicerats med faktorn

k .

Man får då följande två ekvationer:

s_{n} = a + a k + a k^{2} + \dots + a k^{n - 1} s_{n} \cdot k = a k + a k^{2} + a k^{3} + \dots + a k^{n} (I) (II)

Jämför man dessa inser man att alla termer i summornas högerled är gemensamma förutom

a

och

a k^{n}

som endast finns i ekvation (I) respektive ekvation (II). Dessa gemensamma termer har nedanför markerats som gröna:

s_{n} = a + a k + a k^{2} + \dots + a k^{n - 1} s_{n} \cdot k = a k + a k^{2} + a k^{3} + \dots + a k^{n} .

Om man subtraherar ekvation (I) från ekvation (II) kommer de gröna termerna att ta ut varandra. Det som därefter blir kvar kan skrivas om till formeln för att bestämma en geometrisk summa.

s_{n} = a + a k + a k^{2} + \dots + a k^{n - 1} s_{n} \cdot k = a k + a k^{2} + a k^{3} + \dots + a k^{n} (I) (II)

SysEqnSub

$(II):$ Subtrahera $(I)$

s_{n} = a + a k + a k^{2} + \dots + a k^{n - 1} s_{n} \cdot k - s_{n} = a k + a k^{2} + a k^{3} \dots + a k^{n} - (a + a k + a k^{2} + \dots + a k^{n - 1})

SimpTerms

$(II):$ Förenkla termer

s_{n} = a + a k + a k^{2} + \dots + a k^{n - 1} s_{n} \cdot k - s_{n} = a k^{n} - a

Nu kan man fokusera på den andra ekvationen och lösa ut $s_{n} .$

s_{n} \cdot k - s_{n} = a k^{n} - a

FactorOut

Bryt ut $s_{n}$

s_{n} (k - 1) = a k^{n} - a

DivEqn

$VL / (k - 1) = HL / (k - 1)$

s_{n} = \frac{a k ^{n} - a}{k - 1}

FactorOut

Bryt ut $a$

s_{n} = \frac{a ( k ^{n} - 1 )}{k - 1}

Men

s_{n}

var ju från början definierad som

a + a k + a k^{2} + \dots + a k^{n - 1}

vilket ger likheten

a + a k + a k^{2} + \dots + a k^{n - 1} = \frac{a ( k ^{n} - 1 )}{k - 1} .

Q.E.D.

@@ Rad 1: / Rad 1: @@
-=<translate><!--T:1-->
+<hbox type="h1" iconcolor="proof"><translate><!--T:1-->
-Bevis för formeln för geometrisk summa</translate>=
+Bevis för formeln för geometrisk summa</translate></hbox>
 <translate><!--T:2-->
 Formeln för att bestämma en [[Geometrisk summa *Rules*|geometrisk summa]] kan skrivas som nedan, där $k \neq 1.$</translate>

{{ article.displayTitle }}

Versionen från 22 mars 2019 kl. 16.16

Bevis

Bevis för formeln för geometrisk summa

	{{ 'ml-lesson-number-slides' \| message : article.intro.bblockCount}}
	{{ 'ml-lesson-number-exercises' \| message : article.intro.exerciseCount}}
	{{ 'ml-lesson-time-estimation' \| message }}