тэарэма, умовай якой з’яўляецца выснова зыходнай (прамой) тэарэмы, а высновай — умова. Прамая і адваротная тэарэма — узаемна адваротныя. З іх праўдзівасці вынікае, што выкананне ўмовы адной з іх не толькі дастаткова, але і неабходна для праўдзівасці высновы, напр., тэарэмы: «калі 2 вуглы трохвугольніка роўныя, то іх бісектрысы роўныя» і «калі 2 бісектрысы трохвугольніка роўныя, то адпаведныя ім вуглы роўныя», — узаемна адваротныя і абедзве праўдзівыя. З праўдзівасці якой-н. тэарэмы не вынікае праўдзівасць адваротнай тэарэмы да яе, напр., тэарэма: «калі лік дзеліцца на 6, то ён дзеліцца на 3» — праўдзівая, а адваротная тэарэма: «калі лік дзеліцца на 3, то ён дзеліцца на 6» — непраўдзівая.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ПРОЦІЛЕ́ГЛАЯ ТЭАРЭ́МА,
тэарэма, якая атрымліваецца заменай умовы і высновы дадзенай зыходнай (прамой) тэарэмы на іх адмаўленні. Напр., для тэарэмы «калі ў чатырохвугольніку сума процілеглых вуглоў роўная 180°, то вакол гэтага чатырохвугольніка можна апісаць акружнасць» П.т. будзе «калі ў чатырохвугольніку сума процілеглых вуглоў не роўная 180°, то вакол гэтага чатырохвугольніка нельга апісаць акружнасць». П.т. раўнасільная. адваротнай тэарэме.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
theorem[ˈθɪərəm]n. тэарэ́ма;
by theorem паво́дле тэарэ́мы;
a reciprocal theorem адваро́тная тэарэ́ма;
prove the theorem даказа́ць тэарэ́му
Англійска-беларускі слоўнік (Т. Суша, 2013, актуальны правапіс)
ІНТУІЦЫЯНІ́ЗМ,
кірунак у асновах матэматыкі і логікі, які лічыць інтуіцыюгал. і адзіным крытэрыем правамернасці метадаў і вынікаў гэтых навук. Узнік у пач. 20 ст. (Л.Браўэр, Г.Вейль, А.Гейтынг і інш.). Адмаўляе выкарыстанне ў матэматыцы і логіцы ідэі актуальнай бясконцасці і выключанага трэцяга прынцыпу. Паводле І., прадметам даследаванняў матэматыкі выступаюць разумовыя пабудовы матэм. аб’ектаў, што разглядаюцца па-за залежнасцю ад свету рэчаў. У адрозненне ад інтуітывізму не проціпастаўляе інтуіцыю логіцы, якую разглядае толькі як частку матэматыкі, а лагічныя тэарэмы — як матэм.тэарэмы найвышэйшай ступені агульнасці.
Замінка, затрымка ў гаворцы, выкліканая цяжкасцю ў падборы патрэбнага слова, няўпэўненасцю або збянтэжанасцю гаворачай асобы. Алік без запінкі, ні разу нават не збіўшыся, Заказаў абедзве тэарэмы.Краўчанка.
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
А́ЛГЕБРЫ АСНО́ЎНАЯ ТЭАРЭ́МА,
класічная тэарэма існавання, якая сцвярджае, што кожны мнагасклад з камплекснымі каэфіцыентамі мае камплексны корань. Упершыню выказаў ням. матэматык П.Ротэ (1608), першым дакладна даказаў К.Гаўс (1799). Усе доказы абапіраюцца на тапалагічныя ўласцівасці мностваў камплексных і рэчаісных лікаў. З алгебры асноўнай тэарэмы вынікае: колькасць каранёў мнагаскладу супадае са ступенню мнагаскладу; кожны паліном з рэчаіснымі каэфіцыентамі раскладаецца ў здабытак лінейных і квадратычных множнікаў з рэчаіснымі каэфіцыентамі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЕРАФЕ́ЕНКА (Віктар Ціханавіч) (н. 14.9.1946, г. Ганцавічы Брэсцкай вобл.),
бел. матэматык. Д-рфіз.-матэм.н. (1993), праф. (1996). Скончыў Маскоўскі дзярж.ун-т (1969). З 1972 у БДУ. Навук. працы па матэм. фізіцы. краявых задачах электрадынамікі, матэм. мадэляванні. Распрацаваў аналіт. метады і тэорыю ўсярэдненых гранічных умоў для эл.-магн. палёў на тонкіх абалонках, тэарэмы складання для базісных эл.-магн. хваль.
Тв.:
Электромагнитные поля в экранирующих оболочках. Мн., 1988 (разам з С.М.Апалонскім);
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МУА́ЎР ((Moivre) Абрахам дэ) (26.5.1667, г. Вітры-ле-Франсуа, Францыя — 27.9.1754),
англійскі матэматык. Чл. Лонданскага каралеўскага т-ва (1697). Вучыўся ў Сарбоне. Навук. працы па алгебры, тэорыі імавернасцей і інш. раздзелах матэматыкі. Знайшоў правілы ўзвядзення ў п-ю ступень і здабывання кораня n-й ступені з камплекснага ліку (гл.Муаўра формула). Незалежна ад шатл. матэматыка Дж.Стырлінга атрымаў формулу для вылічэння п! (гл.Стырлінга формула). Даказаў прыватны выпадак тэарэмы Лапласа.
Літ.:
Стройк Д.Я. Краткий очерк истории математики: Пер. с нем. 2 изд. М., 1969.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ПІФАГО́РА ТЭАРЭ́МА,
тэарэма элементарнай геаметрыі, што вызначае сувязь паміж даўжынямі старон прамавугольнага трохвугольніка: квадрат гіпатэнузы роўны суме квадратаў катэтаў. Правільная і тэарэма, адваротнай П.т.: калі квадрат стараны трохвугольніка роўны суме квадратаў дзвюх інш. яго старон, тады гэты трохвугольнік прамавугольны.
Мяркуюць, што П.т. была вядома да Піфагора, але яму прыпісваюць доказ гэтай тэарэмы ў агульным выглядае. У першапачатковай форме вызначала суадносіны паміж адпаведнымі плошчамі: квадрат, пабудаваны на гіпатэнузе, роўнавялікі суме квадратаў пабудаваных на катэтах. У матэм. запісе: c2 = a2 + b2.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ПЯКА́РСКІ (Аляксандр Антонавіч) (н. 30.5.1952, в. Буда Дзяржынскага р-на Мінскай вобл.),
бел. матэматык. Д-рфіз.-матэм.н. (1991), праф. (1993). Скончыў БДУ (1975). З 1982 у Гродзенскім ун-це, з 2000 у Бел. тэхнал.’ ун-це. Навук. працы па тэорыі функцыі рэчаіснай і комплекснай пераменных. Даказаў прамыя і адваротныя тэарэмы рацыянальнай апраксімацыі ў класічных функцыян. прасторах.
Тв.:
Чебышевские рациональные приближения в круге, на окружности и на отрезке // Матем. сб. Нов. сер. 1987. Т. 133, №1;
Hardy space niethods in rational approximation // Grundlehren der matheniatischen Wissenschaften. Berlin etc., 1996. Bd. 304.
