Дано: треугольник ABC остроугольный, ∠A = 60°. AK — биссектриса при A (K на BC), BM — медиана к AC (M — середина AC), CH — высота к AB (H на AB). Нужно доказать KM = KH.
Решение:
- Введём координаты: размещаем A в начале координат, AB вдоль оси x, AC под углом 60° к AB.
- A = (0, 0)
- B = (b, 0), b > 0
- C = (d/2, (√3/2) d), d > 0 (потому что AC = d, ∠A = 60°)
- Точки:
- M — середина AC: M = (d/4, (√3/4) d)
- H — основание высоты CH на AB (ось x): H = (d/2, 0)
Уравнение биссектрисы AK: угол A делится пополам, она образует угол 30° с AB, следовательно AK имеет уравнение y = x/√3.
Найдём K как пересечение AK с BC.
- Вектор BC = C − B = (d/2 − b, (√3/2)d)
- BC: B + t(C − B) = (b + t(d/2 − b), t(√3 d/2)), t ∈ [0,1]
- Неравнение на AK: y = x/√3 t(√3 d/2) = [b + t(d/2 − b)]/√3 умножаем на √3: (3d/2)t = b + (d/2 − b)t t(b + d) = b ⇒ t = b/(b + d)
Координаты K:
- x_K = b + t(d/2 − b) = (3 b d) / (2(b + d))
- y_K = t(√3 d/2) = (√3 b d) / (2(b + d))
- Вычислим KM^2 и KH^2.
- KM^2 = (d/4 − x_K)^2 + (√3 d/4 − y_K)^2
- KH^2 = (d/2 − x_K)^2 + (0 − y_K)^2
Введём t = b/(b + d). Тогда:
- x_K = (3 d/2) t
- y_K = (√3 d/2) t
Логически разделим выражения на d^2:
- KM^2/d^2 = (1/4 − (3/2)t)^2 + 3(1/4 − (1/2)t)^2 = 1/4 − (3/2)t + 3t^2
- KH^2/d^2 = (1/2 − (3/2)t)^2 + 3( (1/2)t )^2 = 1/4 − (3/2)t + 3t^2
Получаем KM^2/d^2 = KH^2/d^2, значит KM^2 = KH^2, следовательно KM = KH.
Ответ: KM = KH.