Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости
Sбок ==> ? Середина M стороны BC соединим с вершиной пирамиды D и вершиной A ; Угол DMA будет линейным углом между плоскостями DBC и ABC [(DBC )^ (ABC) =α] .Действительно AM ┴ BC и DM ┴ BC ( а BC линия пересечения граней DBC и ABC) . C другой стороны DA ┴(ABC) ⇒DA┴AB ; DA ┴ AC .Поэтому Sбок =S(BDA) +S(CDA) +S(BDC) =1/2*a* DA +1/2*a*DA +S(BDC) ; Sбок =a*DA +S(BDC) . Из ΔMDA : DA=AM*tqα=a√3/2*tqα =a√3/2 *tqα . S(BDC) =1/2*BC*DM =1/2*BC*BM/cosα =S(ABC)/cosα ; S(BDC) = a²√3/4)/cosα. Sбок =a*a√3/2*tqα + a²√3/4)/cosα =(a²√3/4)(2tqα+1/cosα). Sбок = 6²√3/4(2tq60° + 1/cos60°) =9√3(2√3 +2) =18√3(√3+1) или иначе Sбок =18(3+√3). ответ : 18(3+√3) .
