Даны вершины А(-2; 1), В(1; 4), С(5; 0) i D(2; -3).
Фигура АВСД прямоугольник, если стороны попарно равны и диагонали равны.
Длины сторон.
AB = √((xB-xA)² + (yB-yA)²) = √18 = 4,242640687
BC = √((xC-xB)² + (yC-yB)²) = √32 = 5,656854249
CD = √((xD-xC)² + (yD-yC)²) = √18 = 4,242640687
AD = √((xC-xA)² + (yC-yA)²) = √32 = 5,656854249 .
Длины диагоналей.
AC = √((xC-xA)² + (yC-yA)²) = √50 = 7,071067812
BD = √((xD-xB)² + (yD-yB)²) = √50 = 7,071067812 .
Как видим, эти свойства подтверждены, АВСД - прямоугольник.
Даны вершины А(-2; 1), В(1; 4), С(5; 0) i D(2; -3).
Фигура АВСД прямоугольник, если стороны попарно равны и диагонали равны.
Длины сторон.
AB = √((xB-xA)² + (yB-yA)²) = √18 = 4,242640687
BC = √((xC-xB)² + (yC-yB)²) = √32 = 5,656854249
CD = √((xD-xC)² + (yD-yC)²) = √18 = 4,242640687
AD = √((xC-xA)² + (yC-yA)²) = √32 = 5,656854249 .
Длины диагоналей.
AC = √((xC-xA)² + (yC-yA)²) = √50 = 7,071067812
BD = √((xD-xB)² + (yD-yB)²) = √50 = 7,071067812 .
Как видим, эти свойства подтверждены, АВСД - прямоугольник.
∠ABC + ∠ACB = 180° - α
∠IBC + ∠ICB = (180° - α)/2 = 90° - α/2 (т.к. центр вписанной окружности лежит в точке пересечения биссектрис)
∠BIC = 180° - (∠IBC + ∠ICB) = 180° - 90° + α/2 = 90° + α/2
∠BKC = 180° - ∠BIC = 180° - 90° - α/2 = 90° - α/2 (сумма противоположных углов четырехугольника вписанного в окружность равна 180°)
∠BOC - центральный углу ∠BKC => ∠BOC = 2*∠BKC = 2*(90° - α/2) = 180° - α
т.к. ∠BAC + ∠BOC = α + 180° - α = 180°, то около ABOC можно описать окружность, но это та же окружность, которая описана около треугольника АВС и на ней лежит точка О. Что и требовалось доказать
ответ: доказано.