Что тогда можно сказать про минимум этой функции на отрезке
?
Как показывает Geogebra, он является глобальным и производная в нем равна
.
И ещё он лежит внутри отрезка! Это самое важное.
Тогда возьмём глобальный минимум на треугольнике. Проведём через него прямую указанного вида. Глобальный минимум на треугольнике отобразится в глобальный минимум на прямой. Было доказано что глобальный минимум на прямой лежит внутри отрезка. Следовательно глобальный минимум на треугольнике лежит внутри треугольника. ЧТД.
Не ясно только, что дает право делать подобрать параметризацию
.
Следующее построение. Вернёмся к бариценрическим координатам
. Проведём прямую через точки
и
. Первая точка - вершина треугольника, вторая - на противолежащей стороне. Заметим что
. Введём параметрическую прямую:
. Она проходит через обе точки. Обозначим
,
. Параметризация построена.