Miselni procesi pri matematiki

Miselni procesi pri matematiki

V zadnji triadi nadgradiš miselne procese iz prejšnjih razredov z bolj formalnim dokazovanjem in algebrskim utemeljevanjem — namesto da trditev le preizkusiš na primerih, jo znaš utemeljiti splošno.

Algebrski dokaz namesto preizkušanja primerov: trditev "vsota dveh zaporednih naravnih števil je liho število" lahko dokažemo splošno: zaporedni števili zapišemo kot n in n+1. Njuna vsota je n + (n+1) = 2n + 1. Ker je 2n vedno sodo (deljivo z 2), je 2n+1 vedno liho — dokazano za VSAK n, ne le za nekaj preizkušenih primerov.

Razlika med "preizkusom" in "dokazom": preizkus na 5 primerih pokaže, da trditev *verjetno* drži; algebrski dokaz z n pokaže, da drži *vedno*, ker n predstavlja poljubno število.

Protiprimer ostaja najmočnejše orodje za ovržbo: en sam protiprimer zadostuje, da trditev ovržemo — dokaz pa je edini način, da trditev potrdimo za vse primere.

Pogosta napaka: učenci mislijo, da je 5 preizkušenih primerov "dovolj dober dokaz". V matematiki to ni dokaz, temveč le indic — pravi dokaz mora veljati za poljuben n.