Условие
На плоскости даны две прямые, пересекающиеся под острым углом. В направлении
одной из прямых производится сжатие с коэффициентом 1/2. Доказать, что
найдется точка, расстояние от которой до точки пересечения прямых увеличится.
Решение
Пусть
e1 и
e2 — векторы единичной длины на данных прямых
l1 и
l2.
Сжатие с коэффициентом 1/2 в направлении прямой
l1 переводит вектор
e1 +
e2 в вектор
e1 +
e2. Пусть

-- угол между векторами
e1 и
e2.
Длина первого вектора равна

+

+ 2


cos

, а длина
второго вектора равна

+

+


cos

. Нужно
выбрать числа

и

так, что

+

+


cos

>

+

+ 2


cos

,
т.е.


< -


cos

. При

= 1 это неравенство
эквивалентно неравенству

< -

cos

.
Источники и прецеденты использования