Пусть боковая сторона треугольника AB=BC=c, тогда AC =2c cos 40° (для упрощения писанины обозначение градуса буду опускать),
При этом
Мы воспользовались известными (как мне кажется) в школе формулами для длины биссектрисы через прилежащие стороны и угол, а также для длины отрезка стороны, на которую опущена биссектриса.
Возможно, приведет к успеху и другой путь - в этой задаче возникают углы в 60 (угол ADB) и 120 (соответственно угол ADC) градусов, поэтому можно написать хорошие тождества, скрепляющие элементы чертежа. При этом полезно провести биссектрису DF=BD угла ADC и достроить до ромба. Правда, с первого захода довести до ответе этот путь не удалось.
Даны вершины А(-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 .
Как видим, эти свойства подтверждены, АВСД - прямоугольник.
Добавлю "дурацкое алгебраическое" решение.
Пусть боковая сторона треугольника AB=BC=c, тогда AC =2c cos 40° (для упрощения писанины обозначение градуса буду опускать),
При этом
Мы воспользовались известными (как мне кажется) в школе формулами для длины биссектрисы через прилежащие стороны и угол, а также для длины отрезка стороны, на которую опущена биссектриса.
Возможно, приведет к успеху и другой путь - в этой задаче возникают углы в 60 (угол ADB) и 120 (соответственно угол ADC) градусов, поэтому можно написать хорошие тождества, скрепляющие элементы чертежа. При этом полезно провести биссектрису DF=BD угла ADC и достроить до ромба. Правда, с первого захода довести до ответе этот путь не удалось.