Теорема Менелая в геометрии¶

Теорема Менелая — классическое утверждение планиметрии о соотношении отрезков, на которые прямая, пересекающая стороны треугольника (или их продолжения), делит эти стороны. Теорема названа в честь древнегреческого математика и астронома Менелая Александрийского (I век н. э.), изложившего её в трактате «Сферика». Вместе с теоремой Чевы образует основу метрической геометрии треугольника и широко применяется при решении задач на доказательство коллинеарности точек и вычисление отношений отрезков.

¶Формулировка

Пусть дан треугольник ABC. Прямая пересекает прямые BC, CA и AB в точках A₁, B₁ и C₁ соответственно (точки могут лежать как на самих сторонах, так и на их продолжениях). Тогда произведение отношений, в которых эти точки делят соответствующие стороны, равно единице:

(AC₁ / C₁B) · (BA₁ / A₁C) · (CB₁ / B₁A) = 1.

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

¶Обратная теорема

Справедливо и обратное утверждение: если точки A₁, B₁, C₁ на прямых BC, CA, AB удовлетворяют приведённому соотношению, то они лежат на одной прямой. Именно обратная форма чаще всего применяется для доказательства коллинеарности трёх точек.

¶История

Менелай Александрийский жил в конце I — начале II века н. э. и работал в Риме и Александрии. Его главный труд «Сферика» в трёх книгах посвящён сферической геометрии и астрономии; в третьей книге сформулирована теорема о «полном четырёхстороннике», частным случаем которой для плоскости является теорема Менелая. Через арабские переводы, выполненные в IX–X веках, «Сферика» попала в средневековую Европу и оказала влияние на развитие тригонометрии.

Долгое время теорема оставалась инструментом преимущественно сферической геометрии. В школьный курс планиметрии она вошла значительно позже теоремы Чевы (XVII век) и долго считалась «необязательным» материалом. В российской школе теорема Менелая изучается в классах с углублённым изучением математики и активно используется в олимпиадных задачах.

¶Связь с теоремой Чевы

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

¶Доказательство

Одно из стандартных доказательств использует подобие треугольников. Через вершины A, B, C проводят прямые, параллельные секущей A₁B₁C₁, либо опускают перпендикуляры на неё. Рассматривая пары подобных треугольников с общим углом при секущей, получают соотношения:

AC₁ / C₁B = (расстояние от A до секущей) / (расстояние от B до секущей),

и аналогично для двух других сторон. Перемножая три равенства, в числителях и знаменателях получают одинаковые наборы расстояний, которые сокращаются, что даёт единицу. Другой подход — применение теоремы синусов к треугольникам, образованным секущей, или векторно-координатный метод.

¶Применение

Теорема Менелая применяется в следующих типах задач:

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

В аналитической геометрии теорема удобна как быстрый способ проверки коллинеарности без вычисления координат и уравнений прямых.

¶Пример

В треугольнике ABC на стороне AB взята точка C₁ такая, что AC₁ : C₁B = 2 : 3, а на стороне BC — точка A₁ с отношением BA₁ : A₁C = 4 : 1. Требуется найти, в каком отношении прямая A₁C₁ делит сторону CA. По теореме Менелая:

(AC₁ / C₁B) · (BA₁ / A₁C) · (CB₁ / B₁A) = 1,

то есть (2/3) · (4/1) · (CB₁ / B₁A) = 1, откуда CB₁ / B₁A = 3/8. Значит, точка B₁ делит сторону CA в отношении 3 : 8.

¶Обобщения

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

¶Значение

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

Источники: Менелай Александрийский. Сферика; Прасолов В. В. Задачи по планиметрии; Шарыгин И. Ф. Геометрия. Планиметрия; Коксетер Г., Грейтцер С. Новые встречи с геометрией.