254
muokkausta
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> |