Периметр трапеции равен 40, а сумма непаралельных сторон равна 20. найдите среднюю линию трапеции

Ак должно проходить через точку н sh -высота пирамиды, так как все грани наклонены под одинаковым углом к основанию, то н- центр вписанной окружности. проведем sk перпендикулярно вс. по теореме о трех перпендикулярах нк тоже перпендикулярно вс. угол skh - линейный угол двугранного угла между боковой гранью и пл. основания и поэтому угол skh=60 нк одновременно будет радиусом вписанной окружности треугольника авс. плоскость shk перпендикулярна вс и следовательно грани sbc, поэтому шар будет касаться грани sвс в точке принадлежащей sk. пусть центр шара - точка о сделаем выносной чертеж плоскости shk. ом перпендикулярно sk ом=oh=r. м - точка касания шара и боковой грани. mo1 перпендикулярно sh. o1m это будет радиус окружности, проходящей через точки касания. ок является биссектрисой угла skh=> угол okh=30 из треугольника онк: он/нк=tg30, hk=r*sqrt(3) hk/sk=cos60 => sk=2rsqrt(3) (или катет против угла в 30 градусов) -апофема бококвой грани найдена. одновременно мы нашли и км=нк=r*sqrt(3). значит sm=r*sqrt(3) а тогда из подобия треугольников smo1 и skh следует, что o1m=(1/2)hk=(r*sqrt(3))/2 тогда длина окружности проходящей через точки касания равна 2*pi*(r*sqrt(3))/

Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. обратной к о. т. будет исходная (прямая) теорема. таким образом, прямая и о. т. взаимно обратны. например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. например, теорема: "если число делится на 6, то оно делится на 3" — верна, а о. т. : "если число делится на 3, то оно делится на 6" — неверна. даже если о. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. например, в евклидовой верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. в лобачевского вторая просто неверна, тогда как первая остаётся в силе. о. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, , что если неверно заключение прямой теоремы, то неверно и её условие. известный способ "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости