- теорема, условием к-рой служит заключение теоремы исходной (прямой), а заключением - условие. Обратной к О. т. будет исходная (прямая) теорема, так что прямая и О. т. взаимно обратны.

О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в к-рой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и ее условие. Известный способ "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения. См. также Теорема, Необходимые и достаточные условия.

БСЭ-3.