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.