Et teorem er en matematisk sætning, hvis sandhed er blevet fastslået ved et bevis. Et bevis bygger på logik, præcise definitioner og andre sætninger, der allerede er blevet bevist. En sætning, som man skal bevise først for at kunne bevise en anden, kaldes et lemma. De fleste teoremer formuleres som et udsagn med to dele: hypoteser (forudsætninger) og en konklusion. Hvis hypoteserne er opfyldt, følger konklusionen nødvendigvis.

Opbygning og terminologi

Et teorem skrives typisk i form af en præcis betingelse og en præcis påstand. Relaterede begreber omfatter:

  • Definitioner: Angiver nøjagtigt, hvad der menes med de objekter, der optræder i teoremet.
  • Korollar: En følge af et teorem, som ofte er let at udlede fra hovedsætningen.
  • Proposition: Et mindre vigtigt resultat end et teorem, men stadig bevist.
  • Lemma: Et hjælpeudsagn brugt i beviser af større resultater.

Beviser og bevismetoder

Sætninger i matematik bygger på deduktion i modsætning til teorier, som typisk er empiriske og bygger på observationer. Et bevis kan være:

  • Et direkte bevis, hvor man udleder konklusionen direkte fra hypoteserne.
  • Et bevis ved modstrid (reductio ad absurdum), hvor man antager det modsatte og viser en modstrid.
  • Et bevis ved matematisk induktion, særligt brugbart for påstande om hele tal.
  • Et konstruktivt bevis, hvor man faktisk viser, hvordan et objekt med de ønskede egenskaber bygges.
  • Et probabilistisk bevis, der bruger sandsynlighedsargumenter for at vise, at noget må eksistere.
  • Et computergenereret eller computerassisteret bevis, hvor beregninger eller tjek udføres af software.

Valget af metode afhænger af teoremets natur. Nogle beviser er korte og elementære; andre er lange og kræver avancerede teknikker fra flere matematiske grene.

Typer af sætninger: trivielle versus dybe

Nogle sætninger er næsten trivielle, fordi de følger direkte af tidligere resultater eller definitioner. Andre kaldes dybe, fordi deres beviser er langvarige, teknisk krævende eller afslører overraskende forbindelser mellem tilsyneladende uafhængige områder af matematikken. Et godt eksempel på en enkel i udformning, men dyb i bevis, er Fermats sidste sætning. Der findes mange andre eksempler i bl.a. talteori og kombinatorik, hvor simple udsagn fører til dybe teorier.

Computerassisterede beviser og kontrovers

Der er sætninger, hvor det eneste kendte bevis reducerer problemet til omfattende beregninger, som verificeres af et computerprogram. Klassiske eksempler er firefarvesætningen og Keplers formodning. I begge tilfælde blev de sidste skridt i beviset gennemført ved hjælp af store beregningskontroller. I begyndelsen vakte denne metode skepsis blandt nogle matematikere, fordi den sværede menneskelig gennemgang af hvert enkelt trin. Over tid er computerassisterede beviser imidlertid blevet mere almindeligt accepteret, og samtidig er værktøjerne til formel verifikation blevet udviklet.

Moderne tendenser går i retning af at kombinere numeriske beregninger med formelle bevisassistenter (fx Coq, Lean, Isabelle), som kan kontrollere bevisernes logiske korrekthed helt ned til aksiomerne. Disse værktøjer øger tilliden til computerassisterede resultater og gør det muligt at producere fuldt formelle beviser, der kan tjekkes automatisk.

Begrænsninger: aksiomer, konsistens og uafhængighed

Et teorems sandhed afhænger af de aksiomer og definitioner, man arbejder ud fra. I nogle tilfælde kan et udsagn hverken bevises eller modbevises ud fra et givent aksiomsæt — man siger, at udsagnet er uafhængigt af aksiomerne. Et berømt eksempel i logik er uafhængigheden af kontinuitetsantagelsen (continuum hypothesis) fra Zermelo–Fraenkel-mængdelæren med valg (ZFC). Kurt Gödel og Paul Cohen viste vigtige resultater om sådanne uafhængighedsforhold, hvilket understreger, at matematiske sandheder kan afhænge af de valgte grundantagelser.

Eksempler og anvendelse

Teoremer er grundlaget for næsten al ren matematik: de organiserer viden i form af præcise udsagn og logiske forbindelser. Nogle teoremer bliver også vigtige i anvendt matematik og i teknologiske anvendelser, fx i kryptografi, beregningsteori og fysik. Mange resultater kan reduceres til beregninger, herunder polynomialidentiteter, trigonometriske identiteter og hypergeometriske identiteter, som ofte behandles både symbolsk og numerisk.

Betydning og kultur

Et teorem er ikke kun et teknisk udsagn — det repræsenterer også ny indsigt i matematikkens struktur. Dybe teoremer kan skabe nye delområder, føre til uventede forbindelser mellem fagområder og inspirere til yderligere forskning. Diskussionerne om bevisers natur, computerassistance og formel verifikation viser, at matematik er både en logisk disciplin og et levende fag i udvikling.