Решение:
Пусть ABCD — выпуклый четырёхугольник. M, N, T, H — середины сторон AB, BC, CD, AD соответственно.
- Рассмотрим четырёхугольник MNT H. По теореме Фалеса, MN — средняя линия треугольника ABC, значит, MN || AC и \( MN = \frac{1}{2} AC \).
- Аналогично, HT — средняя линия треугольника ADC, значит, HT || AC и \( HT = \frac{1}{2} AC \).
- Из этого следует, что MN || HT и \( MN = HT \). Следовательно, MNT H — параллелограмм.
- Аналогично, NH — средняя линия треугольника ABD, значит, NH || BD и \( NH = \frac{1}{2} BD \).
- NT — средняя линия треугольника BCD, значит, NT || BD и \( NT = \frac{1}{2} BD \).
- Из этого следует, что NH || NT и \( NH = NT \).
- Поскольку MNT H — параллелограмм, то его диагонали равны. Диагонали параллелограмма MNT H — это MT и NH.
- Следовательно, \( MT = NH \).
- Условие, что угол NTH — прямой, означает, что диагонали параллелограмма MNT H перпендикулярны. Это будет верно, если четырёхугольник MNT H является ромбом.
- Если MNT H — ромб, то все его стороны равны: \( MN = NT = TH = HM \).
- Из \( NH = \frac{1}{2} BD \) и \( NT = \frac{1}{2} BD \), следует, что \( NH = NT \).
- Из \( MN = \frac{1}{2} AC \) и \( HT = \frac{1}{2} AC \), следует, что \( MN = HT \).
- Так как MNT H — параллелограмм, то \( MN = HT \) и \( NH = NT \).
- Так как угол NTH — прямой, то диагонали параллелограмма MNT H перпендикулярны.
- Рассмотрим треугольник NTH. Он прямоугольный. По теореме Пифагора: \( NH^2 = NT^2 + TH^2 \).
- Из того, что MNT H — параллелограмм, имеем \( TH = MN \).
- \( NH^2 = NT^2 + MN^2 \).
- Из того, что \( MN = \frac{1}{2} AC \) и \( NT = \frac{1}{2} BD \), имеем \( NH^2 = (\frac{1}{2} BD)^2 + (\frac{1}{2} AC)^2 \)
- \( NH^2 = \frac{1}{4} BD^2 + \frac{1}{4} AC^2 \)
- \( 4NH^2 = BD^2 + AC^2 \)
- Теперь рассмотрим диагональ MT. В параллелограмме MNT H, по теореме о диагоналях: \( MT^2 + NH^2 = 2(MN^2 + NT^2) \)
- \( MT^2 + NH^2 = 2((\frac{1}{2} AC)^2 + (\frac{1}{2} BD)^2) \)
- \( MT^2 + NH^2 = 2(\frac{1}{4} AC^2 + \frac{1}{4} BD^2) \)
- \( MT^2 + NH^2 = \frac{1}{2} AC^2 + \frac{1}{2} BD^2 \)
- Мы знаем, что \( 4NH^2 = BD^2 + AC^2 \), следовательно \( NH^2 = \frac{1}{4} (BD^2 + AC^2) \).
- Подставим это в предыдущее уравнение: \( MT^2 + \frac{1}{4} (BD^2 + AC^2) = \frac{1}{2} AC^2 + \frac{1}{2} BD^2 \)
- \( MT^2 = \frac{1}{2} AC^2 + \frac{1}{2} BD^2 - \frac{1}{4} AC^2 - \frac{1}{4} BD^2 \)
- \( MT^2 = \frac{1}{4} AC^2 + \frac{1}{4} BD^2 \)
- \( MT^2 = \frac{1}{4} (AC^2 + BD^2) \)
- Мы получили \( NH^2 = \frac{1}{4} (AC^2 + BD^2) \) и \( MT^2 = \frac{1}{4} (AC^2 + BD^2) \).
- Следовательно, \( MT^2 = NH^2 \).
- Так как MT и NH — длины отрезков, они положительны, поэтому \( MT = NH \).
Доказано.