1) уравнение стороны АС: это канонический вид уравнения. 12х-9у+72 = 0, сократим на 3: 4х-3у+24 = 0 общий вид этого уравнения. у = (4/3)х+8 уравнение с коэффициентом.
2) уравнение высоты, проведенной из вершины В. Эта высота перпендикулярна АС и имеет коэффициент при х, равный -1/(4/3) = -3/4. Уравнение высоты из точки В имеет вид у = (-3/4)х+в. Для нахождения коэффициента в в полученное уравнение подставим координаты точки В. 1 = (-3/4)*1+в, в = 1+(3/4) = 7/4. Тогда уравнение примет вид у = (-3/4)х+(7/4) или в общем виде 3х+4у-7 = 0.
3) длина высоты из вершины В. Надо найти координаты основания высоты как точку пересечения высоты и стороны АС. 4х-3у+24 = 0|x3 12x-9y+72 = 0 3х+4у-7 = 0|x-4 -12x-16y+28 = 0 ______________ -25y+100 =0 y = 100/25 = 4. x = (3y-24)/4 = (3*4-24)/4 = -12/4 = -3. Точка Д(-3; 4). Длина высоты ВД равна: BД = √((Хд-Хв)²+(Уд-Ув)²) = √25 = 5.
4) угол А. Для этого найдём длины сторон: 1) Расчет длин сторон АВ = √((Хв-Ха)²+(Ув-Уа)²) = √50 = 7,071067812, BC = √((Хc-Хв)²+(Ус-Ув)²) = √125 = 11,18033989, AC = √((Хc-Хa)²+(Ус-Уa)²) = √225 = 15. cos A= (АВ²+АС²-ВС²)/(2*АВ*АС) = 0,707107 A = 0,785398 радиан = 45 градусов.
В формулировке теоремы можно выделить исходные данные (посылку, предпосылки) , и вывод.
В обратной теореме вывод и посылка меняются местами.
Это получается правильно в тех случаях, когда имеется однозначное соответствие между посылкой и выводом, то есть первое без второго не бывает, как и второе без первого.
Но есть случай формулировки когда отсутствию первого всегда соответствует отсутствие второго. Это тоже один из вариантов формулировки обратной теоремы - противоположная теорема. И при этом также есть взаимно однозначное соответствие. В обеих теоремах должен реализоваться принцип необходимости и достаточности. Свойства о которых говорится в посылке необходимы и достаточны для наличия свойств оо которых говорится в выводе, и наоборот. Это и есть вхзаимное соответстствие.
Обратная теорема
Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения
1) уравнение стороны АС:
12х-9у+72 = 0, сократим на 3: 4х-3у+24 = 0 общий вид этого уравнения.
у = (4/3)х+8 уравнение с коэффициентом.
2) уравнение высоты, проведенной из вершины В.
Эта высота перпендикулярна АС и имеет коэффициент при х, равный -1/(4/3) = -3/4.
Уравнение высоты из точки В имеет вид у = (-3/4)х+в.
Для нахождения коэффициента в в полученное уравнение подставим координаты точки В.
1 = (-3/4)*1+в,
в = 1+(3/4) = 7/4.
Тогда уравнение примет вид у = (-3/4)х+(7/4) или в общем виде
3х+4у-7 = 0.
3) длина высоты из вершины В.
Надо найти координаты основания высоты как точку пересечения высоты и стороны АС.
4х-3у+24 = 0|x3 12x-9y+72 = 0
3х+4у-7 = 0|x-4 -12x-16y+28 = 0
______________
-25y+100 =0 y = 100/25 = 4.
x = (3y-24)/4 = (3*4-24)/4 = -12/4 = -3.
Точка Д(-3; 4). Длина высоты ВД равна:
BД = √((Хд-Хв)²+(Уд-Ув)²) = √25 = 5.
4) угол А. Для этого найдём длины сторон:
1) Расчет длин сторон
АВ = √((Хв-Ха)²+(Ув-Уа)²) = √50 = 7,071067812,
BC = √((Хc-Хв)²+(Ус-Ув)²) = √125 = 11,18033989,
AC = √((Хc-Хa)²+(Ус-Уa)²) = √225 = 15.
cos A= (АВ²+АС²-ВС²)/(2*АВ*АС) = 0,707107
A = 0,785398 радиан = 45 градусов.
В обратной теореме вывод и посылка меняются местами.
Это получается правильно в тех случаях, когда имеется однозначное соответствие между посылкой и выводом, то есть первое без второго не бывает, как и второе без первого.
Но есть случай формулировки когда отсутствию первого всегда соответствует отсутствие второго. Это тоже один из вариантов формулировки обратной теоремы - противоположная теорема.
И при этом также есть взаимно однозначное соответствие.
В обеих теоремах должен реализоваться принцип необходимости и достаточности.
Свойства о которых говорится в посылке необходимы и достаточны для наличия свойств оо которых говорится в выводе, и наоборот.
Это и есть вхзаимное соответстствие.
Обратная теорема
Обратная теорема, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: "если два угла треугольника равны, то их биссектрисы равны" и "если две биссектрисы треугольника равны, то соответствующие им углы равны" — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: "если число делится на 6, то оно делится на 3" — верна, а О. т. : "если число делится на 3, то оно делится на 6" — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема "две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются", так и обратная к ней теорема "две непересекающиеся прямые на плоскости имеют общий перпендикуляр". Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения