Verbum

Нётэр тэарэма

т. 11, с. 309

Онсагера тэарэма

т. 11, с. 437

Памеранчука тэарэма

т. 12, с. 32

Паскаля тэарэма

т. 12, с. 163

Піфагора тэарэма

т. 12, с. 393

процілеглая тэарэма

т. 13, с. 44

Пталамея тэарэма

т. 13, с. 109

Пуасона тэарэма

т. 13, с. 115

Шэнана тэарэма

т. 18, кн. 1, с. 31

АДВАРО́ТНАЯ ТЭАРЭ́МА,

тэарэма, умовай якой з’яўляецца выснова зыходнай (прамой) тэарэмы, а высновай — умова. Прамая і адваротная тэарэма — узаемна адваротныя. З іх праўдзівасці вынікае, што выкананне ўмовы адной з іх не толькі дастаткова, але і неабходна для праўдзівасці высновы, напр., тэарэмы: «калі 2 вуглы трохвугольніка роўныя, то іх бісектрысы роўныя» і «калі 2 бісектрысы трохвугольніка роўныя, то адпаведныя ім вуглы роўныя», — узаемна адваротныя і абедзве праўдзівыя. З праўдзівасці якой-н. тэарэмы не вынікае праўдзівасць адваротнай тэарэмы да яе, напр., тэарэма: «калі лік дзеліцца на 6, то ён дзеліцца на 3» — праўдзівая, а адваротная тэарэма: «калі лік дзеліцца на 3, то ён дзеліцца на 6» — непраўдзівая.

т. 1, с. 98