Катастрофа замечательной точки

Сибирская Хиджра: литературный дневник

Во втором номере «Кванта» за 2012 год опубликована статья В.Протасова и В.Тихомирова «Пространство Lp и замечательные точки треугольника». В ней даны ответы на некоторые интересные вопросы, связанные с так называемой Lp-нормой. Естественно, в статье дается и определение этого понятия (ибо в учебниках для средней школы оно встречается, мягко говоря, не часто). Пусть дан некоторый треугольник АВС и любая точка М в плоскости этого треугольника. Тогда Lp-нормой расстояний от точки М до вершин треугольника называется величина (MA^p + MB^p + MC^p)^1/p.


Авторы поставили задачу: для данного остроугольного треугольника АВС и произвольного p ; 1 найти точку М, для которой Lp-норма расстояний от точки М до вершин треугольника наименьшая. Они же дали ответ для трех наиболее интересных случаев, соответствующих р = 1, 2 и. Оказалось следующее.
1) При р = 1 искомой является так называемая точка Торричелли, т.е. точка внутри треугольника, из которой все стороны видны под углами 120o . Такая точка единственна для любого остроугольного треугольника.
2) При р = 2 искомая точка – хорошо всем знакомая точка пересечения медиан (а иначе – центр тяжести треугольника).
3) Наконец, при p = ; искомой точкой становится центр описанной окружности.


Как и полагается всякой хорошей статье, количество возникающих при ее прочтении вопросов заметно превосходит число полученных ответов, что стимулирует дальнейшие исследования в этой области. Поэтому при прочтении статьи моментально сами собой сформулировались два вопроса.


Вопрос 1.
А что будет при других p ; 1?


Вопрос 2. А почему, собственно, должно быть p ; 1?


Понятно, что всесторонне ответить на них неимоверно трудно.


Но хотя бы слегка «пощупать» проблему, сделать нестрогие предварительные выводы и (куда денешься?) задать новые вопросы удалось. О том и пойдет речь. Итак, замечательная точка М с ростом р от 1 до перемещается от точки Торричелли через центр тяжести к центру описанной окружности. Нет сомнений, что при непрерывном возрастании значения р ее траекторией будет некая кривая. Какая это кривая? Первое, что приходит в голову, – отрезок прямой. И действительно, если треугольник равнобедренный, то этот отрезок лежит на высоте треугольника, являющейся осью его симметрии. Еще более прост ответ для правильного треугольника АВС: при любом p ; 1 наша замечательная точка есть центр треугольника – и ничего больше.


Однако в общем случае (если треугольник АВС не равнобедренный) кривая никак не может быть отрезком прямой, поскольку для таких треугольников точка Торричелли, центр тяжести и центр описанной окружности не лежат на одной прямой. Убедиться в этом, в принципе, несложно, хотя возникают весьма громоздкие вычисления.
Нас, конечно, больше интересует общий случай, с неравнобедренным треугольником АВС. Если мы не можем теоретически определить траекторию точки М, то, может, хотя бы посмотрим на нее? Зря, что ли, нынче компьютеры на каждом шагу?
Последнее сделать удалось. Для самых разных остроугольных треугольников, длины сторон которых имели «разумные» значения (где-то от 5 до 20), был осуществлен компьютерный поиск точки М при различных р. Поиск велся численный, старым добрым методом «частой сетки» с ошибкой не более 0,00001.
Кривые получились, в общем-то, одного вида – слабо изогнутые, иногда с едва заметным перегибом.


Так как при расчетах использовалась прямоугольная система координат, то и вершины треугольника были заданы координатами, а именно: две вершины А и С лежат на оси Ох, причем абсциссы их имеют разные знаки (для А –отрицательный, для С – положительный), а вершина В лежит на положительной части оси ординат. В случае, когда xA = -3 , xC = -5, yB = -7. Траектория точки М довольно-таки коротка, поэтому дополнительно крупно выделена часть той же координатной плоскости – квадрат 0 ; x ; 1; 2 ; y ; 3. (самая правая точка линии – центр описанной окружности – как раз имеет абсциссу х = 1).


Разумеется, вопрос «что это за кривая?» на данный момент оставлен без ответа. Не знаю! Кто сумеет узнать – поделитесь информацией.
Ну, а теперь перейдем к тому, что в заголовке статьи получило громкое имя «катастрофа». Давайте не станем ограничивать себя значениями p ; 1, а начнем снижать p, устремив его к нулю. Ясно, что совершенно до нуля мы довести его не сможем – непонятно, что тогда представляет собой Lp-норма (см.формулу для ее вычисления). Но, по крайней мере, на интервале (0; 1], т.е. исключив лишь значение 0, есть надежда получить продление траектории «влево».
И здесь-то притаилась большая неприятность: для того же треугольника, продлить линию удалось только до величины р, примерно равной 0,785. При меньших значениях р точка М моментально и скачкообразно перемещается в вершину А! Чем не катастрофа?
Немалую долю мистики в загадку «срыва» вносит тот факт, что 0,785 – это почти ; 4. Может, и впрямь «критическое» значение р в точности равно ; 4, а расхождение связано с использованием чисто вычислительных приемов расчета траектории?


К сожалению (или к счастью – это как посмотреть), причастность великого числа ; к возникшей проблеме, видимо, ни при чем. Ларчик открывается несколько проще: при некотором «критическом» значении р одна из вершин треугольника также становится искомой замечательной точкой (и, скорее всего, как показывают наблюдения, это всегда вершина наибольшего угла треугольника).
"Квант" 2013 N°1



Другие статьи в литературном дневнике: