23-06-2023
Теоре́ма Менела́я или теорема о трансверсалях или теорема о полном четырёхстороннике — это классическая теорема аффинной геометрии.
Содержание |
Если точки и лежат соответственно на сторонах и треугольника или на их продолжениях[1], то они коллинеарны тогда и только тогда, когда где , и обозначают отношения направленных отрезков. |
В частности, из теоремы следует соотношение для длин:
Проведем через точку С прямую, параллельную прямой AB, и обозначим через K точку пересечения этой прямой с прямой A'C' . Поскольку треугольники и подобны (по двум углам), то
Так как подобными являются также треугольники и , тем самым
Исключая CK, получаем
Остаётся заметить, что возможны два расположения точек и : либо две из них лежат на соответствующих сторонах треугольника, а третья — на продолжении, либо все три лежат на продолжениях соответствующих сторон. Отсюда для отношений направленных отрезков имеем
Теорема (Дубовиккомплексной плоскости положительно ориентированный ΔАВС (обход по его вершинам осуществляется против часовой стрелки). Пусть ,, - комплексные числа, причём . Рассмотрим точки плоскости А1, В1, С1 с комплексными координатами:
): Рассмотрим наТочки А1, В1, С1 коллинеарны тогда и только тогда, когда число .
Действительность одного из чисел ,, , в данной теореме, влечёт действительность двух других. Тогда точки А1, В1, С1 лежат на прямых АС, АВ и ВС соответственно и мы получаем теорему Менелая.
Эта теорема доказывается в третьей книге «Сферики» Менелая Александрийского (ок. 100 г. н. э.). Менелай сначала доказывает теорему для плоского случая, а потом центральным проектированием переносит её на сферу. Возможно, что плоский случай теоремы рассматривался ранее в несохранившихся «Поризмах» Евклида.
Сферическая теорема Менелая была основным средством, с помощью которого решались разнообразные прикладные задачи позднеантичной и средневековой астрономии и геодезии. Ей посвящён ряд сочинений под названием «Книга о фигуре секущих», составленных такими математиками средневекового Востока, как Сабит ибн Корра, ан-Насави, ал-Магриби, ас-Сиджизи, ас-Салар, Джабир ибн Афлах, Насир ад-Дин ат-Туси.
Итальянский математик Джованни Чева в 1678 году предложил доказательство теоремы Менелая и родственной ей теоремы Чевы для плоского случая, основанное на рассмотрении центра тяжести системы из трёх точечных грузов.
Теорема Менелая.