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

ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 46: Rivi 46:
x(x+1)(x+2)/3 + (x+1)((x+1) + 1)
x(x+1)(x+2)/3 + (x+1)((x+1) + 1)


ja meidän pitäis todistaa että se on sama kuin


(x+1)((x+1) + 1)((x+1) + 2) / 3, joka on kakkosvaiheen väitteen oikea puoli.
Tässä vaiheessa ollaan käytetty induktiotodistuksen peukalosäännöt loppuun ja siirrytään ihan perusveivaukseen, miten yhdestä saadaan toisen näköinen.
Helpointa on siivota molemmat puolet ihan perusmuotoonsa, jolloin niitä yleensä voi vaan verrata ja todeta että ne on samat. Matemaatikot tosin arvostaa enemmän, jos veivaa koko ajan
konsistentisti vain yhtä puolta, ja lopulta näyttää ta-daa että se on sama kuin se toinen
puoli. Nekin tosin salaa voi tehdä sen niin että siivoaa molemmat ensin perusmuotoonsa
ja sitten vertaa että ne on samat, ja tekee sen "oikean puolen" siivoamisen takaperin parissa
nopeutetussa askeleessa vasemmalle puolelle jotta se näyttää suoraan siltä oikealta puolelta.
Loppuun on tyylikästä sanoa että ykkös- ja kakkosvaiheen sekä induktioperiaatteen nojalla
alkuperäinen väite on todistettu, jotta kaikki tietävät mihin asti päästiin.


</pre>
</pre>