Пусть — прямоугольный равнобедренный треугольник с прямым углом при вершине (то есть и ). Возьмём точку на стороне и точку на луче, противоположном лучу , так что .
Докажите, что:
(а)
(б)
Введём координаты в вершине прямого угла — именно это делает оба пункта рутинными. Так как прямой угол расположен при , а катеты равны, поместить в начало координат и направить катеты по осям ничего не стоит, зато каждое условие превращается в координату:
Точка лежит на отрезке , поэтому при . Точка лежит на луче, противоположном лучу , то есть на отрицательной полуоси , поэтому при . Условие означает , откуда
Заметим, что теперь всю конфигурацию задаёт единственный параметр .
Докажем пункт (а) через скалярное произведение. Составим два направляющих вектора:
Их скалярное произведение равно
Ни один из векторов не нулевой ( и ), а нулевое скалярное произведение означает перпендикулярность прямых, поэтому .
Прочитаем пункт (а) заново на языке углов, чтобы увидеть, почему иначе и быть не могло. В треугольнике угол при вершине прямой (оси перпендикулярны), а катеты равны: , значит, он прямоугольный равнобедренный и . Треугольник тоже прямоугольный равнобедренный, поэтому . Значит, прямая пересекает прямую под углом , а прямая пересекает её под углом с другой стороны, и два угла по в сумме дают . По сути перпендикулярность — это утверждение о двух равнобедренных прямоугольных треугольниках с общей парой перпендикулярных прямых.
Докажем пункт (б) в тех же координатах. Теперь берём другую пару векторов:
Тогда
Следовательно, . То же самое через угловые коэффициенты: и , а их произведение равно — это признак перпендикулярности прямых. Запись через угловые коэффициенты требует , а запись через скалярное произведение — нет, поэтому она чище.
Отметим структурную причину и проверим численно. Пункт (б) — это замаскированный ортоцентр: в треугольнике прямая является высотой из вершины (она перпендикулярна , то есть оси ), и точка лежит на ней, а из пункта (а) следует, что , то есть — высота из вершины ; две высоты пересекаются в точке , значит, и третья высота обязана проходить через неё, откуда . Численная проверка при и даёт ровно и , а произведение угловых коэффициентов равно .
Need to solve a different problem like this? Open the solver →