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

ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 24: Rivi 24:
   sigma ( k = 0, y ) { k(k+1) } on sama kuin (oletetaan että z < y on hyvä välietappi)
   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) }
   sigma ( k = 0, z ) { k(k+1) } + sigma ( k = z+1, y ) { k(k+1) }
Ja jaetaan se niin, että se toinen jäljelle jäävä sigma on ton oletuksen sigma, jotta
me voidaan annihiloida se korvaamalla se oletuksesta saadun kaavan oikealla puolella,
jota on paljon helpompi käpistellä.


</pre>
</pre>