Teorem jẹ ọrọ ti ipilẹṣẹ Greek ti a igbero ti o tọka otitọ fun aaye imọ -jinlẹ kan, eyiti o ni iyasọtọ ti iṣafihan nipa lilo si awọn igbero ti a fihan tẹlẹ, ti a pe ni axioms. Ni deede awọn theorems ṣe atilẹyin awọn imọ -jinlẹ ti a pe ni 'gangan’, paapaa 'lodo' (mathimatiki, ọgbọn), eyiti o jẹ awọn ti o lo awọn eroja to peye lati fa awọn ipinnu gbogbogbo.
Erongba ti o wa lẹhin imọran ti imọ -jinlẹ ni pe, niwọn igba ti awọn wọnyi ba da lori awọn igbero otitọ ti a sọ ni ọgbọn ati ni deede, ohun ti theorem ṣalaye jẹ otitọ ti iwulo pipe. Eyi ni deede ohun ti o fun wọn laaye lati ṣiṣẹ bi atilẹyin fun idagbasoke eyikeyi imọ -jinlẹ eyikeyi, laisi iwulo lati jẹrisi lẹẹkansi.
Didara aringbungbun ti awọn ẹkọ jẹ ihuwasi wọn ti mogbonwa. Ni gbogbogbo, ati lẹẹkansi ni lafiwe pẹlu awọn iru imọ -jinlẹ miiran (bii awọn ti a ṣe nipasẹ ifamọra tabi akiyesi), ipilẹṣẹ rẹ jẹ lati iṣe ti ilana ọgbọn ti o le paṣẹ ni rọọrun. Ni ori yii, awọn theorems bẹrẹ lati a ipilẹ ile, eyiti o fẹ ṣe afihan; iwe afọwọkọ kan, eyiti o jẹ deede ni ifihan, ati idapọmọra kan, eyiti o jẹ ipari iyẹn ti de ni kete ti ifihan ti pari.
Gẹgẹbi a ti sọ, imọran akọkọ ti awọn imọ -ọrọ jẹ ibeere ti iṣeeṣe igbagbogbo ati pe o ṣee ṣe lati ṣe iforukọsilẹ ati gba lẹẹkansi ni gbogbo igba. Bibẹẹkọ, ti ipo kan ba waye ninu eyiti theorem padanu gbogbo agbaye rẹ, ilana -iṣe naa di alaimọ.
Awọn Erongba ti theorem ti ya nipasẹ awọn imọ -jinlẹ miiran (eto -ọrọ -aje, oroinuokan tabi imọ -ọrọ oloselu, laarin awọn miiran) lati ṣe apẹrẹ pataki kan tabi awọn ipilẹ ipilẹ ti o ṣe akoso awọn aaye wọnyẹn, paapaa nigba ti awọn wọnyi ko dide nipasẹ ilana ti a ṣalaye. Ni awọn ọran wọnyi, a ko lo awọn axioms ṣugbọn kuku awọn iyalẹnu ti a ṣe nipasẹ awọn ilana bii akiyesi tabi paapaa iṣapẹẹrẹ iṣiro.
Atokọ atẹle n ṣajọ awọn apẹẹrẹ ti awọn ẹkọ ati apejuwe kukuru ti ohun ti o fiweranṣẹ:
- Ilana Pythagoras: ibatan laarin wiwọn ti hypotenuse ati ti awọn ẹsẹ, ni ọran ti awọn onigun mẹta.
- Aṣa nọmba akọkọ: Bi laini nọmba ti ndagba, awọn nọmba yoo dinku ati kere si lati ẹgbẹ yẹn.
- Imọ -ọrọ Binomial: agbekalẹ fun awọn agbara ipinnu awọn binomials (awọn afikun tabi iyokuro awọn eroja).
- Ilana Frobenius: agbekalẹ agbekalẹ fun awọn eto ti awọn idogba laini.
- Ilana Thales: awọn abuda ni awọn ofin ti awọn igun ati awọn ẹgbẹ ti iru onigun mẹta, ati awọn ohun -ini miiran ti wọn.
- Ilana ti Euler: nọmba awọn igun ati nọmba awọn oju jẹ dọgba nọmba awọn egbegbe pẹlu 2.
- Ilana Ptolemy: Akopọ awọn ọja ti awọn diagonal jẹ dogba si akopọ awọn ọja ti awọn ẹgbẹ idakeji.
- Ẹkọ Cauchy-Hadamard: Idasile rediosi ti idapọ ti awọn agbara lẹsẹsẹ ti o sunmọ iṣẹ kan ni ayika aaye kan.
- Ilana ti Rolle: Ni aarin ti awọn iwọn ti a ṣe iṣiro ni iṣẹ iyatọ kan jẹ dọgba, aaye yoo wa nigbagbogbo nibiti ibiti itọsẹ yoo parẹ.
- Itumọ iye ti o tumọ: Ti iṣẹ kan ba jẹ lemọlemọfún ati iyatọ lori aarin, aaye kan yoo wa ni aarin yẹn nibiti tangent yoo jẹ ni afiwe si alaabo.
- Ilana ti Cauchy Dini: Awọn ipo fun iṣiro ti awọn itọsẹ ninu ọran ti awọn iṣẹ aibikita.
- Iṣiro Iṣiro: Ipilẹ ati isọdọkan ti iṣẹ kan jẹ awọn iṣẹ aiyipada.
- Oye -ọrọ Arithmetic: Gbogbo odidi rere le ṣe aṣoju bi ọja ti awọn ifosiwewe akọkọ.
- Bayes theorem (awọn iṣiro): Ọna lati gba awọn iṣeeṣe ipo.
- Cobweb theorem (eto -ọrọ -aje): Theorem lati ṣalaye dida awọn ọja ti a ṣe da lori idiyele iṣaaju.
- Theorem ti Marshall Lerner (eto -ọrọ -aje): Onínọmbà ti ipa ti idinku owo ni awọn ofin ti awọn iwọn ati awọn idiyele.
- Coase theorem (ọrọ -aje): Solusan fun awọn ọran ti awọn ita, ti n duro de imukuro.
- Aṣa oludibo agbedemeji (imọ -ọrọ oloselu): Eto idibo to poju duro lati ṣe ojurere si idibo agbedemeji.
- Ẹkọ Baglini (imọ -ọrọ oloselu, Argentina): Oloṣelu duro lati mu awọn igbero rẹ wa si aarin nigbati o sunmọ awọn ipo agbara.
- Thomas theorem (sociology): Ti awọn eniyan ba ṣalaye awọn ipo bi gidi, wọn di gidi ni awọn abajade wọn.