" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ОБРАТНАЯ ТЕОРЕМА

Значение ОБРАТНАЯ ТЕОРЕМА в математической энциклопедии:

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

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

БСЭ-3.