Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости
Задача 1. P_MNK=a+b+c=36 дм, P_MNL = a+l+c/2=24 дм, P_MKL = b+l+c/2=20 дм. Сложим второе и третье уравнения. a+l+c/2+b+l+c/2=24 дм + 20 дм a+b+c+2l=44 дм. Отсюда l = (44 дм - (a+b+c))/2 = (44-36)/2 дм = 4 дм. Задача 2. ∠C=74°. Пусть ∠A=2α, ∠B=2β. Тогда ∠B=180°-∠C-∠A=180°-74°-2α=106°-2α=2β. Отсюда β=(106°-2α)/2=53°-α. Пусть искомый угол γ. Тогда α+β+γ=180°. γ=180°-(α+β)=180°-(α+53°-α)=127°. Задача 3. x+5=x^2 x^2-x-5=0 В любом случае это уравнение имеет 2 корня, поскольку это уравнение второй степени от одной переменной. Вопрос в том, действительные ли эти корни и являются ли они кратными. Корни квадратного уравнения являются комплексными, если дискриминант отрицателен. Корни квадратного уравнения являются кратными, если дискриминант равен 0 - в этом случае квадратное уравнение имеет два одинаковых корня. D=(-1)^2-4*1*(-5)=21 > 0 - уравнение имеет два различных действительных корня.
P_MNK=a+b+c=36 дм,
P_MNL = a+l+c/2=24 дм,
P_MKL = b+l+c/2=20 дм.
Сложим второе и третье уравнения.
a+l+c/2+b+l+c/2=24 дм + 20 дм
a+b+c+2l=44 дм.
Отсюда l = (44 дм - (a+b+c))/2 = (44-36)/2 дм = 4 дм.
Задача 2.
∠C=74°. Пусть ∠A=2α, ∠B=2β. Тогда ∠B=180°-∠C-∠A=180°-74°-2α=106°-2α=2β. Отсюда β=(106°-2α)/2=53°-α.
Пусть искомый угол γ. Тогда α+β+γ=180°. γ=180°-(α+β)=180°-(α+53°-α)=127°.
Задача 3.
x+5=x^2
x^2-x-5=0
В любом случае это уравнение имеет 2 корня, поскольку это уравнение второй степени от одной переменной. Вопрос в том, действительные ли эти корни и являются ли они кратными. Корни квадратного уравнения являются комплексными, если дискриминант отрицателен. Корни квадратного уравнения являются кратными, если дискриминант равен 0 - в этом случае квадратное уравнение имеет два одинаковых корня.
D=(-1)^2-4*1*(-5)=21 > 0 - уравнение имеет два различных действительных корня.