Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости
Решить треугольник - найти его характеристики по заданным условиям. Нам надо найти угол BAC, стороны AC и AB. Найдём угол BAC: BAC = 180° - (30° + 105°) = 180° - 135° = 45° По теореме синусов найдём сторону AC: (BC)/(sinBAC) = (AC)/(sinABC); (3√2)/(√2/2) = (AC)/(1/2); AC = (3√2 * 1/2)/(√2/2) = 3√2 * 1/2 * 2/√2 = (3√2)/(√2) = 3 см По той же теореме синусов найдём сторону AB: (AC)/(sinABC) = (AB)/(sinBCA); sin105° = sin(50+50+5) = 0.766 + 0.766 + 0.0871 = 1.6191 (3)/(1/2) = (AB)/(1.6191); AB = (3 * 1.6191)/(1/2) = 3 * 1.6191 * 2 = 9.7146 ≈ 10 см ответ: угол BAC = 45°; AC = 3 см; AB = 10 см
Найдём угол BAC:
BAC = 180° - (30° + 105°) = 180° - 135° = 45°
По теореме синусов найдём сторону AC:
(BC)/(sinBAC) = (AC)/(sinABC);
(3√2)/(√2/2) = (AC)/(1/2);
AC = (3√2 * 1/2)/(√2/2) = 3√2 * 1/2 * 2/√2 = (3√2)/(√2) = 3 см
По той же теореме синусов найдём сторону AB:
(AC)/(sinABC) = (AB)/(sinBCA);
sin105° = sin(50+50+5) = 0.766 + 0.766 + 0.0871 = 1.6191
(3)/(1/2) = (AB)/(1.6191);
AB = (3 * 1.6191)/(1/2) = 3 * 1.6191 * 2 = 9.7146 ≈ 10 см
ответ: угол BAC = 45°; AC = 3 см; AB = 10 см