Let be a triangle. A point is chosen on the external angle bisector of angle lying inside the angle . Assume that and . Let be the midpoint of . Prove that the triangle is isosceles.
(A. Kuznetsov)
Solution
Первое решение. Обозначим . Поскольку — внешняя биссектриса угла , то и (см. рис. 6).
Опустим из точки перпендикуляр на прямую . Так как в треугольнике углы при вершинах и острые, точка лежит на отрезке . Поскольку — прямоугольный треугольник с углом , имеем .
Треугольник — прямоугольный, — его медиана, проведённая к гипотенузе, поэтому . Следовательно, , откуда мы получаем, что . Поскольку также и , треугольники и равны. Таким образом, , что и требовалось доказать.
Второе решение. Обозначим через точку, симметричную относительно прямой (см. рис. 7). Поскольку — внешняя биссектриса угла , точка лежит на продолжении отрезка за точку . Пусть — середина отрезка . Тогда — средняя линия треугольника , поэтому и , а также .
На отрезке отметим точку так, что . Тогда из того, что , следует . Заметим, что треугольник равносторонний, так как и . Тогда и , а, как было доказано ранее, . Значит, треугольники и равны, поэтому .
Замечание. Вместо того, чтобы отмечать точку , можно записать теорему косинусов для треугольников и .
В них углы при вершине равны и соответственно. Пусть , . Тогда