Beräkning av summor med knep
Börjar med formeln för aritmetisk summa:
n
∑k = n(n+1)/2
k=1
Beteckna denna med s1(n). Formeln visas så som Gauss påstås ha gjort i småskolan: skriv ut summan termvis 2 ggr i motsatta riktningar
s1(n) = 1+2+3+...+(n-2)+(n-1)+n samt
s1(n) = n+(n-1)+(n-2)+...+3+2+1
Addera:
2*s1(n) = (n+1)+(n+1)+...+(n+1)+(n+1), n st termer.
Alltså: 2*s1(n) = n(n+1) => s1(n) = n(n+1)/2
Nästa steg är att beräkna
Denna är lite knepigare. Först utnyttjas egenskaper hos teleskopsummor.
Inför T enligt:
Kod:
n
T(n) = ∑f(k+1)-f(k)
k=1
Skriv ut termerna:
Kod:
n
T(n) = ∑f(k+1)-f(k) =
k=1
= f(2)-f(1) +
+f(3)-f(2) +
+f(4)-f(3) +
+f(5)-f(4) +
+ ... +
+f(n-1)-f(n-2) +
+f(n)-f(n-1) +
+f(n+1)-f(n)
Termerna tar ut varandra parvis. Kvar efter det totala förintandet blir:
Kod:
n
T(n) = ∑f(k+1)-f(k) = f(n+1)-f(1)
k=1
Sätt i detta fall f(k) = k³=>
Kod:
n
T(n) = ∑(k+1)³-k³ = (n+1)³-1
k=1
Utveckla kuben: (k+1)³ = k³ + 3k² + 3k + 1 =>
Kod:
n
T(n) = ∑(k+1)³-k³ = ∑(k³+3k²+3k+1)-k³ =
k=1
= 3∑k²+ 3∑k + ∑1 = 3s2(n) + 3s1(n) + n
Sätt ihop resultaten:
T(n) = (n+1)³-1 = 3s2(n) + 3s1(n) + n =>
=> s2(n) = (1/3)[(n+1)³-1-(3s1(n) + n)] = (1/3)[(n+1)³-1-(3/2)n(n+1) - n]
Stuva om:
s2(n) =
= (1/3)[(n+1)³-1-(3/2)n(n+1) - n] =
= (1/3)(n+1)[(n+1)²-1-(3/2)n] =
= (1/3)(n+1)[(n+1)²-1-n-n/2] =
= (1/3)(n+1)[n(n+1) -n/2] =
= (1/3)n(n+1)[n+1 -1/2] =
= (1/6)n(n+1)(2n+1)
Och då får man slutligen
Kod:
n
A(n) = ∑k²= n(n+1)(2n+1)/6
k=1
Envisas man med formeln för n+1, så byt n mot n+1, vilket ger:
Kod:
n+1
A(n+1) = ∑k²= (n+1)(n+2)(2n+3)/6
k=1