Mewn mathemateg, mae theorem (enw benywaidd) yn ddatganiad sydd wedi'i brofi ar sail datganiadau a sefydlwyd yn flaenorol, megis theoremau eraill, a gwirebau, sef datganiadau a dderbynnir yn gyffredinol. Mae'r theorem yn ganlyniad rhesymegol i'r gwirebau hyn.

Gwyddys fod o leiaf 370 prawf i theorem Pythagoras.[1]

Profir y theori mathemategol ar ffurf dadl resymegol ar y datganiad theorem a roddir. Mae'r prawf o'r theorem yn aml yn cael ei ddehongli fel cyfiawnhad o wirionedd y datganiad theorem. Gan fod theoremau'n cael eu profi, mae'r cysyniad o theorem yn diddwythol (deductive), yn wahanol i'r syniad o ddeddf wyddonol, sy'n arbrofol.[2]

Mae llawer o theoremau yn ddatganiadau amodol. Yn yr achos hwn, mae'r prawf yn canfod y casgliad allan o amodau a elwir yn "rhagdybiaeth" (hypotheses) neu "ragosodiadau" (premises).[3]

Er y gellir eu hysgrifennu mewn ffurf gwbl symbolaidd (er enghraifft, yn nhermau calcwlws), mynegir theoremau yn aml mewn iaith naturiol anfathemategol. Mae'r un peth yn wir am brofion, a fynegir yn aml fel dadleuon anffurfiol, wedi'u trefnu'n rhesymegol, ac a fwriedir i argyhoeddi darllenwyr o wirionedd datganiad y theorem. Ohonynt, gellir llunio prawf symbolaidd ffurfiol. Fel arfer, mae dadleuon o'r fath yn haws i'w gwirio na rhai symbolaidd yn unig - yn wir, byddai llawer o fathemategwyr yn ffafrio prawf nad yw'n dangos dilysrwydd theorem yn unig, ond sydd hefyd yn dweud yn blwmp ac yn blaen pam ei fod yn wir.

Mewn rhai achosion, gall llun yn unig fod yn ddigonol i brofi theorem. Oherwydd bod theoremau yn gonglfaen i fathemateg, maent hefyd yn ganolog i'w estheteg. Yn aml, disgrifir theoremau fel "dibwys", neu "anodd", neu "ddwfn", neu hyd yn oed yn "hardd". Mae'r barnau goddrychol hyn yn amrywio nid yn unig o berson i berson, ond hefyd gydag amser. Er enghraifft, wrth i brawf gael ei symleiddio neu ei gyflwyno a'i ddeall yn well, gallai theorem a oedd unwaith yn anodd ddod yn ddibwys. Ar y llaw arall, gellir nodi theorem ddofn yn syml, ond gall ei brawf gynnwys cysylltiadau annisgwyl a bychan iawn, rhwng meysydd mathemateg gwahanol. Mae Theorem Olaf Fermat yn enghraifft arbennig o adnabyddus o'r math hwn o theorem.

Cyfeiriadau

golygu
  1. Elisha Scott Loomis. "The Pythagorean proposition: its demonstrations analyzed and classified, and bibliography of sources for data of the four kinds of proofs" (PDF). Education Resources Information Center. Institute of Education Sciences (IES), Adran Addysg UDA. Cyrchwyd 2010-09-26. Italic or bold markup not allowed in: |work= (help); Italic or bold markup not allowed in: |publisher= (help) Cyhoeddwyd yn wreiddiol yn 1940; ailargraffwyd yn 1968 gan y National Council of Teachers of Mathematics.
  2. Fodd bynnag, mae'r ddau (theoremau a deddfau gwyddonol) yn ganlyniad i ymchwil. Gweler: Heath 1897 Introduction, The terminology of Archimedes, t. clxxxii:"theorem (θεὼρνμα) from θεωρεἳν to investigate"
  3. geiriadur.bangor.ac.uk; Y Termiadur Addysg - Cemeg a Bioleg, Ffiseg a Mathemateg, Gofal Plant; adalwyd 30 Rhagfyr 2018.