Teorem
- Za ostala značenja, vidi Teorem (razvrstavanje).
Teorem ili teorema (kasnolat. theorema < grč. ϑɛώρημα: prizor, poučak), u matematici, iskaz u kojem se uočava da neki matematički pojam (uz, možda, još neke uvjete) ima još neke karakteristike osim onih danih u definiciji tog pojma (npr. da je 1>0) i ta se tvrdnja mora dokazati. Dok se tvrdnja ne dokaže, tu tvrdnju zovemo propozicijom, hipotezom.
Na neki način se dokazane propozicije dijele na tri grupacije (ovo nije stroga matematička podjela, nego čisto zbog lakšeg razumijevanja):
Lema je dokazana propozicija koja, u principu, nema korisnost osim u dokazivanju nekog većeg teorema. Dobar primjer je determinanta matrice. Postoji lema koja kaže da determinanta transponirane matrice nije veća od determinante originalne matrice. Tvrdnja sama po sebi i nije nešto posebno, pogotovo kada se iskoristi ponovo na samu sebe i time dokaže da je determinanta transponirane matrice jednaka determinanti originalne matrice.
Korolar je dokazana propozicija koja slijedi direktno iz nekog prethodnog teorema.
Teorem je nešto jako bitno što se dosta često koristi i izvan dokaza drugih teorema, najbolji primjer je Pitagorin teorem.
Napominjem ponovo da je ovo "labava" podjela, tj. ništa od toga nije egzaktno matematički nego se tako dijeli čisto radi lakšeg razumijevanja.
Izvori
uredi- ↑ Elisha Scott Loomis. „The Pythagorean proposition: its demonstrations analyzed and classified, and bibliography of sources for data of the four kinds of proofs”. Education Resources Information Center. Institute of Education Sciences (IES) of the U.S. Department of Education. Pristupljeno 26. septembra 2010. Izvorno publicirano 1940. i reprintano 1968. od National Council of Teachers of Mathematics.