От большой планиметрической любви Вася нашел в равностороннем треугольнике ABC точку M, такую что выражение
минимально. Сделайте это и Вы.
Введём координаты: пусть вершины A, B, C имеют координаты соответственно (0, 0), и
Докажем, что M должна лежать на серединном перпендикуляре к BC (то есть на оси OX ). Пусть искомая точка M имеет координаты (x, y), и пусть Рассмотрим с координатами (x, 0). Ясно, что (катет короче гипотенузы). Теперь достаточно доказать, что Это можно сделать по-разному. Например, заметить, что если точка M лежит на некотором эллипсе с фокусами B и C, то, исходя из выпуклости эллипса, будет лежать внутри этого эллипса.
Осталось рассмотреть случай, когда M лежит на OX, то есть M имеет координаты (x, 0) т. к. точка внутри треугольника). Рассмотрим функцию
и найдём её минимум. Заметим, что f(0) = 8, поэтому точка A не является искомой точкой. Значит, мы можем продифференцировать f(x) и приравнять производную к 0.
Умножив на (положительный) знаменатель и приравняв выражение к нулю, получим
Возводя обе части в квадрат, имеем
или откуда Так как точка находится внутри треугольника, нам подходит Эта точка характеризуется свойством
Ответ:
Приведём другое решение.
Следующая лемма является следствием формулы Тейлора. Лемма. Пусть υ, x — ненулевые вектора, и пусть Тогда при стремящемся к нулю
где eυ — единичный вектор в направлении вектора υ.
Доказательство леммы.
Зададим координаты так, чтобы (a > 0). Тогда
Разложим f(ε) по формуле Тейлора. Для этого найдём производную f(ε):
Тогда Осталось заметить, что
Пусть длина стороны треугольника 1 и Тогда заметим, что минимум на всей плоскости достигается внутри круга радиуса 5 с центром в центре треугольника, потому что искомая величина вне круга оказывается не меньше 10, а значит минимум не там, потому что если рассмотреть M = A, S(M) = 4.
Теперь поскольку круг — компакт, на нем достигается минимум, а значит он достигается либо в вершине, либо в некоторой точке, из которой любой малый сдвиг не уменьшает сумму.
Заметим, что при сдвиге на вектор εx, где x — вектор длины 1, а ε стремится к нулю, изменение длины равно
Это выражение должно быть неотрицательно при любом направлении вектора x, следовательно, вектор равняется нулю.
Тогда углы между направлениями на вершины из M такие же как углы в треугольнике со сторонами 2, 2, 1. В силу равенства углов AMB и AMC, точка M лежит на оси симметрии треугольника, проходящей через A. Очевидно, что Данные параметры единственным образом задают точку M. Разумеется, эту точку можно задать и другими способами.