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

ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 31: Rivi 31:


sigma ( k = 0, x ) { k(k+1) } + sigma ( k = x+1, x+1 ) { k(k+1) } :ksi.
sigma ( k = 0, x ) { k(k+1) } + sigma ( k = x+1, x+1 ) { k(k+1) } :ksi.
Koska tehtiin aiemmin oletus tosta sigma(k=0,x):stä, ja tehdyt oletukset pitää aina
maailman tappiin, me voidaan nyt heittää se mäkeen ja korvata se sillä mitä me
oletettiin sen olevan, eli x(x+1)(x+2)/3:lla. Saadaan
x(x+1)(x+2)/3 + sigma ( k = x+1, x+1 ) { k(k+1) }.


</pre>
</pre>