ins- писал(а):
It is given triangle ABC with points M, N, P on its sides (internally). U, V, W are intersection points of AN and CM, BP and AN, CM and BP. Triangle UVW is equaliteral. If AM=BN=CP is it true that ABC is equaliteral?
Да, это верно.
Доказательство:
Все обозначения соответствуют авторским обозначениям в задаче.
Лемма 1: Пусть из вершин произвольного треугольника ABC проведены лучи так, что точки пересечения лучей являются вершинами равностороннего треугольника UVW. Точки пересечения лучей остаются вершинами равностороннего треугольника, тогда и только тогда, когда все три луча одновременно поворачиваются относительно своих начал в одинаковом направлении (по или против часовой стрелки) и только на одинаковый угол.
Доказательство: Углы при вершинах равностороннего треугольника равны между собой и составляют
. Проведем луч BP', являющийся поворотом относительно вершины B против часовой стрелки на угол
луча BP. Точка P' - точка пересечения луча со стороной АС, а точку пересечения луча BP' с лучом AN обозначим V'. Нетрудно убедиться, что угол VV'B составит
.
Проведем луч AN', являющийся поворотом относительно вершины A против часовой стрелке на угол
луча AN. Точка N' - точка пересечения луча со стороной BС, а точку пересечения луча AN' с лучом BP' обозначим V''. Точка V'' должна быть вершиной нового равностороннего треугольника, стороны которого должны лежать на лучах AN' и BP'. Тогда угол AV''V' должен составлять
. Из треугольника AV'V'' угол
таким образом составит
.
Аналогично рассуждаем для луча CM.
1. Рассмотрим теперь произвольный треугольник ABC, и пусть в нем проведены лучи AN, BP, CM такие, что точки их пересечения образуют равносторонний треугольник UVW, а AM=BN=CP. Предположим, что ABC не равносторонний. Отложим на рассоянии
от точки P на стороне AC точку P', от точки N на стороне BC точку N', от точки M на стороне AB точку M' так, что AM' = CP' = BN'. Очевидно, что т.к. треугольник ABC не равносторонний, углы между лучами BP и BP', AN и AN', CM и CM' не будут равны, а, следовательно (по Лемме 1), треугольник, образованный точками пересечения лучей AN', BP', CM' - не равносторонний.
2. Так как расстояние AM=BN=CP выбирается произвольно, мы вправе выбрать новые точки M, N, P для того же треугольника ABC, совпадающие с точками M', N', P' из п.1 доказательства, и провести аналогичные п. 1 рассуждения, взяв расстояние
, таким образом доказав, что треугольник, образованный точками пересечения лучей AN, BP, CM - также не равносторонний. Но это противоречит условию, а, значит, предположиние, что треугольник ABC не равносторонний, не верно.
Вроде как-то так. Если я не ошибся в рассуждениях, напишите - переведу на английский.
I wrote a variant of the proof, if it is correct (I hope that some other will see it and write his/her opinion), i will translate it in english.