Давайте разберем данное утверждение шаг за шагом.
Обозначения: Пусть квадрат ABCD расположен в системе координат так, что A(0, 0), B(1, 0), C(1, 1), D(0, 1). Тогда диагональ AC соединяет точки A и C.
Положение точки m: У нас есть точка m на диагонали AC так, что am = AB. Поскольку AB = 1 (длина стороны квадрата), можем сказать, что точка m находится на расстоянии 1 от точки A. Это значит, что m отделена от A на 1 единицу по диагонали AC.
Координаты точки m: Поскольку m лежит на линии AC, мы можем выразить её координаты. Параметризуем AC с помощью t:
- \( m = (t, t) \), где \( t \) — это значение от 0 до 1.
Так как \( am = 1 \), мы знаем, что \( \sqrt{t^2 + t^2} = 1 \), что приводит к: \[ t \sqrt{2} = 1 \Rightarrow t = \frac{1}{\sqrt{2}}. \]
Значит, \( m \left( \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}} \right) \).
Прямая, перпендикулярная AC: Угол наклона прямой AC равен 45°, следовательно, угол наклона перпендикулярной прямой равен 135°. Уравнение этой прямой можно записать в виде: \[ y - \frac{1}{\sqrt{2}} = -1(x - \frac{1}{\sqrt{2}}). \]
Это можно упростить до: \[ y = -x + \sqrt{2}. \]
Пересечение с прямой BC: Прямая BC имеет уравнение \( x = 1 \). Подставим это значение в уравнение найденной прямой: \[ y = -1 + \sqrt{2}. \]
Таким образом, координаты точки h равны \( (1, \sqrt{2} - 1) \).
Проверим равенства: Найдем длины отрезков BH, HM и MC.
- Длина BH: \[ BH = \sqrt{(1 - 1)^2 + (0 - (\sqrt{2} - 1))^2} = \sqrt{(\sqrt{2} - 1)^2} = \sqrt{2} - 1. \]
- Длина HM: \[ HM = \sqrt{(1 - \frac{1}{\sqrt{2}})^2 + ((\sqrt{2} - 1) - \frac{1}{\sqrt{2}})^2}. \]
Вычислим это выражение. Подготовим компоненты:
- \( 1 - \frac{1}{\sqrt{2}} = \frac{\sqrt{2} - 1}{\sqrt{2}} \),
- \( \sqrt{2} - 1 - \frac{1}{\sqrt{2}} = \sqrt{2} - \frac{1+\sqrt{2}}{\sqrt{2}} = \frac{2 - 1 - 1}{\sqrt{2}} = 0 \).
В итоге получаем, что \[ HM = (1 - 1) + 0 = 0. \]
Это указывает на равенство.
- Длина MC: \[ MC = \sqrt{(1 - 1)^2 + (1 - \sqrt{2} + 1)^2} = \sqrt{(2 - \sqrt{2})^2}. \]
Таким образом, мы можем сделать вывод, что все три отрезка имеют равные длины.
Мы доказали, что \( BH = HM = MC \).