Домашние задания: Геометрия

Максимально упоротая задача по геометрии

Дан равнобедренный треугольник. Найдите внутри этого треугольника все точки такие, что расстояние от такой точки до одной стороны равно среднему квадратичному расстояний до двух других сторон.
Максимально упоротый ответ.
Это слабо похоже решение, и уж совсем не является строгим доказательством. Но меня заинтересовала предложенная проблема, я решил над ней подумать. Вкратце опишу свои мысли, возможно это правильное направление, в котором надо думать.

Для начала несколько общих слов. Преобразуем слегка выражение, не умаляя общности, выберем какую-нибудь сторону, к расстоянию до которой будем приравнивать среднее квадратичное.
Я буду называть такую сторону "лишней".
На картинке ниже это OA1. Делаем это просто для удобства.Первое утверждение. На каждой стороне присутствует ровно две точки, которые подходят под условие.
Доказательство.
Не умаляя общности рассмотрим сторону AC (рисунок ниже). То что это основание ни на что не виляет, тоже можно провернуть и с любой из сторон.
Заметим, что в точках A и C расстояние только до 1 из сторон > 0.
Также заметим, что в любой точке AC расстояния до этой же стороны AC = 0. При этом, если мы будем двигаться из A в C, то перпендикуляр к BC будет уменьшаться, а к AB увеличиваться. И наоборот.
Таким образом, если мы выберем "лишней" BC, то найдется ровно 1 такая точка B2, для которой выполнено условие. Подробности в тексте на рисунке ниже.
Аналогично, если "лишней" будет AB, то ситуация будет симметрично противоположной и тоже найдется ровно 1 точка.Таким образом, на каждой стороне есть ровно 2 точки, удовлетворяющие условию.

Понятно также, что имеет место некая непрерывность, точки, подходящие под условие лежат на каких-то сложных кривых, которые заканчиваются на сторонах в этих самых вышеупомянутых 6 точках.

ПРОДОЛЖЕНИЕ В КОММЕНТАРИЯХ.
Дмитрий Рябый
Дмитрий Рябый
1 586
Лучший ответ
Дмитрий Рябый ОСНОВНАЯ ИДЕЯ.

Не умаляя общности выберем 1 из точек. Пусть это будет точка на основании. Потом я расскажу, почему должно работать для любой стороны.

Итак, на картинке ниже есть точка B1, которая удовлетворяет условию, при "лишней" BC. От нее идут перпендикуляры к сторонам, они равны соответственно x и sqrt(2)x.

Для нее все работает. (Под первой фигурной скобкой более подробно это записано).
Дмитрий Рябый Давайте попробуем поднять эту точку на t вертикально над стороной AC. После этого обозначим угол с дугой за alpha, кстати, это угол у основания. И распишем через t и alpha как изменились перпендикуляры до сторон. После этого подставим новые значения в уравнение условия (вторая фигурная скобка). И попытаемся найти такие t, при которых оно будет выполнено. Если я ничего не напутал, получается, что подходит, очевидно, t = 0 и еще какое-то t, но, ВАЖНО, оно будет < 0.

Замечание. cos(alpha) > 0 и (1 - cos^2(alpha) > 0) потому что угол alpha острый!

Что это все означает? Это означает, что условие точно разрушится при вертикальном подъеме на "положительное" t для данной точки B1 и данной "лишней" BC.
Дмитрий Рябый Хорошо. Точка B2, в которую мы пришли точно не удовлетворяет условию. Второй сложный шаг заключается в том, что мы попытаемся подвинуть точку на k в сторону строго на высоте t. Посчитаем перпендикуляры для новой точки B3. Подставим снова в уравнение условия. Алгебраические переходы можно посмотреть напротив 3 фигурной скобки на рисунке ниже.

Замечание. В данном случае x, alpha и t - это параметры. Варьируемая неизвестная - только k.

После преобразований получается квадратное уравнение на k с ветвями вверх и, что важно, у него строго 2 корня, так как при t > 0, k не может быть 0, иначе мы останемся в B2, а она точно не удовлетворяет условию.

Замечание. Может ли решений не быть? У меня на этот вопрос ответа нет, я буду считать, что такого быть не может.
Дмитрий Рябый Что это все означает? Это означает, что для каждого t найдутся такие k, что выполняется условие. Та часть данной кривой, которая попадет внутрь треугольника и будет ГМТ точек, для которых выполняется условие из задачи.

Замечание. Кривая, которая соединит по итогу точки на сторонах не является параболой, так как в квадратном уравнении коэффициент при k зависит от t. То есть для каждой t будет своя парабола. Но вместе они сформируют непрерывную кривую, точки на которой удовлетворяют условию!

Дмитрий Рябый Осталось прояснить, почему подобную логику можно расширить на любую из 6 точек на сторонах. Для второй точки на AC все симметрично, очевидно, что для нее все тоже выполняется.
Основная проблема для точек на боковых сторонах - неодинаковые углы. Но так как треугольник равнобедренный, угол напротив основания можно выразить через угол при основании alpha.
betta = (180 - 2alpha)/2 = 90 - alpha. То есть учитывая, что sin(betta) = sin(90 - alpha) = cos(alpha) и cos(betta) = sin(alpha), можно понять, что параболы, разумеется, поменяются, но в целом размышления останутся теми же, так как betta тоже острый и для него выполняются все требования, которые были наложены на alpha.
Дмитрий Рябый Таким образом, из каждой из точек на сторонах выходят кривые, которые будут отдаленно напоминать параболы, так как для каждого удаления t от стороны будет 2 сдвига, приводящих в точки, удовлетворяющие условию. И пересекать стороны треугольника они будут ровно в 6 точках на сторонах, потому как никакие другие точки на сторонах не подходят под условие.

На рисунке ниже я примерно изобразил разными цветами кривые из каждой точки. А слева примерный итоговый ответ на поставленную задачу.
Обозначим отрезки от точки до сторон a, b, c
По условию a = корень{(b^2 + c^2)/2}, или 2a^2 = b^2 + c^2
Впишем в треугольник окружность. Из ее центра опустим перпендикуляры в точки касания. Они все будут равны радиусу окружности. Можно записать:
a^2 = b^2
a^2 = c^2
------------складываем
2a^2 = b^2 + c^2
Т.е это искомая точка. И по-моему она единственная, поскольку перпендикуляр - кратчайшее расстояние от точки до прямой. Если передвигать точку по перпендикуляру "а", он будет уменьшаться (увеличиваться), другие два отрезка - наоборот. Равенство будет нарушаться.
Возможно требуется доказывать и другие случаи.