Matematički dokaz: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Xqbot (razgovor | doprinosi)
m robot Dodaje: frr:Bewis
Nema sažetka uređivanja
Redak 1:
[[File:Pythagoras-2a.gif|250px|thumb|Vizualni dokaz Pitagorina teorema]]
'''Dokaz''', u [[matematika|matematičkom]] smislu, je logičko-matematički postupak kojim se dokazuje [[teorem]], u njemu se smiju koristiti samo [[aksiom]]i i prethodno dokazani teoremi.
 
'''Matematički dokaz''' je logičko-matematički postupak kojim se s pomoću [[aksiom]]a i ranije dokazanih teorema potvrđuje ili opovrgava neki iskaz ili [[teorem]]. Zaključivanje je najčešće [[dedukcija|deduktivno]] ili [[indukcija|induktivno]].
Jedan od popularnijih načina dokazivanja teorema je metoda "pretpostavimo suprotno".
 
U toj metodi u kojoj se pokušava dokazati tvrdnja ''A'', se pretpostavi da vrijedi tvrdnja ''ne A'' i traži se [[kontradikcija]] (tvrdnja koja je u suprotnosti s već prethodno dokazanim teoremom ili aksiomom).
== Metode dokazivanja ==
Među drugim načinima se nalazi i izvod.
 
1. Izravni dokaz.
:Na primjer, neka je iskaz: ''zbroj dva parna broja je uvijek paran broj''.
:Pretpostavimo da su ''x'' i ''y'' parni brojevi. Budući da su parni, moguće ih je napisati kao ''x'' = 2''a'' i ''y'' = 2''b'' gdje su ''a'' i ''b'' brojevi iz skupa cijelih brojeva. Tada se može vidjeti da je zbroj ''x'' + ''y'' = 2''a'' + 2''b'' = 2(''a'' + ''b'') jasno djeljiv s dva, tj. paran.
 
2. Matematička indukcija
 
3. Kontradikcija
:Jedan od popularnijih načina dokazivanja teorema je metoda "pretpostavimo suprotno".
U toj metodi u kojoj:Ako se pokušava dokazati tvrdnja ''A'', pretpostavi se pretpostavi da vrijedi tvrdnja ''ne A'' i traži se [[kontradikcija]] (tvrdnja koja je u suprotnosti s već prethodno dokazanim teoremom ili aksiomom).
 
4. Konstrukcija
 
5. Vizualni dokaz.
:Najpoznatiji je vizualni dokaz [[Pitagorin poučak|Pitagorinog teorema]].
 
6. Statistički dokaz
 
Kreće se od pretpostavke teorema pa se svi uvjeti teorema primjene na pojam na kojeg se teorem odnosi i tvrdnja teorema se logično-matematički izvede.
 
[[Kategorija:Matematika]]