Teoreemi on matemaattinen väite, joka on johdettu ja todistettu loogisten päättelyketjujen avulla matematiikassa. Teoreemin muotoilu sisältää yleensä oletukset eli hypoteeseista ja väitteen eli johtopäätöksen; muodollisessa kielessä nämä ilmaistaan usein kaltasääntöinä, universaalikvanttorina tai eksistenssiväitteinä. Todistus perustuu logiikkaa sekä aiemmin todettuihin lauseisiin ja oletuksiin: määritelmiin, aksioomiin ja muihin teoreemoihin.

Roolit: lemma, proposition, korollaari

Todistusten rakenteessa käytetään usein apulauseita. Esimerkiksi Lemma on apulause, joka osoitetaan, koska sen avulla voidaan todistaa tärkeämpi tulos. Muita tavallisia nimityksiä ovat propositio (vähäisempi tai erikoistapauksellinen tulos) ja korollaari (suora seuraus aiemmasta teoreemasta). Aksioomat puolestaan ovat väitteitä, joita ei todisteta vaan joista rakennetaan teoria.

Todistustavat

Todistuksia on monenlaisia. Yleisimmät menetelmät ovat:

  • Suora todistus: oletuksista päädytään suoraan johtopäätökseen laskujen tai loogisten askelten kautta.
  • Todistus vastaoletuksella (reduktio ad absurdum): oletetaan päinvastoin ja johdetaan ristiriita.
  • Kontrapositio: näytetään, että johtopäätöksen vastavuoroisen epätotuus johtaa hypoteesin epätotuuteen.
  • Matemaattinen induktio: erityisen tärkeä luonnollisten lukujen väitteissä; perustuu perusaskeleseen ja induktioväitteeseen.
  • Konstruktio- ja esimerkkipohjaiset todistukset: rakennetaan objekti, joka osoittaa väitteen.
  • Analyyttiset, algebralliset, geometriset ja kombinatoriset menetelmät: erilaiset aluekohtaiset tekniikat ja käsitteet.
  • Satunnaistettu/probabilistinen menetelmä: todennäköisyyslaskenta antaa olemassaolotodistuksen.

Todistukset voivat olla formaaleja (täysin muodollisia ja koneellisesti verifioitavia) tai essee-tyyppisiä ”todistuskäsikirjoituksia”, jotka antavat ymmärrettävän ja hyväksyttävän rationaalisen perustelun.

Triviaalit ja syvät teoreemat

Jotkin lauseet ovat triviaalisti seurausta aiemmista tuloksista; toiset ovat ”syvällisiä” — niiden todistaminen vaatii pitkää ja teknisesti vaativaa ketjua, usein uusien ideoiden tai muiden matematiikan alueiden työkalujen kehittämistä. Syvät teoreemat paljastavat usein yllättäviä yhteyksiä eri aloilla ja tuottavat uutta rakennetta ja käsitteitä. Lause voi olla helposti muotoiltu ja silti syvä: erinomainen esimerkki on Fermat'n viimeinen lause, jonka nykyiset todistukset liittyvät elliptisten käyrien ja modulaarimuotojen teoriaan. Samankaltaisia yksinkertaisia mutta syvällisiä tuloksia löytyy muun muassa lukuteoriassa ja kombinatoriikassa.

Tietokoneavusteiset ja formaalit todistukset

On olemassa lauseita, joiden totuuden todentaminen on tehty laskennallisesti tai tietokoneavusteisesti. Parhaita esimerkkejä ovat neljän värin lause ja Keplerin arvelu, joiden alkuperäiset todistukset sisälsivät laajoja tapauslaskelmia tai tietokoneella suoritettuja tarkistuksia. Aluksi tällaiset todistukset kohtasivat skeptisyyttä, mutta niiden hyväksyntä on kasvanut, ja nykyaikana osa tuloksista formalisoidaan ja varmistetaan formaaleilla todistusavustajilla kuten Coq, Isabelle, HOL tai Lean. Matemaatikko Doron Zeilberger on kritisesti kommentoinut tietokoneavusteisten todistusten luonnetta ja niiden merkitystä perinteiselle todistuskäsitykselle.

Merkitys matematiikassa ja muualla

Teoreemat muodostavat matematiikan rakennusaineen: ne tiivistävät yleispäteviä totuuksia, ohjaavat teoriaiden kehitystä ja tarjoavat työkaluja sovelluksiin. Hyvä todistus ei ainoastaan vahvista väitettä, vaan antaa myös ymmärrystä, menetelmiä ja usein uusia kysymyksiä. Teoreemit ovat tärkeitä myös opetuksessa — ne opettavat päättelyn muotoja ja matemaattista ajattelua — sekä käytännön sovelluksissa, kuten fysiikassa, tekniikassa, tietojenkäsittelyssä ja ohjelmistojen varmennuksessa.

Rajoitukset ja filosofiset näkökulmat

On myös syytä muistaa teoreemien rajoitukset: väitteen todistettavuus riippuu valituista aksioomista ja formaalista järjestelmästä, ja Gödelin epätäydellisyysteoreemat osoittavat, että tietyissä rikkaissa aksioomajärjestelmissä on totuuksia, joita ei voi todistaa kyseisistä aksioomista. Lisäksi todistusten tyyli ja hyväksyntäkriteerit voivat muuttua ajan myötä (esim. laskennalliset todistukset, formaalit varmistukset), mikä heijastaa matematiikan elävää ja kehittyvää luonnetta.

Yhteenvetona: teoreemi on perustava käsite matematiikassa — se on väite, joka on johdettu johdonmukaisesti hyväksytyistä lähtökohdista. Todistusten moninaisuus, syvyys ja käytännön vaikutukset tekevät teoreemoista keskeisen osan matemaattista tutkimusta ja tiedonrakentamista.