Для доказательства данного утверждения воспользуемся свойствами треугольников и сторонами. Пусть H - высота треугольника ABC, M - середина стороны AB, N - середина стороны AC.
Воспользуемся следующими основными свойствами треугольников:
- В прямоугольном треугольнике высота, проведенная к гипотенузе, делит его на два прямоугольных треугольника, подобных исходному;
- В подобных треугольниках соответствующие углы равны, а соответствующие стороны пропорциональны.
Обозначим длины отрезков следующим образом: AH = h, AM = MN = x, AN = y, BM = BN = z.
Рассмотрим треугольники ABC и AMN. В них рассматриваем высоту AH и серединные линии MN и BM.
У данных треугольников общий угол A, следовательно, они подобны. Получаем пропорции: BC/AM = AC/AH MN/AM = AN/AH
Также, т.к. M и N - середины отрезков AB и AC, получаем, что BM = BN = z и AM = AN = y. Из этого следует, что MN = z-y.
Из данных пропорций можно составить следующую систему уравнений: BC/x = AC/h z-y/x = y/h
Мы хотим доказать, что высота AH перпендикулярна средней линии MN, следовательно, это означает, что MN и AH пересекаются под прямым углом.
Для этого покажем, что прямые BC и MN коллинеарны.
Для начала упростим систему уравнений, домножая оба уравнения на x и h соответственно:
BC = AC * (x/h) z-y = y * (x/h)
Теперь предположим, что BC и MN не коллинеарны. В этом случае выполняется уравнение:
BC * MN = AC * (z-y)
Будем продолжать доказательство от противного. Если BC и MN не коллинеарны, то их площадь равна нулю. То есть площадь MNBC равна нулю:
0 = AC * (z-y)
Полученное уравнение говорит нам о том, что либо AC = 0 (что невозможно, так как это длина стороны треугольника), либо z-y = 0.
Второй случай z-y = 0 означает, что BM=BN=y, то есть M и N совпадают. А это в свою очередь означает, что AM=AN или h=0. Но мы предположили, что h - высота треугольника, поэтому это невозможно.
Таким образом, мы пришли к противоречию, что свидетельствует о том, что прямые BC и MN коллинеарны.
Поскольку прямые BC и MN коллинеарны, значит высота AH перпендикулярна средней линии MN, соединяющей середины сторон AB и AC.
Таким образом, доказано, что высота AM треугольника ABC перпендикулярна его средней линии, соединяющей середины сторон AB и AC.
