Тэарэма: Розніца паміж версіямі
[недагледжаная версія] | [дагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др r2.7.1) (робат дадаў: sq:Teorema |
JerzyKundrat (размовы | уклад) + |
||
Радок 1:
'''Тэарэ́ма''' ({{lang-el|θεώρημα}} — «выгляд, паданне, становішча») —
У матэматычных тэкстах тэарэмамі звычайна завуць толькі досыць важныя сцвярджэнні. Пры гэтым патрабаваныя доказы звычайна кімсьці знойдзеныя (выключэнне складаюць у асноўным працы па логіцы, у якіх вывучаецца само паняцце доказу, а таму ў некаторых выпадках тэарэмамі завуць нават нявызначаныя сцвярджэнні). Меней важныя сцвярджэнні-тэарэмы звычайна завуць [[лема]]мі, [[прапанова]]мі, [[следства]]мі і іншымі падобнымі тэрмінамі. Сцвярджэнні, аб якіх невядома, ці
Доказ тэарэмы заключаецца ў прывядзенні яе да папярэдніх тэарэм або да прапаноў, якія з'яўляюцца лагічнай асновай дадзенай тэорыі — [[аксіёма]]мі.
Многія тэарэмы можна выказаць у форме 1 «калі А, то Б», дзе А — умова тэарэмы, Б — заключэнне. Тэарэма 2 «калі Б, то А» называецца адваротнай адносна 1. Тэарэмы 1 і 2 ўзаемна адваротныя. Калі яны справядлівыя, то А называюць неабходнай і дастатковай умовай для Б (крьггэрыем Б). Тэарэма 3 «калі не А, то не Б» называецца процілеглай 1. Тэарэма 4 «калі не Б, то не А», адваротная да процілеглай 3, раўнасільная 1. Спосаб доказу 1 прывядзеннем яе да 4 называецца метадам ад процілеглага.
Прыклады тэарэм: калі сума лічбаў ліку дзеліцца на 3, то лік дзеліцца на 3, адваротная тэарэма справядлівая; калі трохвугольнік прамавугольны, то яго 2 вуглы вострыя, адваротаая тэарэма не справядлівая.
== Літаратура ==
* Гусак А. Тэарэма // БелЭн у 18 т. Т. 16. Мн., 2003.
== Некаторыя тэарэмы ==
Радок 7 ⟶ 16:
* [[Тэарэма Менелая]]
[[Катэгорыя:Тэарэмы|
[[am:እርግጥ]]
|