Ответы на вопрос:
обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. обратной к о. т. будет исходная (прямая) теорема. таким образом, прямая и о. т. взаимно обратны. например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. например, теорема: "если число делится на 6, то оно делится на 3" — верна, а о. т.: "если число делится на 3, то оно делится на 6" — неверна. даже если о. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. например, в евклидовой верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. в лобачевского вторая просто неверна, тогда как первая остаётся в силе. о. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, , что если неверно заключение прямой теоремы, то неверно и её условие. известный способ "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения (см. необходимые и достаточные условия).
Популярно: Геометрия
-
Miniplayer27.05.2022 10:42
-
kirill03131221.11.2022 20:44
-
кукушка13810.09.2020 22:37
-
Софипо25.05.2022 06:35
-
ksenia91519.07.2021 01:09
-
checknutaya24.12.2022 10:54
-
joom326.05.2022 13:54
-
вайли1524.07.2020 05:10
-
coollest12.07.2022 19:26
-
tafefuyozo06.07.2020 08:17