2.4. Теорема Менелая. Доказательства
Теорема Менелая. Если прямая пересекает стороныили продолжения сторон BC, CA и AB треугольника ABC соответственно в точках A1 , B1 и C1, не совпадающие с вершинами треугольника, то имеет место равенство


Рис. 6
Пусть прямая пересекает стороны BC и CA треугольника АВС в точках А1 и В1 ,а продолжение стороны АВ в точке С1.
1. Через вершину С треугольника АВС проведем прямую CD
АВ; которая пересечет прямую А1В1 в точке D.
2.
А1ВС1
А1CD по двум углам
3.
В1АС1
В1CD по двум углам
4. из пунктов 2 и 3 следует, что
и
.
5. Перемножим эти равенства, получим доказываемое соотношение.
Доказательство остается в силе и в том случае, когда все три точки A1, B1 и C1 лежат на продолжениях сторон
АВС.
Для пояснения приведённого доказательства сделаем одно уточнение. Пусть
– ненулевые коллинеарные векторы. Если
, то будем писать:
Значит, число k равно отношению длин векторов
, взятому со знаком «плюс», если векторы сонаправленны, и со знаком «минус», если они направлены противоположно.
Легко проверить, что при таком соглашении полученное выше равенство принимает вид:
Обратная теорема. Если выполняется равенство
, то точки A1, B1 и C1 лежат на одной прямой.
Для доказательства обратной теоремы используем вышеуказанное уточнение
Доказательство.
Допустим, что выполнено равенство
, и пусть прямая А1В1 пересекает прямую АВ в точке С2. Согласно прямой теореме,

Сравнивая это соотношение с данным, заключаем, что 
Прибавив к обеим частям равенства 1, получим:
откуда
, т. е. точки C1 и C2 совпадают.
Объединяя прямую и обратную теоремы, получаем следующий результат.
Если на сторонах ВС, СА, АВ треугольника АВС или на их продолжениях взяты точки A1 , B1 и C1, то эти точки лежат на одной прямой тогда и только тогда,когда

ЗАМЕЧАНИЕ. При решении задач, когда расположение точек A1, B1 и C1 известно равенство используют в скалярном виде, т. е. рассматривают длины отрезков, а правую часть равенства берут равной 1.

Задача 1. На сторонах АВ и АС
АВС взяты точки M и N так, что
. Отрезки BN и CM пересекаются в точке K. Найдите отношение отрезков 
Решение. Применим теорему Менелая к
и секущей CM. Получим,

|


Рис. 7.






