Yon teyorèm se yon mo ki gen orijin grèk ke yon pwopozisyon ki endike yon verite pou yon sèten domèn syans, ki gen patikilye pou yo demontre pa recourir nan lòt pwopozisyon deja demontre, yo rele aksyom. Tipikman teyorèm yo sipòte syans yo rele 'egzak’, espesyalman 'fòmèl la' (matematik, lojik), ki se moun ki itilize eleman ideyal pou tire konklizyon jeneral.
Panse dèyè konsèp nan yon teyorèm se ke, osi lontan ke sa yo yo te fonde sou pwopozisyon vre atikile lojikman ak kòrèkteman, sa ki Teyorèm a eksprime se yon verite nan validite absoli. Sa a se jisteman sa ki pèmèt yo sèvi kòm yon sipò pou devlopman nan nenpòt ki teyori syantifik, san yo pa bezwen nan pwouve ke li ankò.
Bon jan kalite santral la nan teyorèm se karaktè yo nan lojik. An jeneral, e ankò an konparezon ak lòt kalite konesans syantifik (tankou sa yo ki pwodwi nan enferans oswa obsèvasyon), orijin li se soti nan pèfòmans nan yon pwosedi ki lojik ki ka fasilman bay lòd. Nan sans sa a, teyorèm yo kòmanse nan yon ipotèz fondamantal, ki se sa ou vle demontre; yon tèz, ki se jisteman la demonstrasyon, ak yon korolè, ki se la konklizyon ki rive yon fwa ke demonstrasyon an fini.
Kòm te di, lide prensipal la nan Teyorèm yo se kesyon an nan posibilite konstan ak posibilite pou yo te kontreyen ak aksepte ankò nan tout tan. Sepandan, si yon sèl sitiyasyon rive nan ki Teyorèm pèdi inivèsalite li yo, Teyorèm la imedyatman vin envalid.
Te konsèp nan Teyorèm pran pa lòt syans (ekonomi, sikoloji oswa syans politik, nan mitan lòt moun) deziyen sèten konsèp enpòtan oswa fondamantal ki gouvène sa yo jaden, menm lè sa yo pa leve nan pwosedi a eksplike. Nan ka sa yo, aksyom yo pa itilize men pito enferans ki fèt pa pwosedi tankou obsèvasyon oswa menm echantiyon estatistik.
Lis ki anba la a rasanble egzanp teorèm ak yon deskripsyon tou kout sou sa li postila:
- Teyorèm Pitagora: relasyon ant mezi ipotenuz la ak sa ki nan pye yo, nan ka triyang dwat.
- Premye Teyorèm Nimewo: Kòm liy lan nimewo ap grandi, pral gen mwens ak mwens nimewo ki soti nan gwoup la.
- Teyorèm binomyal: fòmil pou rezoud pouvwa binomi (ajoute oswa soustraksyon eleman).
- Teyorèm Frobenius: rezoud fòmil pou sistèm ekwasyon lineyè.
- Teyorèm Thales: karakteristik an tèm de ang ak kote nan triyang ki sanble, ak lòt pwopriyete yo.
- Teyorèm Euler la: kantite somè plis kantite figi egal kantite bor plis 2.
- Teyorèm Ptolome a: Sòm la nan pwodwi yo nan dyagonal yo ki egal a sòm total la nan pwodwi yo nan kote opoze.
- Teyorèm Cauchy-Hadamard: Etablisman reyon dirèksyon yon seri de pouvwa ki apwoksimatif yon fonksyon otou yon pwen.
- Teyorèm Rolle a: Nan yon entèval ki gen ekstrèm evalye nan yon fonksyon différenciable egal, ap toujou gen yon pwen kote derive a disparèt.
- Teyorèm valè mwayèn: Si yon fonksyon se kontinyèl ak diferansye sou yon entèval, pral gen yon pwen nan entèval sa a kote tanjant la pral paralèl ak sekant la.
- Teyorèm Cauchy Dini a: Kondisyon pou kalkil la nan dérivés nan ka a nan fonksyon enplisit.
- Teyorèm Kalkil la: Derivasyon an ak entegrasyon nan yon fonksyon yo se operasyon envès.
- Teyorèm aritmetik: Chak antye relatif pozitif ka reprezante kòm yon pwodwi de faktè premye.
- Teyorèm Bayes (estatistik): Metòd pou jwenn pwobabilite kondisyonèl.
- Teyorèm arenyen (ekonomi): Teyorèm yo eksplike fòmasyon nan pwodwi ke yo te fè ki baze sou pri a anvan yo.
- Teyorèm Marshall Lerner (ekonomi): Analiz de enpak la nan yon devalorizasyon lajan an tèm de kantite ak pri.
- Teyorèm Coase (ekonomi): Solisyon pou ka ekstènite, ki gen tandans nan direksyon pou déréglementation.
- Teyèm elektè medyàn (syans politik): Sistèm eleksyon majoritè a gen tandans favorize vòt medyàn lan.
- Teyorèm Baglini a (syans politik, Ajantin): Politisyen an gen tandans pote pwopozisyon li yo nan direksyon sant lan lè li apwoche pozisyon pouvwa.
- Teyorèm Thomas la (sosyoloji): Si moun defini sitiyasyon yo kòm reyèl, yo vin reyèl nan konsekans yo.
