AB =BC ; ∠A= ∠C =α =45° , OH =d =3 см ; ∠SAO=∠SBO=∠SCO=β=30°. --- V - ?
V =(1/3)Sосн *H =(1/3)S(ABC)*SO.
Если все боковые ребра (SA,SB ,SC) пирамиды образуют с плоскостью основания ABC равные углы (в данном случае β), то высота проходит через центр окружности описанной около основания. HO - серединный перпендикуляр стороны AB: OH⊥AB,AH =BH =AB/2; ||OH =d ||.
∠B =180°-2α ; R =d/sin(∠B/2) = d/sin(90°-α)=d/cosα. SO= R*tqβ =(d/cosα)*tqβ = (tqβ /cosα)* d . AB =2*OH*tqα=2d*tqα. S(ABC) =(1/2)*AB²*sin∠B = (1/2)*4d²*tq²α*sin(180°-2α)= 2d²*tq²α*sin2α= 2d²*tq²α*2sinα*cosα= 4d²*sin³α/cosα.
V =(1/3)S(ABC)*SO. V=(1/3)*4d²*sin³α/cosα*(tqβ /cosα)*d =(4/3)*sinα*tq²α**tqβ*d³.
Eсли α =45°, β=30°,d=3 см ,то : V=(4/3)*(√2/2)*(1²)*(1/√3)*3³=6√6.
В формулировке теоремы можно выделить исходные данные (посылку, предпосылки) , и вывод.
В обратной теореме вывод и посылка меняются местами.
Это получается правильно в тех случаях, когда имеется однозначное соответствие между посылкой и выводом, то есть первое без второго не бывает, как и второе без первого.
Но есть случай формулировки когда отсутствию первого всегда соответствует отсутствие второго. Это тоже один из вариантов формулировки обратной теоремы - противоположная теорема. И при этом также есть взаимно однозначное соответствие. В обеих теоремах должен реализоваться принцип необходимости и достаточности. Свойства о которых говорится в посылке необходимы и достаточны для наличия свойств оо которых говорится в выводе, и наоборот. Это и есть вхзаимное соответстствие.
Обратная теорема
Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения
0,0(0 оценок)
Полный доступ
Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota
Оформи подписку
