85. Теорема Менелая

Определения и обозначения

Теорема Менелая — утверждение о связи отношений отрезков, на которые прямая делит стороны треугольника или их продолжения. Она нужна, чтобы находить неизвестное отношение отрезков и проверять, лежат ли три точки на одной прямой. Для применения теоремы рассматривают три точки пересечения прямых, содержащих стороны треугольника.

Секущая треугольника — прямая, пересекающая прямые, содержащие все три его стороны, в трёх точках. Точки пересечения не обязаны находиться внутри треугольника: они могут лежать на продолжениях сторон. Это определение помогает понять, какие именно точки нужно подставлять в формулу Менелая.

Направленный отрезок — отрезок, длина которого учитывается со знаком в соответствии с выбранным направлением на прямой. Благодаря знаку можно различать точки по разные стороны от вершины. Это позволяет записать теорему одной формулой для разных расположений точек.

Отношение направленных отрезков — частное их длин с учётом знаков. Например, отношение AM/MB связывает отрезки на прямой AB в заданном порядке. Знаки нужны, чтобы формула учитывала, лежит ли точка на стороне или на её продолжении.

Как это устроено

Рассмотрим треугольник ABC и прямую, которая пересекает прямые AB, BC и CA в точках M, N и K. Такая прямая является секущей треугольника, даже если одна или несколько точек лежат не на сторонах, а на их продолжениях. Для теоремы важно, что каждая точка принадлежит прямой, содержащей соответствующую сторону. Поэтому перед вычислениями полезно обозначить вершины и точки пересечения в одном и том же порядке.

Теорема Менелая для направленных отрезков имеет вид: (AM/MB) · (BN/NC) · (CK/KA) = −1. В каждом отношении порядок отрезков задан формулой, и менять его произвольно нельзя. Минус возникает из-за взаимного расположения точек на прямых с учётом выбранных направлений. Именно знаки позволяют одной записи охватить случаи, когда точки находятся и внутри треугольника, и за его пределами.

Если работают только с обычными положительными длинами, записывают |AM/MB| · |BN/NC| · |CK/KA| = 1. Модули убирают знаки, поэтому сами по себе не показывают, где лежит точка. Нужно отдельно установить, какие точки расположены на сторонах, а какие — на продолжениях, и уже по этому расположению выбрать возможный ответ. Если забыть этот шаг, можно получить правильные длины, но указать неверное место точки.

Соотношение можно обосновать через подобие треугольников. Например, через вершину A проводят прямую, параллельную секущей MK, и обозначают точку её пересечения с BC. Из-за параллельности возникают пары равных углов, поэтому полученные треугольники подобны. Отношения соответствующих сторон выражают через отрезки на AB, BC и CA; после их сопоставления получают произведение отношений Менелая. Знаки в направленной записи отражают, с какой стороны от вершин находятся точки.

Теорему можно применять и в обратном направлении. Если точки M, N и K лежат на прямых, содержащих стороны одного треугольника, и произведение соответствующих направленных отношений равно −1, то эти точки лежат на одной прямой. Иначе говоря, условие позволяет не только вычислить отрезок для уже проведённой секущей, но и доказать коллинеарность трёх точек. Перед проверкой нужно убедиться, что отношения составлены в том же порядке, что и в формуле.

Запись и применение теоремы Менелая

Сначала проверьте, что точки относятся к прямым всех трёх сторон одного треугольника, а затем выберите направленную или обычную запись. Таблица помогает не смешивать знак в формуле с положительными длинами и не забывать о продолжениях сторон.

Разбор задач

Найти отношение CK/KA

В треугольнике ABC прямая пересекает AB в M, BC в N и продолжение CA в K. Известны AM, MB, BN и NC; требуется найти отношение CK/KA. Числовые длины в условии не указаны, поэтому ответ можно выразить через них. Так как K лежит на продолжении стороны, при работе с обычными длинами отдельно проверяем положение точки.

1. Запишем теорему Менелая для направленных отрезков: (AM/MB) · (BN/NC) · (CK/KA) = −1. Все отношения должны соответствовать порядку отрезков в этой формуле.

2. Выразим неизвестное отношение, разделив обе части на произведение двух известных отношений: CK/KA = −1 / ((AM/MB) · (BN/NC)). Это формула для направленных отрезков, поэтому знак нельзя отбрасывать до определения расположения K.

3. Если используются только положительные длины, получаем |CK/KA| = (MB · NC)/(AM · BN). Чтобы назвать конкретное продолжение CA, сопоставьте полученное отношение с расположением K и учтите, что в условии не приведены числовые значения.

Ответ: для направленных отрезков CK/KA = −(MB · NC)/(AM · BN); для обычных длин CK/KA по модулю равно (MB · NC)/(AM · BN).

Определить положение точки K

Точка M делит AB в отношении AM:MB = 2:3, а точка N делит BC в отношении BN:NC = 4:5. Нужно определить положение K на прямой CA, если M, N и K лежат на одной секущей. Оба известных отношения положительны, поскольку M и N находятся внутри сторон. Используем формулу Менелая, сохраняя знак третьего отношения.

1. Запишем отношения: AM/MB = 2/3 и BN/NC = 4/5. Их произведение равно 8/15.

2. Подставим данные в теорему и найдём третье отношение: (8/15) · (CK/KA) = −1, откуда CK/KA = −15/8. Отрицательный знак означает, что K находится на продолжении CA, а не между C и A.

3. Так как модуль отношения равен 15/8, получаем CK больше KA. Если K лежит за A, то CK состоит из CA и AK, поэтому CK/KA больше 1; это согласуется с найденной величиной.

Ответ: K находится на продолжении CA за точкой A, причём CK:KA = 15:8.

Проверить коллинеарность точек

Для точек M, N и K, лежащих на прямых сторон треугольника, вычислены направленные отношения. Нужно проверить, находятся ли точки на одной прямой, и обосновать вывод. Чтобы выполнить проверку, не требуется строить секущую заранее: достаточно сравнить произведение отношений с условием обратной теоремы. При этом все отношения должны быть направленными и записанными в установленном порядке.

1. Убедимся, что M лежит на прямой AB, N — на BC, а K — на CA. Если это условие не выполнено, теорема Менелая к этим точкам неприменима.

2. Вычислим произведение (AM/MB) · (BN/NC) · (CK/KA), используя заданные значения и их знаки. Сравним результат с числом −1.

3. Если произведение равно −1, по обратной теореме Менелая точки M, N и K лежат на одной прямой. Если оно не равно −1, условие теоремы не выполнено, и коллинеарность таким способом не подтверждается.

Ответ: точки коллинеарны тогда и только тогда, когда произведение их направленных отношений равно −1.

Типичные ошибки

Пишут произведение направленных отношений равным 1. Так бывает, когда при переходе от одной стороны к другой теряют знак, связанный с направлением и положением точек. Проверьте, что записана именно направленная формула и её правая часть равна −1; для модулей используется отдельная запись с единицей.

Используют положительные длины и забывают о продолжениях. Модули не показывают, по какую сторону от вершины находится точка, поэтому одного численного отношения недостаточно для определения её места. Нарисуйте схему или сравните возможные длины на каждом продолжении, а затем проверьте, подходит ли найденное отношение.

Меняют порядок отрезков в отношении. Например, AM/MB и MB/AM — взаимно обратные величины, и подмена одного другим меняет вычисление. Ошибку допускают, когда не сверяют запись с формулой. Проверьте каждое отношение по порядку: AM/MB, BN/NC, CK/KA.

Применяют теорему без проверки расположения точек. Формула относится к точкам на прямых, содержащих три стороны одного треугольника, а не к произвольным точкам плоскости. Перед подстановкой подпишите, на какой прямой лежит каждая точка. Если соответствие сторонам не установлено, сначала его нужно доказать или выбрать другой метод.

Связь с другими темами

Для работы с теоремой нужны навыки вычисления отношений отрезков и различения стороны треугольника с её продолжением. Её обоснование связано с подобием треугольников: параллельные прямые дают равные углы и пропорциональные стороны. В дальнейшем теорему Менелая используют, чтобы находить отношения отрезков в треугольнике и доказывать, что три точки лежат на одной прямой.

Что запомнить

• Секущая пересекает прямые, содержащие три стороны треугольника.

• Точки пересечения могут лежать на продолжениях сторон.

• Для направленных отрезков произведение трёх отношений равно −1.

• Для обычных длин произведение модулей отношений равно 1.

• Знаки отношений зависят от расположения точек относительно вершин.

• Обратная теорема позволяет проверить, лежат ли три точки на одной прямой.