Задача: В треугольнике ABC проведена медиана AF (F — середина BC). Доказать, что 2 AF < AB + AC.
Решение (пошагово):
- Введём векторы от A:
- u = AB вектор = B − A;
- v = AC вектор = C − A.
Длина векторов равна AB = |u| и AC = |v|.
- Заметим, что вектор AF равен (AB + AC)/2 вектору: AF = F − A = ((B + C)/2) − A = ( (B − A) + (C − A) )/2 = (u + v)/2.
Следовательно, удлинение 2 AF равно длине вектора (u + v): |2 AF| = |u + v|.
Применим неравенство треугольника для векторов: |u| + |v| ≥ |u + v|. Поскольку треугольник ABC не вырожден (∠A ≠ 0 и ∠A ≠ 180°), векторы u и v не параллельны в одном направлении, поэтому неравенство строгое: |u| + |v| > |u + v|.
Подставим обратно: AB + AC = |u| + |v| > |u + v| = 2 AF.
Таким образом, 2 AF < AB + AC, как и требовалось.
Комментарий:
- Неравенство строгого типа получается потому, что для ненулевого угла ∠BAC вектора AB и AC не параллельны в одном направлении (т.е. треугольник не является вырожденным). При вырожденном случае равенство могло бы возникнуть, но задача обычно подразумевает обычный треугольник.