Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости
Из условия задачи следует, что угол при основании треугольника АВС равен 30 град. Обозначим сторону равнобедренного треугольника через а, основание через b, радиус описанной окружности через R. Половина основания b/2=а*cos(30)=a*sqr(3)/2, b=a*sqr(3) Известно, что: R=a^2/sqr(4a^2-b^2) Подставив значение b, получим: R=a Отсюда: АВ=2 см Во второй задаче центр вписанной окружности совпадает с точкой пересечения биссектрис, поскольку радиусы опущенные из центра в точки М, Т и Р, образуют пары равных прямоугольных треугольников (ВОМ и ВОТ и т.д.). Четырехугольник РОТС является квадратом, так как радиусы проведены в точки касания и перпендикулярны катетам. По условия диагональ этого квадрата равна корень из 8, следовательно сторона будет в корень из двух раз меньше, отсюда: r=sqr(8/2)=2 Угол ТОР=90 град. Угол ТМР является вписанным, он измеряется половиной дуги, на которую опирается. Дуга составляет 90 градусов, так как ограничена точками Р и Т, а угол РСТ прямой. Следовательно угол ТМР=45 град.
Половина основания b/2=а*cos(30)=a*sqr(3)/2, b=a*sqr(3)
Известно, что:
R=a^2/sqr(4a^2-b^2)
Подставив значение b, получим: R=a
Отсюда: АВ=2 см
Во второй задаче центр вписанной окружности совпадает с точкой пересечения биссектрис, поскольку радиусы опущенные из центра в точки М, Т и Р, образуют пары равных прямоугольных треугольников (ВОМ и ВОТ и т.д.). Четырехугольник РОТС является квадратом, так как радиусы проведены в точки касания и перпендикулярны катетам. По условия диагональ этого квадрата равна корень из 8, следовательно сторона будет в корень из двух раз меньше, отсюда:
r=sqr(8/2)=2 Угол ТОР=90 град. Угол ТМР является вписанным, он измеряется половиной дуги, на которую опирается. Дуга составляет 90 градусов, так как ограничена точками Р и Т, а угол РСТ прямой. Следовательно угол ТМР=45 град.