Ero sivun ”Satunnainen esimerkki induktiotodistuksesta” versioiden välillä

ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 18: Rivi 18:


sigma ( k = 0, x+1 ) { k(k+1) } = (x+1)((x+1) + 1)((x+1) + 2) / 3
sigma ( k = 0, x+1 ) { k(k+1) } = (x+1)((x+1) + 1)((x+1) + 2) / 3
Tavoite: jaetaan sigma kahteen palaan (sen saa aina jakaa kahtia niin, että ensin
juoksutetaan juoksutusnumeroa johonkin välietappiin, ja sitten etappi+1:stä loppuun asti),
esmers
  sigma ( k = 0, y ) { k(k+1) } on sama kuin (oletetaan että z < y on hyvä välietappi)
  sigma ( k = 0, z ) { k(k+1) } + sigma ( k = z+1, y ) { k(k+1) }


</pre>
</pre>